Sciweavers

Share
HASE
2007
IEEE

Integrating Product-Line Fault Tree Analysis into AADL Models

10 years 3 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-supported approach to integrate product-line FTA into AADL (Architecture Analysis and Design Language) models and associated AADL Error Models of a product line. With concrete models bound, architectural stage FTA allows automation in the fault tree generation and the analyses, which was impossible at requirement stage. A fault tree for a specific product is automatically pruned and adapted from the product-line FTA, which reduces effort and enhances consistency. The AADL Error-Annex-compatible format allows automated derivation of basic quantitative and cut set analyses for each product-line member to help identify and eliminate design weaknesses. The tool-supported capabilities described here enable comparisons among candidate new members to assist in design decisions regarding redundancy, safety features, ...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where HASE
Authors Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
Comments (0)
books