-
Modeling multi-clocked data-flow programs in the Generic Modeling Environment
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (Gme), a... -
Compositional modeling and transformation of multi-clocked mode automata
This article presents the modeling and implementation of multi-clocked mode automata using the model-driven engineering tool GME(Generic Modeling Environment) and... -
A Modeling Paradigm for Integrated Modular Avionics Design
The Modeling paradigm for Integrated Modular Avionics Design (MIMAD) is an extensible component-oriented framework that enables high level models of systems designed... -
Logico-Numerical Verification Methods for Discrete and Hybrid Systems
This thesis studies the automatic verification of safety properties of logico-numerical discrete and hybrid systems. These systems have Boolean and numerical variables... -
Zélus: A Synchronous Language with ODEs
International audience -
Programming parallelism with futures in Heptagon a synchronous functional lan...
Synchronous languages are used to program critical reactive systems. Today, systems require to find a way to execute them safely and in parallel. Parallelism has... -
Engineering Functional Requirements of Reactive Systems using Synchronous Lan...
International audience -
Raffinement temporel et exécution parallèle dans un langage synchrone fonctio...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspired from synchronous languages. The idea of these languages is to...
