Modes in Asynchronous Systems

Jean-François Rolland (1) , Jean-Paul Bodeveix (2, 1) , M Filali (2, 3) , David Chemouil (4) , Dave Thomas (5)

1 UT3 - Université Toulouse III - Paul Sabatier
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 CNRS - Centre National de la Recherche Scientifique
4 CNES - Centre National d'Études Spatiales [Toulouse]
5 Astrium [Toulouse]

In this paper we study the mode concept in asynchronous systems. First, we propose an abstract TLA+ specification. Then, we discuss how the mode concepts proposed by the two architecture languages: Giotto and AADL could be related to this abstraction.

Mots clés: Real time systems; Yarn; Production; Switches; Concrete; Embedded system; Architecture description languages; Bridges; Model driven engineering; Aerospace electronics

Domaines: Théorie et langage formel [cs.FL]; Systèmes embarqués; Génie logiciel [cs.SE]

Jean-François Rolland, Jean-Paul Bodeveix, M Filali, David Chemouil, Dave Thomas. Modes in Asynchronous Systems. 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Mar 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩. ⟨hal-00784986⟩