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