Interpretation of AADL Behavior Annex into synchronous formalism using SSA

Yue Ma (1) , Jean-Pierre Talpin (1) , Thierry Gautier (1)

1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling environment SME. It introduces an effective method for transforming a behavior specification consisting of transitions and actions into a set of synchronous equations. We present an approach for this transformation using SSA as an intermediate formalism. This interpretation minimizes introducing new state variables and transitions.

Mots clés: AADL; behavior annex; synchronous; SSA

Domaines: Systèmes embarqués

Yue Ma, Jean-Pierre Talpin, Thierry Gautier. Interpretation of AADL Behavior Annex into synchronous formalism using SSA. International Symposium on Advanced Topics on Embedded Systems and Applications (ESA2010), Jun 2010, Bradford, United Kingdom. pp.2361-2366, ⟨10.1109/CIT.2010.406⟩. ⟨hal-00554416⟩