Title :
Modes in Asynchronous Systems
Author :
Jean-Francois, R. ; Jean-Paul, B. ; Mamoun, F. ; David, Ciprian ; Dave, T.
Author_Institution :
Univ. Paul Sabatier, Toulouse
fDate :
March 31 2008-April 3 2008
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.
Keywords :
abstract data types; formal specification; specification languages; AADL; Giotto; TLA; architecture languages; asynchronous systems; specification; Aerospace electronics; Architecture description languages; Bridges; Concrete; Embedded system; Model driven engineering; Production; Real time systems; Switches; Yarn; AADL; Giotto; architecture languages; asynchronous systems; formal specification; modes;
Conference_Titel :
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location :
Belfast
Print_ISBN :
0-7695-3139-3
DOI :
10.1109/ICECCS.2008.28
