Skip to Main content Skip to Navigation
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

https://hal.inria.fr/inria-00536907
Contributor : Yu Huafeng <>
Submitted on : Thursday, November 18, 2010 - 8:26:55 PM
Last modification on : Wednesday, June 16, 2021 - 3:35:10 AM
Long-term archiving on: : Friday, October 26, 2012 - 3:50:13 PM

File

sac11_yu.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

989

Files downloads

817