• DocumentCode
    3292133
  • Title

    Modes in Asynchronous Systems

  • Author

    Jean-Francois, R. ; Jean-Paul, B. ; Mamoun, F. ; David, Ciprian ; Dave, T.

  • Author_Institution
    Univ. Paul Sabatier, Toulouse
  • fYear
    2008
  • fDate
    March 31 2008-April 3 2008
  • Firstpage
    282
  • Lastpage
    287
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
  • Conference_Location
    Belfast
  • Print_ISBN
    0-7695-3139-3
  • Type

    conf

  • DOI
    10.1109/ICECCS.2008.28
  • Filename
    4492904
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3292133