Title :
A Coloured Petri Net Based Formal Verification Methodology of MVB-TCN Device
Author :
Guoyin, Zhang ; Ming, Liu ; Aihong, Yao
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
Abstract :
This paper presents a formal verification methodology of the Coloured Petri Net model of MVB-TCN device using symbolic model checking technique. The methodology proposed addresses the model checking of critical properties of MVB-TCN device including safety, liveness and fairness properties which are expressed in computation tree logics. As a confirmation of its validity, the methodology described in this paper has been successfully applied to modeling and formal verification of Line Redundancy Control unit of MVB-TCN device.
Keywords :
Automation; Educational institutions; Formal verification; IEC standards; Logic devices; Medical simulation; Paper technology; Railway safety; Safety devices; Vehicles; Coloured Petri Net; TCN; embeded system; formal verification; symbolic model checking;
Conference_Titel :
Intelligent Computation Technology and Automation (ICICTA), 2010 International Conference on
Conference_Location :
Changsha, China
Print_ISBN :
978-1-4244-7279-6
Electronic_ISBN :
978-1-4244-7280-2
DOI :
10.1109/ICICTA.2010.72
