Title :
A formal analysis of stage stunt system with hybrid automata
Author :
Anping He ; Juan Wang
Author_Institution :
Sch. of Inf. Sci. & Eng., Lanzhou Univ., Lanzhou, China
Abstract :
Stage stunt system is an automatic steeve system orchestrated by PLC. Security and fault-recover are two important properties of the system. In this paper, we analyze and verify the stage stunt system formally. We adopt hybrid automata to model the system. The forward reachability is used to verify the properties on the reachable states. We present a case study to illustrate the feasibility of the proposed verification.
Keywords :
fault diagnosis; formal verification; programmable controllers; reachability analysis; PLC; automatic steeve system; fault-recover properties; formal analysis; hybrid automata; programmable controller; security properties; stage stunt system; Stage stunt system; forward analysis; hybrid automata;
Conference_Titel :
Computing and Convergence Technology (ICCCT), 2012 7th International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4673-0894-6
