A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

Albert Benveniste 1 Timothy Bourke 1 Benoit Caillaud 1 Marc Pouzet 2, 3
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : Hybrid modeling tools like Simulink have evolved from simulation platforms into development platforms on which testing, verification and code generation are also performed. It is critical to ensure that the results of simulation, compilation and verification are consistent. Synchronous languages have addressed these issues but only for discrete systems. Reprising earlier work, we present a hybrid modeler built from a synchronous language and an of-the-shelf numerical solver. The main novelty is a language with hierarchical automata that can be arbitrarily mixed with data-flow and ordinary differential equations (ODEs). A type system statically ensures that discrete state changes are aligned with zero-crossing events and that the function passed to the numerical solver has no side-effects during integration. Well-typed programs are compiled by source-to-source translation into synchronous code which is then translated into sequential code using an existing synchronous language compiler.
Type de document :
Communication dans un congrès
Embedded Software (EMSOFT), 2011, Oct 2011, Taipei, Taiwan. 2011, 〈10.1145/2038642.2038664〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00654113
Contributeur : Benoît Caillaud <>
Soumis le : mardi 20 décembre 2011 - 20:56:14
Dernière modification le : vendredi 16 novembre 2018 - 01:24:14

Identifiants

Citation

Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code. Embedded Software (EMSOFT), 2011, Oct 2011, Taipei, Taiwan. 2011, 〈10.1145/2038642.2038664〉. 〈hal-00654113〉

Partager

Métriques

Consultations de la notice

949