DocumentCode :
144571
Title :
Modeling safety-critical system requirements with hierarchical state machine
Author :
Zheng Wang ; Chen-ge Geng ; Xiang-xian Chen ; Dong Wang ; Hai Huang ; Ai-ai Guan
Author_Institution :
Dept. of Instrum. Sci. & Eng., Zhejiang Univ., Hangzhou, China
Volume :
2
fYear :
2014
fDate :
26-28 April 2014
Firstpage :
716
Lastpage :
719
Abstract :
Automatic Train Protection (ATP) system is a safety-critical system; it is widely used to ensure trains running safely. During its development lifecycle, there are many safety problems which are derived from the requirements. In order to make descriptions of the requirements accurate and consistent, we introduce requirement models in the development lifecycle. The requirement models are built based on the modified state machine with text descriptions and the introduction of SuperState. In these models, the limitations of transitions are well defined and the complexity of the models can be reduced effectively. With this approach, the requirement of train localization function of ATP system is described clearly and strictly. Besides, this requirement model is easy to understand and read for developers.
Keywords :
finite state machines; rail traffic; safety-critical software; ATP system; automatic train protection system; development lifecycle; hierarchical state machine; modified state machine; safety-critical system requirement modeling; super-state; text descriptions; train localization function; Graphics; Mathematical model; Object oriented modeling; Rail transportation; Safety; Software; Unified modeling language; Automatic Train Protection (ATP) system; hierarchical state machine model; lifecycle; requirement modeling; safety-critical sysem;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Science, Electronics and Electrical Engineering (ISEEE), 2014 International Conference on
Conference_Location :
Sapporo
Print_ISBN :
978-1-4799-3196-5
Type :
conf
DOI :
10.1109/InfoSEEE.2014.6947759
Filename :
6947759
Link To Document :
بازگشت