Sciweavers

Share
SAFECOMP
2007
Springer

Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts

10 years 4 months ago
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
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. A...
Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SAFECOMP
Authors Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
Comments (0)
books