Skip to Main content Skip to Navigation
Reports

Polychronous Design of Embedded Real-Time Systems

Abdoulaye Gamatié 1 Thierry Gautier 1 Paul Le Guernic 1 Jean-Pierre Talpin 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 : This report proposes a design methodology for embedded real-time systems using a synchronous multi-clocked framework, which provides a well-defined mathematical model that yields rigorous methodological support for the trusted design, validation and automatic code generation. The presented methodology addresses among others the non trivial issue of modeling asynchronous mechanism using the synchronous paradigm. Among target application domains, we mainly focus on the avionics area. A library of polychronous models of services has been implemented, based on the avionic standard APEX-ARINC 653. These services describe functionalities of a real-time operating system in integrated modular avionics architectures. The proposed methodology has been applied to some case studies in avionics. The library is also the basis for another study that consists of modeling Real-Time Java applications in the polychronous framework. A great advantage is that formal transformation and optimization techniques become enabled. Finally, a major contribution of the work exposed in this report is the convergence between the theory of formal methods, industrial practice and current trends in embedded real-time system design.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00070498
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 8:40:01 PM
Last modification on : Friday, January 8, 2021 - 3:40:40 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:21:06 PM

Identifiers

  • HAL Id : inria-00070498, version 1

Citation

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. [Research Report] RR-5509, INRIA. 2005. ⟨inria-00070498⟩

Share

Metrics

Record views

430

Files downloads

586