Virtual prototyping AADL architectures in a polychronous model of computation

Yue Ma 1 Jean-Pierre Talpin 1 Thierry Gautier 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both synchronous and asynchronous worlds by considering locally synchronous processes composed in a globally asynchronous way to form so called GALS architectures. In the avionics domain, for instance, the Architecture Analysis and Design Language (AADL) may be used to describe both the hardware and software architecture of an application at system-level. Yet, a synchronous design formalism might be preferred to model and validate each of the critical components of the architecture in isolation. In this paper, we illustrate the use of the polychronous (multi-clocked synchronous) paradigm to model partially asynchronous applications. The specification formalism SIGNAL is used to describe real-world avionic applications using concepts of Integrated Modular Avionics (IMA). We show how an AADL architecture can be automatically translated into a synchronous model in SIGNAL using these modeling concepts. We present a case study on the design of generic system architecture. The approach is being implemented in the framework of the ANR project TOPCASED.
Type de document :
[Research Report] RR-6479, INRIA. 2008, pp.25
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger
Contributeur : Anne Jaigu <>
Soumis le : lundi 31 mars 2008 - 11:44:45
Dernière modification le : vendredi 16 novembre 2018 - 01:22:20
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 22:44:44


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00265059, version 3


Yue Ma, Jean-Pierre Talpin, Thierry Gautier. Virtual prototyping AADL architectures in a polychronous model of computation. [Research Report] RR-6479, INRIA. 2008, pp.25. 〈inria-00265059v3〉



Consultations de la notice


Téléchargements de fichiers