Formal modeling and validation of Stateflow diagrams

• Main Authors: CHEN, Chunqing, SUN, Jun, LIU, Yang, DONG, Jin Song, ZHENG, Manchun
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2012
• 主題: Model-based development; Transformation Validation; Model checking; Stateflow; Programming Languages and Compilers; Software Engineering
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/5012; https://ink.library.smu.edu.sg/context/sis_research/article/6015/viewcontent/2012_Formal_Modeling_and_Validation_of_Stateflow_Diagrams.pdf

Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present our latest work on automatic verification of Stateflow using model-checking techniques. We propose an approach to systematically translate Stateflow diagrams to a formal...