Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Yu Huafeng Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2010 - 8:26:55 PM
Last modification on : Tuesday, July 26, 2022 - 3:35:45 AM
Long-term archiving on: : Friday, October 26, 2012 - 3:50:13 PM


Files produced by the author(s)


  • HAL Id : inria-00536907, version 1


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. ⟨inria-00536907⟩



Record views


Files downloads