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.

[1]  Éric Rutten,et al.  SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.

[2]  Charles André.  Representation and Analysis of Reactive Behaviors: A Synchronous Approach , 2000 .

[3]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[4]  Jean-Pierre Talpin,et al.  From multi-clocked synchronous processes to latency-insensitive modules , 2005, EMSOFT.

[5]  Gary J. Balas,et al.  Software-enabled control : information technology for dynamical systems , 2005 .

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  Marc Pouzet,et al.  Towards a higher-order synchronous data-flow language , 2004, EMSOFT '04.

[8]  Manfred Broy,et al.  Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation , 2002 .

[9]  Jean-Pierre Talpin,et al.  Modeling multi-clocked data-flow programs in the Generic Modeling Environment , 2005 .

[10]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[11]  Edward A. Lee,et al.  Heterogeneous Modeling and Design of Control Systems , 2003 .

[12]  Jean-Christophe Le Lann,et al.  POLYCHRONY for System Design , 2003, J. Circuits Syst. Comput..

[13]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[14]  Marc Pouzet,et al.  A conservative extension of synchronous data-flow with state machines , 2005, EMSOFT.

[15]  Benoît Caillaud,et al.  Correct-by-construction asynchronous implementation of modular synchronous specifications , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

[16]  Éric Rutten,et al.  Formal verification of programs specified with signal: application to a power transformer station controller , 2001, Sci. Comput. Program..

[17]  Florence Maraninchi,et al.  Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..

[18]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[19]  Jean Bézivin,et al.  Bridging the Generic Modeling Environment ( GME ) and the Eclipse Modeling Framework ( EMF ) , 2005 .