A Synchronous-based Code Generator For Explicit Hybrid Systems Languages

Timothy Bourke 1 Jean-Louis Colaço 2 Bruno Pagano 2 Cédric Pasteur 1 Marc Pouzet 1, 3
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 : Modeling languages for hybrid systems are cornerstones of embedded systems development in which software interacts with a physical environment. Sequential code generation from such languages is important for simulation efficiency and for producing code for embedded targets. Despite being routinely used in industrial compilers, code generation is rarely, if ever, described in full detail, much less formalized. Yet formalization is an essential step in building trustable compilers for critical embedded software development. This paper presents a novel approach for generating code from a hybrid systems modeling language. By building on top of an existing synchronous language and compiler, it reuses almost all the existing infrastructure with only a few modifications. Starting from an existing synchronous data-flow language conservatively extended with Ordinary Differential Equations (ODEs), this paper details the sequence of source-to-source transformations that ultimately yield sequential code. A generic intermediate language is introduced to represent transition functions. The versatility of this approach is exhibited by treating two classical simulation targets: code that complies with the FMI standard and code directly linked with an off-the-shelf numerical solver (Sundials CVODE).
Type de document :
Communication dans un congrès
International Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom. 2015, LNCS
Liste complète des métadonnées

https://hal.inria.fr/hal-01242732
Contributeur : Marc Pouzet <>
Soumis le : lundi 14 décembre 2015 - 07:55:13
Dernière modification le : mercredi 28 septembre 2016 - 14:04:39

Identifiants

  • HAL Id : hal-01242732, version 1

Collections

Citation

Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet. A Synchronous-based Code Generator For Explicit Hybrid Systems Languages. International Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom. 2015, LNCS. 〈hal-01242732〉

Partager

Métriques

Consultations de la notice

94