Sciweavers

Share
CC
2015
Springer

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages

3 years 11 months ago
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
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-tosource transformations that ultimately yield sequenti...
Timothy Bourke, Jean-Louis Colaço, Bruno Pa
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CC
Authors Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
Comments (0)
books