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 条
  • [41] AN OPERATIONAL SEMANTICS FOR CONCURRENT TTCN
    WALTER, T
    PLATTNER, B
    PROTOCOL TEST SYSTEMS, V, 1993, 11 : 131 - 143
  • [42] Proof styles in operational semantics
    Ray, S
    Moore, JS
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 67 - 81
  • [43] Parameterized structured operational semantics
    Ferrari, Gian Luigi
    Montanari, Ugo
    Fundamenta Informaticae, 1998, 34 (1-2): : 1 - 31
  • [44] Dynamic structural operational semantics
    Johansen, Christian
    Owe, Olaf
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 107 : 79 - 107
  • [45] Logical specification of operational semantics
    Mosses, PD
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 32 - 49
  • [46] Inductive assertions and operational semantics
    Moore, JS
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 289 - 303
  • [47] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG
    DEBRAY, SK
    MISHRA, P
    JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
  • [48] An Operational Semantics of BPMN Collaboration
    Corradini, Flavio
    Polini, Andrea
    Re, Barbara
    Tiezzi, Francesco
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 161 - 180
  • [49] Enhanced Operational Semantics for Concurrency
    Bulletin of the European Association for Theoretical Computer Science, (59):
  • [50] Operational Algorithmic Game Semantics
    Bunting, Benedict
    Murawski, Andrzej S.
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
12345