Skip to Main content Skip to Navigation
Theses

Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation

Yue Ma 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 thesis 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. The AADL Behavior Annex is interpreted into the multi-clocked MoC using SSA as an intermediate formalism. Distributed code generation is obtained with Polychrony. Formal verification and simulation are carried out on two case studies that illustrate our methodology for the reliable design of AADL applications.
Document type :
Theses
Complete list of metadata

Cited literature [125 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00675438
Contributor : Yue Ma Connect in order to contact the contributor
Submitted on : Thursday, March 1, 2012 - 10:16:45 AM
Last modification on : Friday, February 4, 2022 - 3:22:20 AM
Long-term archiving on: : Friday, November 23, 2012 - 3:20:09 PM

Identifiers

  • HAL Id : tel-00675438, version 1

Citation

Yue Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation. Embedded Systems. Université Rennes 1, 2010. English. ⟨tel-00675438⟩

Share

Metrics

Record views

315

Files downloads

588