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
2 DART - Contributions of the Data parallelism to real time
3 LIFL - Laboratoire d'Informatique Fondamentale de Lille

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.

Domaines: Systèmes embarqués

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⟩