An Implementation of the Behavior Annex in the AADL-Toolset Osate2

AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. Thus, an implantation of this annex allows to perform behavior analysis. In addition, as there are several AADL annexes, the implementation of generic mechanisms to support each one of them is challenging. The behavior annex is a valid candidate to illustrate these challenges by combining several sub-languages. In this paper we expose our experiment to support the behavior annex in the reference AADL tool set OSATE2. This one, supports the AADL version 2 by providing a front-end and a set of analysis plug-ins to analyze an AADL model.

[1]  Thierry Gautier,et al.  Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[2]  Paul King,et al.  Groovy in Action , 2007 .

[3]  Dave Thomas,et al.  The AADL behaviour annex -- experiments and roadmap , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[4]  Dianfu Ma,et al.  Towards a formal semantics for the AADL behavior annex , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[5]  Laurent Pautet,et al.  From the prototype to the final embedded system using the Ocarina AADL tool suite , 2008, TECS.