Modeling safety-critical system requirements with hierarchical state machine

Autor:	Zheng Wang, Chen-ge Geng, Xiangxian Chen, Hai Huang, Dong Wang, Ai-ai Guan
Rok vydání:	2014
Předmět:	Engineering Finite-state machine business.industry Critical system media_common.quotation_subject Systems engineering Train business Function (engineering) Automatic train protection Superstate Reliability engineering media_common
Zdroj:	2014 International Conference on Information Science, Electronics and Electrical Engineering.
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::df631ba93bd7d00d7871184ee85023c1 https://doi.org/10.1109/infoseee.2014.6947759 Zobrazit plný text záznamu