Modeling and automatic failure analysis of safety-critical systems using extended safecharts

Yean Ru Chen, Pao Ann Hsiung, Sao Jie Chen

研究成果: Conference contribution

摘要

With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, unintentional design faults might result in injury or even death to human beings. To avoid such mishaps, we need to verify safetycritical systems thoroughly, where formal verification techniques such as model checking play a very promising role. Currently, there is practically no automatic technique in formal verification used to formally model system faults and repairs. This work contributes in proposing an extension to the Safecharts model, with which faults and repairs can be easily modeled. Moreover, these Safecharts can be directly transformed into semantically equivalent Extended Timed Automata models for model checking. That is, after these models were integrated into a model checker, such as our previously proposed State Graph Manipulators (SGM) model checker, we can verify safety-critical systems. An application example is run to show the feasibility and benefits of the proposed model-driven verification method for safety-critical systems. As observed, the checking results, such as witnesses of property specifications representing hazards, provide more concrete and useful failure analysis information than the conventional Fault Tree Analysis (FTA).

原文English
主出版物標題Computer Safety, Reliability, and Security - 26th International Conference, SAFECOMP 2007, Proceedings
發行者Springer Verlag
頁面451-464
頁數14
ISBN(列印)9783540751007
DOIs
出版狀態Published - 2007
事件26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007 - Nuremberg, Germany
持續時間: 2007 9月 182007 9月 21

出版系列

名字Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
4680 LNCS
ISSN(列印)0302-9743
ISSN(電子)1611-3349

Other

Other26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007
國家/地區Germany
城市Nuremberg
期間07-09-1807-09-21

All Science Journal Classification (ASJC) codes

  • 理論電腦科學
  • 電腦科學(全部)

指紋

深入研究「Modeling and automatic failure analysis of safety-critical systems using extended safecharts」主題。共同形成了獨特的指紋。

引用此