System-level Co-simulation of Integrated Avionics Using Polychrony

Abstract : The design of embedded systems from multiple views and heterogeneous models is ubiquitous in avionics as, in partic- ular, different high-level modeling standards are adopted for specifying the structure, hardware and software components of a system. The system-level simulation of such composite models is necessary but difficult task, allowing to validate global design choices as early as possible in the system de- sign flow. This paper presents an approach to the issue of composing, integrating and simulating heterogeneous mod- els in a system co-design flow. First, the functional behavior of an application is modeled with synchronous data-flow and statechart diagrams using Simulink/Gene-Auto. The system architecture is modeled in the AADL standard. These high- level, synchronous and asynchronous, models are then trans- lated into a common model, based on a polychronous model of computation, allowing for a Globally Asynchronous Lo- cally Synchronous (GALS) interpretation of the composed models. This translation is implemented as an automatic model transformation within Polychrony, a toolkit for em- bedded systems design. Simulation, including profiling and value change dump demonstration, has been carried out based on the common model within Polychrony. An avionic case study, consisting of a simplified doors and slides control system, is presented to illustrate our approach.
Type de document :
Communication dans un congrès
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p., 2011
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536907
Contributeur : Yu Huafeng <>
Soumis le : jeudi 18 novembre 2010 - 20:26:55
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:50:13

Fichier

sac11_yu.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536907, version 1

Citation

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, et al.. System-level Co-simulation of Integrated Avionics Using Polychrony. ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p., 2011. 〈inria-00536907〉

Partager

Métriques

Consultations de la notice

691

Téléchargements de fichiers

407