Skip to main content

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNSC,volume 6150)

Abstract

Companies are increasingly adopting a product-line approach to the development of safety-critical systems. A product line offers large-scale reuse by exploiting common features and assets shared by systems within a specific domain. In this paper, we discuss the challenges of justifying the safety of architectural configurations and variation when developing product-line safety cases. We then address these challenges by defining an approach to developing product-line safety cases using the patterns and modular extensions of the Goal Structuring Notation (GSN). In this approach, we use the GSN patterns extension for explicitly capturing safety case variations and tracing these variations to their extrinsic source in the architectural model. Further, we use the GSN modular extension to organise the safety case into core and variable argument modules which are loosely coupled by means of argument contracts. We demonstrate this approach in a case study based on a product line of aero-engine control systems.

Keywords

  • Safety Cases
  • Architectures
  • Product Lines
  • Variation Management

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-13556-9_9
  • Chapter length: 19 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-13556-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2001)

    Google Scholar 

  2. Weiss, D.M., Robert, C.T.: Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley Professional, Reading (1999)

    Google Scholar 

  3. Kelly, T.P.: Arguing Safety – A Systematic Approach to Safety Case Management. DPhil Thesis, Department of Computer Science, University of York, UK (1998)

    Google Scholar 

  4. Bate, I.J., Kelly, T.P.: Architectural Considerations in the Certification of Modular Systems. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, p. 321. Springer, Heidelberg (2002)

    CrossRef  Google Scholar 

  5. Industrial Avionics Working Group (IAWG): Modular Software Safety Case Process – Part A: Process Definition (October 2007), http://www.assconline.co.uk/

  6. Attwood, K., Kelly, T.P., McDermid, J.A.: The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families. In: International Workshop on Requirements Reuse in System Family Engineering (2004)

    Google Scholar 

  7. Fenn, J., Hawkins, R., Kelly, T.P., Williams, P.: Safety Case Composition Using Contracts – Refinements Based on Feedback from an Industrial Case Study. In: 15th Safety Critical Systems Symposium (2007)

    Google Scholar 

  8. Dowding, M.: Maintenance of the Certification Basis for a Distributed Control System – Developing a Safety Case Architecture. MSc Report, Department of Computer Science, University of York, UK (2002)

    Google Scholar 

  9. Alexander, C.: A Pattern Language: Towns, Buildings, Construction. OUP, USA (1978)

    Google Scholar 

  10. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  11. Object Management Group (OMG): Systems Modelling Language. vol. 1.1, OMG (2008)

    Google Scholar 

  12. EUROCAE/RTCA: ED-12B/DO-178B: Software Considerations in Airborne Systems and Equipment Certification. EUROCAE/RTCA (1994)

    Google Scholar 

  13. UK Ministry of Defence (MoD): 00-55 Requirements of Safety Related Software in Defence Equipment. Part 2: Guidance, Issue 2, Defence Standard, UK Ministry of Defence (1997)

    Google Scholar 

  14. International Organization for Standardization (ISO): ISO26262 Road vehicles – Functional safety. Draft, Baseline 15 (2009)

    Google Scholar 

  15. Society of Automotive Engineers (SAE): Aerospace Recommended Practice 4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE (November 1996)

    Google Scholar 

  16. Federal Aviation Administration (FAA): AC 20-148: Reusable Software Components (December 2004)

    Google Scholar 

  17. Dehlinger, J., Lutz, R.: PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. Automated Software Engineering 13(1), 169–193 (2006)

    CrossRef  Google Scholar 

  18. Feng, Q., Lutz, R.: Bi-Directional Safety Analysis of Product Lines. Journal of Systems and Software 78(2), 111–127 (2005)

    CrossRef  Google Scholar 

  19. Dehlinger, J., Lutz, R.: Software Fault Tree Analysis for Product Lines. In: 8th IEEE International Symposium on High Assurance Systems Engineering (HASE 2004), Florida, USA (2004)

    Google Scholar 

  20. Dehlinger, J., Lutz, R.: Fault Contribution Trees for Product Families. In: 13th International Symposium on Software Reliability Engineering (2002)

    Google Scholar 

  21. Dehlinger, J., Humphrey, M., Suvorov, L., Padmanabahn, P., Lutz, R.: Decimal and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees, Research Demonstration. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis (2007)

    Google Scholar 

  22. Liu, J., Dehlinger, J., Lutz, R.: Safety Analysis of Software Product Lines Using State-Based Modeling. Journal of Systems and Software 80(11), 1879–1892 (2007)

    CrossRef  Google Scholar 

  23. Stephenson, Z.R., de Souza, S., McDermid, J.A.: Product Line Analysis and the System Safety Process. In: 22nd International System Safety Conference (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Habli, I., Kelly, T. (2010). A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. In: Giese, H. (eds) Architecting Critical Systems. ISARCS 2010. Lecture Notes in Computer Science, vol 6150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13556-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13556-9_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13555-2

  • Online ISBN: 978-3-642-13556-9

  • eBook Packages: Computer ScienceComputer Science (R0)