DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees

Authors:
Josh Dehlinger;Meredith Humphrey;Lada Suvorov;Prasanna Padmanabhan;Robyn Lutz
Affiliations:
Iowa State University, USA;Iowa State University, USA;Iowa State University, USA;Citrix Systems Inc.;Iowa State University, USA/ Caltech
Venue:
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Year:
2007

Citing 3
Cited 5

Software product-line engineering: a family-based software development process

Software product-line engineering: a family-based software development process
Tool-Supported Verification of Product Line Requirements

Automated Software Engineering
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool

Automated Software Engineering

Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System

ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A systematic review of domain analysis tools

Information and Software Technology
Testing techniques in software engineering

Testing techniques in software engineering
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
A safety case approach to assuring configurable architectures of safety-critical product lines

ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced version of PLFaultCAT provides traceability between productline requirements and SFTA hazards as well as semi-automated derivation of the SFTA for each new product-line system previously verified by DECIMAL. The combined tool reduces the effort needed to safely reuse requirements and customize the product-line SFTA as each new system is constructed.