Polychronous mode automata

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. Categories and Subject Descriptors D.3 [Programming Languages]: Formal Definiti...

• Type: Conference
• Year: 2006
• Where: EMSOFT
• Authors: Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
• Keywords: EMSOFT 2006, Mode Automata, Multi-clocked Synchronous Model, Polychrony Workbench, Software Engineering