Formally Unifying Modeling and Design for Embedded Systems - A Personal View

Based on the author’s academic and industrial experience, we discuss the smooth relation between model-based design and programming realized by synchronous languages in the embedded systems field. These languages are used to develop high quality embedded software, in particular for safety-critical a...

Full description

Saved in:
Bibliographic Details
Published inLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications pp. 134 - 149
Main Author Berry, G.
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2016
SeriesLecture Notes in Computer Science
Subjects
Discrete Control
Embed System
Formal Verification
Register Transfer Level
Synchronous Language
Online AccessGet full text
ISBN9783319471686
3319471686
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-47169-3_11

Cover

More Information
Summary:Based on the author’s academic and industrial experience, we discuss the smooth relation between model-based design and programming realized by synchronous languages in the embedded systems field. These languages are used to develop high quality embedded software, in particular for safety-critical applications in avionics, railway, etc., subject to the strongest software certification processes in industry. They have also been used for the efficient model-based development of production hardware circuits. One of their main characteristics is their well-defined formal semantics, with is the base of their simulation and compiling processes and is also fundamental for their link to automatic formal verification systems and other tools related to model-based design. We briefly discuss their current limitations and some ideas to lift them.
ISBN:9783319471686
3319471686
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-47169-3_11