Sciweavers

Share
FASE
2004
Springer

An Operational Semantics for Stateflow

8 years 12 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of embedded systems. Stateflow has many tricky features but our operational treatment yields a surprisingly simple semantics for the subset that is generally recommended for industrial applications. We have validated our semantics by developing an interpreter that allows us to compare its behavior against the Matlab simulator. We have used the semantics as a foundation for developing prototype tools for formal analysis of Stateflow designs.
Grégoire Hamon, John M. Rushby
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FASE
Authors Grégoire Hamon, John M. Rushby
Comments (0)
books