An operational semantics for stateflow

被引：0
|
作者：
Hamon, G [1 ]
Rushby, J [1 ]
机构：
[1] SRI Int, Comp Sci Lab, Menlo Pk, CA 94025 USA
来源：
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS | 2004年 / 2984卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：229 / 243
页数：15
相关论文
共 50 条
  • [31] An operational semantics for timed RAISE
    Yong, X
    George, C
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1008 - 1027
  • [32] Operational semantics for coordination in paradigm
    Groenewegen, L
    de Vink, E
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2002, 2315 : 191 - 206
  • [33] Category theory for operational semantics
    Lenisa, M
    Power, J
    Watanabe, H
    THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 135 - 154
  • [34] An Operational Semantics for Java']JavaScript
    Maffeis, Sergio
    Mitchell, John C.
    Taly, Ankur
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 307 - +
  • [35] The origins of structural operational semantics
    Plotkin, GD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 3 - 15
  • [36] ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM
    GUREVICH, Y
    MOSS, LS
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 176 - 192
  • [37] Mechanized operational semantics of WSL
    Zhang, XY
    Munro, M
    Harman, M
    Hu, L
    SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS, 2002, : 73 - 82
  • [38] A Dynamic Operational Semantics for JVML
    Belblidia, Nadia
    Debbabi, Mourad
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (03): : 71 - 100
  • [39] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [40] AN OPERATIONAL SEMANTICS FOR TIMED CSP
    SCHNEIDER, S
    INFORMATION AND COMPUTATION, 1995, 116 (02) : 193 - 213
12345