Automatic generation of Temporal Fault Trees from AADL models

Mahmud, Nidhal; Mian, Zhibao

Abstract

The Architecture Analysis and Design Language (AADL) is gaining growing acceptance in the aerospace, automobile and avionics industries. These industries are increasingly concerned with systems exhibiting sequence-dependent failures. About dependability (i.e. safety, reliability, availability and maintainability) analysis of AADL models, there is still a lack of techniques that can take into account the sequencing of failure events and determine minimal failure scenarios, i.e. which are made up of the relevant events causing a system to fail as a whole. In this paper, we present how we address this problem through an intelligent transformation, which captures the significant temporal ordering of faults and failures expressed by the AADL error models, to synthesise system Temporal Fault Trees (TFTs). © 2014 Taylor & Francis Group, London.

Citation

Mahmud, N., & Mian, Z. (2013, September). Automatic generation of Temporal Fault Trees from AADL models. Presented at Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013, Amsterdam, Netherlands

• Presentation Conference Type: Conference Paper (published)
• Conference Name: Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013
• Start Date: Sep 29, 2013
• End Date: Oct 2, 2013
• Online Publication Date: Sep 18, 2013
• Publication Date: Jan 1, 2014
• Deposit Date: Jul 12, 2022
• Publisher: CRC Press
• Pages: 2741-2749
• Book Title: Safety, Reliability and Risk Analysis : Beyond the Horizon
• ISBN: 9781315815596; 9781138001237
• DOI: https://doi.org/10.1201/b15938
• Public URL: https://hull-repository.worktribe.com/output/4028823