AADL behavioral annex based on generalized rewriting logic

AADL is an architecture description language based on the MetaH language which describes an embedded system, as a collection of interacting components. The AADL standard associates automata to define dynamic semantics for a thread component. The threads can be in various states such as halted, inactive, or active. An active thread can be waiting for a dispatch, AwaitDispatch state, or computing, Compute state, etc. In this paper, we give a natural semantic model to the thread Compute state, and we associate to the thread component a behavioral annex based on generalized rewriting logic. This allows formal description and analyzing of a thread configuration. Our formalization includes static aspects of thread, and also dynamic ones. The associated models are described by functional and system modules of Maude which is a declarative language based on rewriting logic. Our approach interest is to be able to formally check a large set of properties of AADL threads via analysis tools of Maude environment.

[1]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[2]  J. Meseguer.  Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.

[3]  Kamel Barkaoui,et al.  On the use of rewriting logic for verification of distributed software architecture description based LfP , 2005, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05).

[4]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[5]  Duncan Clarke,et al.  Schedulability analysis of AADL models , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[6]  Narciso Martí-Oliet,et al.  Rewriting Logic as a Logical and Semantic Framework , 1996 .

[7]  Roberto Bruni,et al.  Semantic foundations for generalized rewrite theories , 2006, Theor. Comput. Sci..

[8]  Faiza Belala,et al.  Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL , 2008, CAL.

[9]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[10]  Grant Martin.  UML for embedded systems specification and design: motivation and overview , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.