Polychronous mode automata

Jean-Pierre Talpin 1 Christian Brunette 1 Thierry Gautier 1 Abdoulaye Gamatié 2, 3
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
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where each component owns a local activation clock (such as, typically,distributed real-time systems or systems on a chip). In order to bring the modeling capability of Polychrony to the context of a model-driven engineering toolset for embedded system design, we define a diagramic notation composed of mode automata and data-flow equations on top of the multi-clocked synchronous model of computation supported by the Polychrony workbench. We demonstrate the agility of this paradigm by considering the example of an integrated modular avionics application. Our presentation features the formalization and use of model transformation techniques of the GME environment to embed the extension of Polychrony's meta-model with mode automata.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00541469
Contributor : Thierry Gautier <>
Submitted on : Tuesday, November 30, 2010 - 3:27:07 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Document(s) archivé(s) le : Friday, October 26, 2012 - 5:05:52 PM

File

emsoft06.pdf
Files produced by the author(s)

Identifiers

Citation

Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. Polychronous mode automata. EMSOFT '06, Oct 2006, Seoul, South Korea. pp.83-92, ⟨10.1145/1176887.1176900⟩. ⟨hal-00541469⟩

Share

Metrics

Record views

723

Files downloads

163