Safeware: system safety and computers
Safeware: system safety and computers
Digital Logic and Computer Design
Digital Logic and Computer Design
Fault Contribution Trees for Product Families
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Integrating Product-Line Fault Tree Analysis into AADL Models
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
From software product lines to software ecosystems
Proceedings of the 13th International Software Product Line Conference
Delta-oriented programming of software product lines
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
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Evolving delta-oriented software product line architectures
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Towards modeling and analyzing variability in evolving software ecosystems
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
| Hi-index | 0.00 |
Component Fault Diagrams (CFD) allow the specification of fault propagation paths, which is employed for the design of safety-critical systems as well as their certification. Even though families of safety-critical systems exist with many similar, yet not equal, variants there is no dedicated variability mechanism for CFDs to reuse commonalities of all family members and to alter only variable parts. In this paper, we present a variability representation approach for CFDs based on delta modeling that allows to transform an initial CFD within a closed or open variant space. Furthermore, we provide delta-aware analysis techniques for CFDs in order to analyse multiple variants efficiently. We show the feasibility of our approach by means of an example scenario based on the personal home robot TurtleBot using a prototypical implementation of our concepts.