skip to main content
10.1145/2499777.2500721acmotherconferencesArticle/Chapter ViewAbstractPublication PagessplcConference Proceedingsconference-collections
research-article

Variability-aware safety analysis using delta component fault diagrams

Published: 26 August 2013 Publication History

Abstract

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.

References

[1]
BlockSim7 Online Help. ReliaSoft Corporation Web Site: http://www.reliasoft.com/BlockSim (accessed on 15 April 2013).
[2]
OpenFTA User Manual. Formal Software Construction Limited Web Site: http://www.openfta.com (accessed on 15 April 2013).
[3]
Reliability Workbench Technical Specification, Version 10.3. Isograph Reliability Software Web Site: http://www.isograph-software.com/_techspecs/rwb103techspec.pdf (accessed on 15 April 2013).
[4]
J. Bosch. From Software Product Lines to Software Ecosystems. In Proceedings of the 13th International Software Product Line Conference, SPLC, 2009.
[5]
J. Dehlinger and R. Lutz. Software Fault Tree Analysis for Product Lines. In High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on. IEEE, 2004.
[6]
J. Dehlinger and R. Lutz. PLFaultCAT: A Product-line Software Fault Tree Analysis Tool. Automated Software Engineering, 2006.
[7]
C. Gómez, P. Liggesmeyer, and A. Sutor. Variability Management of Safety and Reliability Models: An Intermediate Model Towards Systematic Reuse of Component Fault Trees. In SAFECOMP - Computer Safety, Reliability, and Security. Springer, 2010.
[8]
A. Haber, H. Rendel, B. Rumpe, and I. Schaefer. Evolving Delta-Oriented Software Product Line Architectures. In Monterey Workshop, 2012.
[9]
B. Kaiser, P. Liggesmeyer, and O. Mäckel. A New Component Concept for Fault Trees. In Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software-Volume 33. Australian Computer Society, Inc., 2003.
[10]
N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley Longman, 1995.
[11]
D. Lu and R. R. Lutz. Fault Contribution Trees for Product Families. In Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on. IEEE, 2002.
[12]
M. M. Mano. Digital Logic & Computer Design. Pearson Education, 1979.
[13]
K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering - Foundations, Principles and Techniques. Springer Berlin/Heidelberg, 2005.
[14]
D. G. Raheja and M. Allocco. Assurance Technologies Principles and Practices: A Product, Process, and System Safety Perspective. Wiley-Interscience, 2006.
[15]
I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-Oriented Programming of Software Product Lines. In Software Product Lines: Going Beyond. Springer, 2010.
[16]
I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides, G. Botterweck, A. Pathak, S. Trujillo, and K. Villela. Software Diversity: State of the Art and Perspectives. STTT, 14, 2012.
[17]
C. Seidl and U. Aßmann. Towards Modeling and Analyzing Variability in Evolving Software Ecosystems. In Proceedings of the 7th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), VaMoS'13, 2013.
[18]
C. Smith. SAPHIRE Risk and Reliability Assessment Software. Idaho National Engineering and Environmental Laboratory Web Site: http://saphire.inl.gov/pdf/SAPHIRE_overview.pdf (accessed on 15 April 2013).
[19]
H. Sun, M. Hauptman, and R. Lutz. Integrating Product-line Fault Tree Analysis into AADL Models. In High Assurance Systems Engineering Symposium, 2007. HASE'07. 10th IEEE. IEEE, 2007.
[20]
A. von Rhein, S. Apel, C. Kästner, T. Thüm, and I. Schaefer. The PLA Model: On the Combination of Product-Line Analyses. In Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013.

Cited By

View all
  • (2023)PYDOPProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609011(30-33)Online publication date: 28-Aug-2023
  • (2022)Property Satisfiability Analysis for Product Lines of Modelling LanguagesIEEE Transactions on Software Engineering10.1109/TSE.2020.298950648:2(397-416)Online publication date: 1-Feb-2022
  • (2019)Industrial Perspective on Reuse of Safety Artifacts in Software Product LinesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336315(143-154)Online publication date: 9-Sep-2019
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
SPLC '13 Workshops: Proceedings of the 17th International Software Product Line Conference co-located workshops
August 2013
148 pages
ISBN:9781450323253
DOI:10.1145/2499777
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 August 2013

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. component fault diagrams
  2. delta modeling
  3. minimum cut set
  4. safety
  5. software fault trees
  6. variability

Qualifiers

  • Research-article

Funding Sources

Conference

SPLC 2013 workshops

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)11
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)PYDOPProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609011(30-33)Online publication date: 28-Aug-2023
  • (2022)Property Satisfiability Analysis for Product Lines of Modelling LanguagesIEEE Transactions on Software Engineering10.1109/TSE.2020.298950648:2(397-416)Online publication date: 1-Feb-2022
  • (2019)Industrial Perspective on Reuse of Safety Artifacts in Software Product LinesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336315(143-154)Online publication date: 9-Sep-2019
  • (2019)Formal Foundations for Analyzing and Refactoring Delta-Oriented Model-Based Software Product LinesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336299(207-217)Online publication date: 9-Sep-2019
  • (2018)A classification of product sampling for software product linesProceedings of the 22nd International Systems and Software Product Line Conference - Volume 110.1145/3233027.3233035(1-13)Online publication date: 10-Sep-2018
  • (2016)Functional Safety in Product Lines -- A Systematic Mapping Study2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA.2016.58(313-322)Online publication date: Aug-2016
  • (2015)Integrating variability and safety analysis models using commercial UML-based toolsProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791088(225-234)Online publication date: 20-Jul-2015
  • (2014)Integrated management of variability in space and time in software familiesProceedings of the 18th International Software Product Line Conference - Volume 110.1145/2648511.2648514(22-31)Online publication date: 15-Sep-2014
  • (2014)Towards Feature-Oriented Fault Tree AnalysisProceedings of the 2014 IEEE 38th International Computer Software and Applications Conference Workshops10.1109/COMPSACW.2014.87(522-527)Online publication date: 21-Jul-2014

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media