The Community for Technology Leaders
Computer and Information Technology, International Conference on (2010)
Bradford, West Yorkshire, UK
June 29, 2010 to July 1, 2010
ISBN: 978-0-7695-4108-2
pp: 2361-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.
INDEX TERMS
AADL, behavior annex, synchronous, SSA
CITATION

J. Talpin, Y. Ma and T. Gautier, "Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA," 2010 IEEE 10th International Conference on Computer and Information Technology (CIT), Bradford, 2010, pp. 2361-2366.
doi:10.1109/CIT.2010.406
81 ms
(Ver 3.3 (11022016))