Access Restriction

Author Benveniste, Albert ♦ Rennes, Inria ♦ Bourke, Timothy ♦ Pouzet, Marc ♦ Caillaud, Benoît
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Hierarchical Automaton ♦ Type System ♦ Development Platform ♦ Source-to-source Translation ♦ Synchronous Language Compiler ♦ Application-based System ♦ Embedded System ♦ Synchronous Code ♦ Sequential Code ♦ Code Generation ♦ Discrete State Change ♦ Hybrid Modeling Tool ♦ Synchronous Language ♦ Main Novelty ♦ Static Typing ♦ Data-flow Language ♦ Hybrid Synchronous Language ♦ Ordinary Differential Equation ♦ Simulation Platform ♦ Language Classification ♦ Hybrid Modeler ♦ Subject Descriptor ♦ Numerical Solver ♦ Discrete System ♦ Off-the-shelf Numerical Solver ♦ Zero-crossing Event
Description Hybrid modeling tools like Simulink have evolved from simulation platforms into development platforms on which testing, verification and code generation are also performed. It is critical to ensure that the results of simulation, compilation and verification are consistent. Synchronous languages have addressed these issues but only for discrete systems. Reprising earlier work, we present a hybrid modeler built from a synchronous language and an off-the-shelf numerical solver. The main novelty is a language with hierarchical automata that can be arbitrarily mixed with data-flow and ordinary differential equations (ODEs). A type system statically ensures that discrete state changes are aligned with zero-crossing events and that the function passed to the numerical solver has no side-effects during integration. Welltyped programs are compiled by source-to-source translation into synchronous code which is then translated into sequential code using an existing synchronous language compiler. Categories and Subject Descriptors C.3 [Special-purpose and application-based systems]: Real-time and embedded systems; D.3.2 [Language classifications]: Data-flow languages
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Institution in EMSOFT ’11