Skip to Main content Skip to Navigation
Journal articles

Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone

Yue Ma 1 Thierry Gautier 1 Jean-Pierre Talpin 1 Paul Le Guernic 1 Huafeng Yu 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 : AADL is dedicated to high-level design and evaluation of embedded systems. It allows describing both system structure and functional aspects via a component-based approach, e.g., GALS system. The polychronous model of computation stands out from other synchronous specification models by the fact that it allows one specifying a system whose components can have their own activation clocks. It is well adapted to support a GALS design methodology. Its framework Polychrony provides models and methods for modeling, transformation and validation of embedded systems. This paper proposes a methodology for modeling and validation of embedded systems specified in AADL via the multi-clock synchronous programming language Signal. This methodology includes system-level modeling via AADL, automatic transformations from the high-level AADL model to the polychronous model, code distribution, formal verification and simulation of the obtained polychronous model. Our transformation takes into account both the system architecture, particularly described in Integrated Modular Avionics (IMA), and functional aspects, e.g., software components implemented in the polychronous language Signal. AADL components are modeled into the polychronous MoC within the IMA architecture using a library of ARINC services. Distributed code generation is obtained with Polychrony. A case study illustrates our methodology for the reliable design of AADL applications.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00639589
Contributor : Yu Huafeng <>
Submitted on : Wednesday, November 9, 2011 - 3:44:04 PM
Last modification on : Tuesday, June 15, 2021 - 4:26:59 PM
Long-term archiving on: : Thursday, November 15, 2012 - 11:35:21 AM

File

ma_jesa11.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00639589, version 1

Citation

Yue Ma, Thierry Gautier, Jean-Pierre Talpin, Paul Le Guernic, Huafeng Yu. Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011. ⟨hal-00639589⟩

Share

Metrics

Record views

593

Files downloads

557