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
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;
Conference_Titel :
Information Science, Electronics and Electrical Engineering (ISEEE), 2014 International Conference on
Conference_Location :
Sapporo
Print_ISBN :
978-1-4799-3196-5
DOI :
10.1109/InfoSEEE.2014.6947759