Symbolic Simulation of Dataflow Synchronous Programs with Timers

Guillaume Baudart 1 Timothy Bourke 2, 3 Marc Pouzet 2, 3, 4
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 : The synchronous language Lustre and its descendants have long been used to program and model discrete controllers. Recent work shows how to mix discrete and continuous elements in a Lustre-like language called Zélus. The resulting hybrid programs are deterministic and can be simulated with a numerical solver. In this article, we focus on a subset of hybrid programs where continuous behaviors are expressed using timers, nondeterministic guards, and invariants, as in Timed Safety Automata. We propose a source-to-source compilation pass to generate discrete code that, coupled with standard operations on Difference-Bound Matrices, produces symbolic traces that each represent a set of concrete traces.
Type de document :
Communication dans un congrès
Daniel Große; Sara Vinco; Hiren Patel. 12th Forum on Specification and Design Languages (FDL 2017), Sep 2017, Vérone, Italy. Springer, Lecture Notes in Electrical Engineering, 530, pp.25, 2018, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. 〈https://link.springer.com/book/10.1007/978-3-030-02215-0〉. 〈10.1007/978-3-030-02215-0_3〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01575621
Contributeur : Timothy Bourke <>
Soumis le : vendredi 11 janvier 2019 - 16:54:12
Dernière modification le : dimanche 13 janvier 2019 - 01:18:07

Fichier

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

Identifiants

Citation

Guillaume Baudart, Timothy Bourke, Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. Daniel Große; Sara Vinco; Hiren Patel. 12th Forum on Specification and Design Languages (FDL 2017), Sep 2017, Vérone, Italy. Springer, Lecture Notes in Electrical Engineering, 530, pp.25, 2018, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. 〈https://link.springer.com/book/10.1007/978-3-030-02215-0〉. 〈10.1007/978-3-030-02215-0_3〉. 〈hal-01575621v4〉

Partager

Métriques

Consultations de la notice

27

Téléchargements de fichiers

98