A Synchronous Look at the Simulink Standard Library

Timothy Bourke 1 Francois Carcenac 2 Jean-Louis Colaço 2 Bruno Pagano 2 Cédric Pasteur 2 Marc Pouzet 1, 3, 4
1 Parkas - Parallélisme de Kahn Synchrone
Inria de Paris, DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique
2 Esterel Technologies / Ansys [Toulouse]
3 UPMC - Université Pierre et Marie Curie - Paris 6
4 DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : Hybrid systems modelers like Simulink come with a rich collection of discrete-time and continuous-time blocks. Most blocks are not defined in terms of more elementary ones—and some cannot be—but are instead written in imperative code and explained informally in a reference manual. This raises the question of defining a minimal set of orthogonal programming constructs such that most blocks can be programmed directly and thereby given a specification that is mathematically precise, and whose compiled version performs comparably to handwritten code. In this paper, we show that a fairly large set of blocks of a standard library like the one provided by Simulink can be programmed in a precise, purely functional language using stream equations, hierarchical automata, Ordinary Differential Equations (ODEs), and deterministic synchronous parallel composition. Some blocks cannot be expressed in our setting as they mix discrete-time and continuous-time signals in unprincipled ways that are statically forbidden by the type checker. The experiment is conducted in Zélus, a synchronous language that conservatively extends Lustre with ODEs to program systems that mix discrete-time and continuous-time signals.
Keywords : Hybrid Systems Synchronous Languages Block Diagrams
Type de document :
Communication dans un congrès
EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. ACM Press, pp.23, 〈http://esweek.org/emsoft/〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01575631
Contributeur : Timothy Bourke <>
Soumis le : lundi 21 août 2017 - 12:15:30
Dernière modification le : jeudi 26 avril 2018 - 10:29:09

Fichier

emsoft2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01575631, version 1

Collections

ENS-PARIS | PSL | UPMC | INRIA2017 | INRIA | INRIA-ROCQ

Citation

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, et al.. A Synchronous Look at the Simulink Standard Library. EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. ACM Press, pp.23, 〈http://esweek.org/emsoft/〉. 〈hal-01575631〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

266

Téléchargements de fichiers

175

Contact


archive-ouverte@inria.fr