Safeware: system safety and computers
Safeware: system safety and computers
Defining families: the commonality analysis (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Extending the product family approach to support safe reuse
Journal of Systems and Software
Software engineering (6th ed.)
Software engineering (6th ed.)
Requirements analysis using forward and backward search
Annals of Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
Fault Contribution Trees for Product Families
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Architectural-Level Risk Analysis Using UML
IEEE Transactions on Software Engineering
IEEE Software
A product-line requirements approach to safe reuse in multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
A suggestion for analysis of unexpected obstacles in embedded system
Proceedings of the 2007 conference on Human interface: Part I
A template for requirement elicitation of dependable product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Fault tree analysis of software-controlled component systems based on second-order probabilities
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
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
Functional safety and variability: can it be brought together?
Proceedings of the 17th International Software Product Line Conference
Variability-aware safety analysis using delta component fault diagrams
Proceedings of the 17th International Software Product Line Conference co-located workshops
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
| Hi-index | 0.00 |
The current development of high-integrity product lines threatens to outstrip existing tools for product-line verification. Software Fault Tree Analysis (SFTA) is a technique that has been used successfully to investigate contributing causes to potential hazards in safety-critical applications. This paper adapts SFTA to product lines of systems. The contribution is to define: (1) the technique to construct a product-line SFTA and (2) the pruning technique required to reuse the SFTA for the analysis of a new system in the product line. The paper describes how product-line SFTA integrates with forward-analysis techniques such as Software Failure Modes, Effects, and Criticality Analysis (SFMECA), supports requirements evolution, and helps identify previously unforeseen constraints on the systems to be built. Applications to two small examples are used to illustrate the technique.