1. Real-time system simulation and verification approach based on STeC to Stateflow transformation system.
- Author
-
JI Zheng, LI Hui-yong, and CHEN Yi-xiang
- Subjects
- *
REAL-time computing , *COMPUTER simulation , *VERIFICATION of computer systems , *DENOTATIONAL semantics , *SET theory , *COMPUTER science - Abstract
Internet of Things or cyber-physical systems provide a new challenge for formal modeling methods related to the aspect of physical elements such as location and time. Recently, this paper introduced a specification language called STeC to stress the spatio-temporal consistency for real-time systems. The operational and denotational semantics of and tool set related to this language have been given. The aim of this paper was to establish a STeC to Stateflow automatic transformation system and to propose a simulation and verification approach based on this transformation system. It firstly gave a formal model for an object system in STeC language, and then set up a real-time monitoring simulation model using Simulink. After that, it presented a verification approach for the system safety property based on Checkmate. Finally, it gave a case about Jinghu Gaotie (high speed train) running timetable to show that the proposed approach is effect and usable. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF