TY - GEN
T1 - Behavioral fault modeling for model-based safety analysis
AU - Joshi, Anjali
AU - Heimdahl, Mats P.E.
PY - 2007/12/1
Y1 - 2007/12/1
N2 - Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic generation of safety artifacts. Since safety analysis requires knowledge of the component faults and failure modes, one also needs to formalize and incorporate the system fault behavior into the nominal system model. Fault behaviors typically tend to be quite varied and complex, and incorporating them directly into the nominal system model can clutter it severely. This manual process is error-prone and also makes model evolution difficult. These issues can be resolved by separating the fault behavior from the nominal system model in the form of a "fault model", and providing a mechanism for automatically combining the two for analysis. Towards implementing this approach we identify key requirements for a flexible behavioral fault modeling notation. We formalize it as a domain-specific language based on Lustre, a textual synchronous dataflow language. The fault modeling extensions are designed to be amenable for automatic composition into the nominal system model.
AB - Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic generation of safety artifacts. Since safety analysis requires knowledge of the component faults and failure modes, one also needs to formalize and incorporate the system fault behavior into the nominal system model. Fault behaviors typically tend to be quite varied and complex, and incorporating them directly into the nominal system model can clutter it severely. This manual process is error-prone and also makes model evolution difficult. These issues can be resolved by separating the fault behavior from the nominal system model in the form of a "fault model", and providing a mechanism for automatically combining the two for analysis. Towards implementing this approach we identify key requirements for a flexible behavioral fault modeling notation. We formalize it as a domain-specific language based on Lustre, a textual synchronous dataflow language. The fault modeling extensions are designed to be amenable for automatic composition into the nominal system model.
UR - http://www.scopus.com/inward/record.url?scp=48349143550&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=48349143550&partnerID=8YFLogxK
U2 - 10.1109/HASE.2007.25
DO - 10.1109/HASE.2007.25
M3 - Conference contribution
AN - SCOPUS:48349143550
SN - 0769530435
SN - 9780769530437
T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering
SP - 199
EP - 208
BT - Proceedings - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007
T2 - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007
Y2 - 14 November 2007 through 16 November 2007
ER -