We study the definition and the mapping of an AADL subset: the so called synchronous subset. We show that the data port protocol used for delayed and immediate connections between periodic threads can be interpreted in a synchronous way. In this paper, we formalize this interpretation and study the development of its mapping such that the original synchronous semantics is preserved. For that purpose, we use refinements through the Event B method. © 2010 Springer.
CITATION STYLE
Filali-Amine, M., & Lawall, J. (2010). Development of a synchronous subset of AADL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5977 LNCS, pp. 245–258). https://doi.org/10.1007/978-3-642-11811-1_19
Mendeley helps you to discover research relevant for your work.