@inproceedings{4fea637aefb44347ae529580959cea5d,
title = "Formal modeling and verification of the safety critical fire-fighting control system",
abstract = "A fire-fighting control system, which is usually implemented through programmable logic controllers, is a typical type of safety-critical cycle physical system. It has been widely used in currently complex industrial applications. So it is significant for a fire-fighting control system to conduct safety checking. There have been many methods to check safety of a fire-fighting control system so far, but they all ignore the effect of communication networks which are important for data transmission. In this paper, considering communication networks, we propose to model a fire-fighting control system with timed automata and describe system requirements with computation tree logic (CTL) formulas. A real dock fire fighting control system illustrates the method. And some safety properties are verified in the model checking tool Uppaal, and verified results show the effectiveness of the method.",
keywords = "Model checking, The fire-fighting control system, Timed automata, Uppaal",
author = "Ya Wang and Rui Wang and Yong Guan and Xiaojuan Li and Hongxing Wei and Jie Zhang and Xiaoyu Song",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 39th IEEE Annual Computer Software and Applications Conference Workshops, COMPSACW 2015 ; Conference date: 01-07-2015 Through 05-07-2015",
year = "2015",
month = sep,
day = "21",
doi = "10.1109/COMPSAC.2015.181",
language = "英语",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "536--541",
editor = "Ahamed, \{Sheikh Iqbal\} and Chang, \{Carl K.\} and Ivica Crnkovic and Pao-Ann Hsiung and Jingwei Yang and Gang Huang and William Chu",
booktitle = "Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops, COMPSACW 2015",
address = "美国",
}