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
fDate :
June 29 2010-July 1 2010
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;
Conference_Titel :
Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
Conference_Location :
Bradford
Print_ISBN :
978-1-4244-7547-6
DOI :
10.1109/CIT.2010.406
