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 particular, 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 design flow. This paper presents an approach to the issue of composing, integrating and simulating heterogeneous models 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 highlevel, synchronous and asynchronous, models are then translated into a common model, based on a polychronous model of computation, allowing for a Globally Asynchronous Locally Synchronous (GALS) interpretation of the composed models. This translation is implemented as an automatic model transformation within Polychrony, a toolkit for embedded 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.

A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation

“…These proposals are all based on AADL. [14] Behavior Verification Rolland [6] Behavior Verification Bomel [15] Behavior Verification Berthomieu [9] Behavior Verification Bodeveix [16] Behavior Verification Yang [17] [18] [13] Behavior Verification Belala [19] Behavior Verification Cherfia [20] Behavior Verification Jahier [12] [21,22] Behavior Verification Niz [23] Behavior Verification Monteverde [24] Behavior Verification Zheng [25] Behavior Verification Liu Bo [26] Schedulability Chkouri [5] [27] Schedulability Sokolsky-a [8] [28] Schedulability Zhou [29] Schedulability Hugues [30] Schedulability Liu Qian [31] Schedulability Li Zhensong [32] Timing Yu [33][34][35] [36]…”

“…Ma and Yu's proposal [33][34][35] expresses functional behavior with synchronous data flow model and uses Simulink/Gene-Auto for modeling ;distribute hardware architecture is modeled with AADL ;bridges the two different types of models with SME/Polychrony based on computing polychromous. They present the transformation rules from Simulink and AADL to SME model, and then simulate and analyze the timing properties in the framework of Polychrony.…”

Polychronous automata and their use for formal validation of AADL models

“…A design approach that may be advocated is to allow for a seamless inter-operation of heterogeneous programming viewpoints within the same host model of computation which is the polychronous model. A typical case study from Airbus, for instance, was based on a co-modeling of the doors management system of the A350 [7]. In this case study, functionalities were modeled with synchronous Simulink 2) and a system-level model of the hardware equipment was specified in AADL (Architecture Analysis & Design Language) [8].…”

Polychronous modeling, analysis, verification and simulation for timed software architectures

“…In this paper, we propose, based on previous contributions [12], [13], [14], the formal yet expressive timed modeling of AADL to support early-phase analysis, val-idation, architecture exploration, semantic-preserving transformation, and co-modeling with Simulink. In our approach, the polychronous model of computation (MoC) Polychrony [15] is adopted as the common and back-end formal model.…”