Statecharts: A visual formalism for complex systems
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Science of Computer Programming
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
From multi-clocked synchronous processes to latency-insensitive modules
Proceedings of the 5th ACM international conference on Embedded software
Automatic generation of hardware/software interfaces
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Model-Based extension of AUTOSAR for architectural online reconfiguration
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
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.