Model-Driven Engineering, 2006. ,
Simulink® -Simulation and Model-Based Design ,
Stateflow® -Design and simulate state machines and control logic ,
, Scicos: Scilab's block diagram modeler/simulator
Esterel v7: From verified formal specification to efficient industrial designs, Proceedings of the FASE'05 conference, 2005. ,
Lustre: a Declarative Language for Programming Synchronous Systems, Proc. ACM Symp. on Princ. of Prog. Langs, 1987. ,
SIGNAL -A Data Flow-Oriented Language for Signal Processing, IEEE Transactions On Acoustics, Speech, And Signal Processing, vol.34, issue.2, pp.362-374, 1986. ,
URL : https://hal.archives-ouvertes.fr/inria-00076178
Lucid-Synchrone ,
URL : https://hal.archives-ouvertes.fr/hal-01574461
Esterel ,
SCADE Suite ,
, RT Builder Product Overview
Defining and Translating a "Safe" Subset of Simulink/Stateflow into Lustre, Proceedings of the 4th ACM international conference on Embedded software, pp.259-268, 2004. ,
, OPen source for Critical Applications & SystEms Development
Synchronous Kahn networks, ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, pp.226-238, 1996. ,
Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
Certifying an Automated Code Generator using formal tools: Preliminary experiments in the GeneAuto project, Proceedings of the ERTS'08 conference, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-02270296
Simulink Users Connect with Esterel's SCADE Suite for Safe Embedded Software ,
, Real-Time Workshop®
, Model Driven Engineering opensource platform for Real-Time & Embedded systems, The Coq
SyncCharts: a Visual Representation of Reactive Behaviors, 1996. ,
Modeling multi-clocked data-flow programs using the Generic Modeling Environment, Synchronous Languages, Applications, and Programming (SLAP'06), 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00541310
Mixing Signals and Modes in Synchronous Data-flow Systems, ACM International Conference on Embedded Software (EMSOFT'06), 2006. ,
, MDE: model-driven engineering ACG: automatic code generator