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 条
  • [1] An operational semantics for Stateflow
    Grégoire Hamon
    John Rushby
    International Journal on Software Tools for Technology Transfer, 2007, 9 (5-6) : 447 - 456
  • [2] Operational semantics for DyLPs
    Banti, F
    Alferes, JJ
    Brogi, A
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 43 - 54
  • [3] ALGEBRAIC OPERATIONAL SEMANTICS
    GUREVICH, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 1 - 2
  • [4] Operational semantics for Verilog
    Dimitrov, J
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 161 - 168
  • [5] An operational semantics for skeletons
    Aldinucci, M
    Danelutto, M
    PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 63 - 70
  • [6] An operational semantics for ZCCS
    Galloway, AJ
    Stoddart, WJ
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 272 - 282
  • [7] Enhanced operational semantics
    Degano, P
    Priami, C
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 352 - 354
  • [8] An operational semantics for Scheme
    Matthews, Jacob
    Findler, Robert Bruce
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2008, 18 (47-86) : 47 - 86
  • [9] Operational semantics with semicommutations
    Maarand, Hendrik
    Uustalu, Tarmo
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 121
  • [10] Operational semantics of proto
    Viroli, Mirko
    Beal, Jacob
    Usbeck, Kyle
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (06) : 633 - 656
12345