Esterel EDA>News and Events>Events>ADA Europe 07
Synchronous design of embedded systems – the Esterel / Scade approach
Gérard BERRY, Esterel Technologies, France – June 29th, 2007
Abstract
This tutorial presents the synchronous design of embedded systems using the SCADE and Esterel Studio tools. The synchronous approach relies on a rigorous mathematical model of synchronous concurrent computation, which serves as a basis for the formal semantics of the languages. The tutorial mostly focuses on Scade, which is a graphical language.
Scade models are defined by hierarchical block diagrams for continuous control and hierarchical state machines for discrete control, with unlimited nesting of both formalisms. The SCADE Suite tool provides model capture and sanity checking, visual simulation, model coverage analysis, C code generation, and formal verification.
The tutorial will also briefly present Esterel Studio, a similar integrated development environment for the design, synthesis, and verification of hardware circuits and their software models.
Level
Advanced
Heritage
The synchronous methodology and the associated tools are based on 25 years of research and more than 15 years of industrial applications.
Why you should participate in this tutorial ?
SCADE is used by a large number of major companies to develop embedded safety-critical software for avionics, railway, automotive, and industry applications. Its C code generator is certified at highest level A of the DO-178B avionics norm, which makes it perfectly suited to certified software development. Esterel Studio is used by major hardware companies for the specification, synthesis, and verification of embedded hardware circuits together with their software models.
