Zélus: A Synchronous Language with ODEs

Timothy Bourke 1, 2, * Marc Pouzet 1, 2
* Auteur correspondant
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Zélus is a new programming language for modeling systems that mix discrete logical time and continuous time behaviors. From a user's perspective, its main originality is to extend an existing Lustre-like synchronous language with Ordinary Differential Equations (ODEs). The extension is conservative: any synchronous program expressed as data-flow equations and hierarchical automata can be composed arbitrarily with ODEs in the same source code. A dedicated type system and causality analysis ensure that all discrete changes are aligned with zero-crossing events so that no side effects or discontinuities occur during integration. Programs are statically scheduled and translated into sequential code that, by construction, runs in bounded time and space. Compilation is effected by source-to-source translation into a small synchronous subset which is processed by a standard synchronous compiler architecture. The resultant code is paired with an off-the-shelf numeric solver. We show that it is possible to build a modeler for explicit hybrid systems à la Simulink/Stateflow on top of an existing synchronous language, using it both as a semantic basis and as a target for code generation.
Type de document :
Communication dans un congrès
Calin Belta and Franjo Ivančić. HSCC - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. ACM, pp.113-118, 2013, Proceedings of the 16th International Conference on Hybrid systems: computation and control. 〈10.1145/2461328.2461348〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909029
Contributeur : Timothy Bourke <>
Soumis le : lundi 25 novembre 2013 - 16:29:10
Dernière modification le : jeudi 29 septembre 2016 - 01:22:06
Document(s) archivé(s) le : lundi 3 mars 2014 - 15:51:14

Fichiers

Identifiants

Collections

Citation

Timothy Bourke, Marc Pouzet. Zélus: A Synchronous Language with ODEs. Calin Belta and Franjo Ivančić. HSCC - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. ACM, pp.113-118, 2013, Proceedings of the 16th International Conference on Hybrid systems: computation and control. 〈10.1145/2461328.2461348〉. 〈hal-00909029〉

Partager

Métriques

Consultations de la notice

290

Téléchargements de fichiers

512