Safety Analysis of Requirements for a Product Family

A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended to apply to four-variable models and used to analyze the requirements models for representative members of the product family. The results were evaluated against an initial speci cation of the product family's required commonalities and variabilities. The Safety Checklist was found to be e ective at analyzing the completeness of the product family requirements and at identifying additional variabilities and commonalities. Secondly, a forward and backward search for hazards was performed on representative members of the product family. Additional safety requirements for enhanced fault tolerance were derived from these searches. The safety analysis techniques used here appear to have applicability for enhancing the completeness and robustness of a product family's safety-related software requirements...

• Type: Conference
• Year: 1998
• Where: ICRE
• Authors: Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey
• Keywords: ICRE 1998, Product Family, Requirements, Safety Checklist, Software Engineering