DocumentCode
2200368
Title
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
Author
Ma, Yue ; Talpin, Jean-Pierre ; Gautier, Thierry
Author_Institution
Unite de Rech. Rennes-Bretagne-Atlantique, INRIA, Rennes, France
fYear
2010
fDate
June 29 2010-July 1 2010
Firstpage
2361
Lastpage
2366
Abstract
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.
Keywords
formal specification; program compilers; software architecture; AADL behavior annex; Architecture Analysis and Design Language; behavior specification; code generation infrastructure; static single assignment; synchronous equation; synchronous formalism; synchronous modeling environment; Computer architecture; Delay; Equations; Instruction sets; Mathematical model; Synchronization; AADL; SSA; behavior annex; synchronous;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
Conference_Location
Bradford
Print_ISBN
978-1-4244-7547-6
Type
conf
DOI
10.1109/CIT.2010.406
Filename
5578307
Link To Document