Translating a large subset of stateflow to hybrid CSP with code optimization
Authors:
- Panhua GuoPGPanhua Guo
- Bohua ZhanBZBohua Zhan
- Xiong XuXXXiong Xu
- Shuling WangSWShuling Wang
- Wenhui SunWSWenhui Sun
- 20 July 2022
- journal article
- research article
- Published by Elsevier in Journal of Systems Architecture
- Vol. 130
Abstract
No abstract availableKeywords
Funding Information
- National Natural Science Foundation of China (61972385, 62032024)
- Chinese Academy of Sciences (Y9RC585036)
This publication has 10 references indexed in Scilit:
- Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/StateflowJournal of Computer Science and Technology, 2020
- Verifying simulink stateflow model: timed automata approach2016
- Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADLScience China Information Sciences, 2015
- Verifying Simulink diagrams via a Hybrid Hoare Logic Prover2013
- Formal modeling and validation of Stateflow diagramsInternational Journal on Software Tools for Technology Transfer, 2012
- An operational semantics for StateflowInternational Journal on Software Tools for Technology Transfer, 2007
- Invisible formal methods for embedded control systemsProceedings of the IEEE, 2003
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- A compositional axiomatization of StatechartsTheoretical Computer Science, 1992
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987