Abstract | ||
---|---|---|
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 recom- mended 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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-24721-0_17 | FASE |
Keywords | Field | DocType |
embedded system,model based development,operational semantics | Operational semantics,MATLAB,Programming language,Suite,Computer science,Interpreter,Stateflow,Semantics | Conference |
Volume | Issue | ISSN |
9 | 5-6 | 1433-2787 |
Citations | PageRank | References |
71 | 3.17 | 16 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grégoire Hamon | 1 | 240 | 12.86 |
John Rushby | 2 | 2459 | 235.69 |