Modes in Asynchronous Systems

Jean-Paul Bodeveix 1 David Chemouil 2 Mamoun Filali 1 Dave Thomas 3
1 IRIT - Institut de recherche en informatique de Toulouse
2 CNES - Centre National d'Études Spatiales [Toulouse]
3 Astrium [Toulouse]
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00784986
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:49:08 AM
Last modification on : Thursday, October 24, 2019 - 2:44:07 PM

Identifiers

Collections

UNIV-TLSE2 | CNRS | SMS | UNIV-TLSE3 | UT1-CAPITOLE

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

181

CONTACT

scd.ao@univ-tlse3.fr