Sciweavers

Share
IEEECIT
2010
IEEE

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA

8 years 3 months ago
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
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 speciļ¬cation 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.
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Added 26 Jan 2011
Updated 26 Jan 2011
Type Journal
Year 2010
Where IEEECIT
Authors Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Comments (0)
books