|
|
 |
|
NIA Formal Methods Seminar by Gerald Luettgen |
|
Date: May 26, 2006
Time: 10:30am
Location: NIA, Rm 137
Additional Information: Presentation (PDF)
Embedded Systems Design with Statecharts
Gerald Luettgen, University of York, United Kingdom
Statecharts is a popular language for designing the control flow of embedded systems. Various dialects of the language are integrated in many commercial design tools, such as Simulink/Stateflow and SCADE, which are gaining popularity within the avionics industry.
This talk gives an introduction to the concepts underlying the syntax and semantics of Statecharts, with a particular focus on SCADE's Safe State Machines. It also highlights the current limitations of Statecharts and concludes with an outlook regarding future improvements.
|
|
|
Home