Abstract
We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the evidence that supports this structure. The resultant safety case argues that all hazards are adequately addressed through meeting the system safety requirements. This overarching claim is demonstrated via satisfaction of the integrity requirements that are assigned to subsystems and components of the system through a sound process of model-based allocation that respects the system design and follows industry standards. The safety evidence that substantiates claims is supported by evidence which is also auto-constructed from the system model. As the system model evolves during design, the corresponding model-connected safety case can be auto-updated. The approach is underpinned by a data model that connects safety argumentation and safety analysis artefacts, and is facilitated by a software tool.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kelly, T.P.: A Systematic Approach to Safety Case Management. SAE International (2003)
Kelly, T.P., Weaver, R.: The goal structuring notation – a safety argument notation. In: Proceedings of Dependable Systems and Networks, Workshop on Assurance Cases (2004)
Kelly, T.P.: Arguing safety – a systematic approach to managing safety cases. Thesis, University of York (1998
Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Proceedings of the Sixth Safety-Critical Systems Symposium on Industrial Perspectives of Safety-Critical Systems, Birmingham, UK (1998)
Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a software safety argument pattern catalogue: two case studies. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 185–198. Springer, Heidelberg (2011). doi:10.1007/978-3-642-24270-0_14
Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., Walker, M.: Automating allocation of development assurance levels an extension to HiP-HOPS. In: Lopez-Mellado, E., Ramirez-Trevino, A., Lefebvre, D., Ortmeier, F. (eds.) 5th IFAC International Workshop on Dependable Control of Discrete Systems – DCDS (2015). IFAC-PapersOnLine 48(7), 9–14
Papadopoulos, Y., Walker, M., Parker, D., Rude, E., Rainer, H., Uhlig, A., Lien, R.: Engineering failure analysis and design optimisation with HiP-HOPS. In: Gagg, C., Clegg, R. (eds.) The Fourth International Conference on Engineering Failure Analysis, Part 1 (2011). Eng. Fail. Anal. 18(2), 590–608
Sorokos, I., Papadopoulos, Y., Bottaci, L.: Maintaining safety arguments via automatic allocation of safety requirements. In: Emmanouilidis, C., Iung, B., Macchi, M., Peres, F. (eds.) 3rd IFAC Workshop on Advanced Maintenance Engineering, Services and Technology, AMEST, Biarritz, France (2016). IFAC-PapersOnLine 49(28), 25–30
Origin Consulting (York) Limited: GSN Community Standard Version 1 (2011)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Boston (1994)
Vesely, W., Goldberg, F., Roberts, N.: Fault Tree Handbook. Nuclear Regulatory Commision, Washington, DC (1981)
Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J., Stamatelatos, M.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, Washington, DC (2002)
ARP4754-A: Guidelines for Development of Civil Aircraft and Systems. SAE Aerospace (2010)
Joshi, A., Heimdahl, M., Miller, S., Whalen, M.: Model-Based Safety Analysis. NASA Langley Research Center, Hampton (2006)
Fuqua, N.: The applicability of markov analysis methods to reliability, maintainability, and safety. In: Start, vol 10, no. 2 (2003)
Basir, N., Denney, E., Fischer, B.: Building heterogeneous safety cases for automatically generated code. In: AIAA Infotech@Aerospace Conference (2011)
Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: A method to generate reusable safety case fragments from compositional safety analysis. In: Schaefer, I., Stamelos, I. (eds.) ICSR 2015. LNCS, vol. 8919, pp. 253–268. Springer, Cham (2014). doi:10.1007/978-3-319-14130-5_18
Oliveira, A.: A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. Thesis, Instituto de Ciencias Matematicas e de Computacao (2016)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2001)
Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, pp. 110–117 (2015)
Object Management Group (OMG): Structured Assurance Case Metamodel (SACM), Version 2.0 (2016)
Azevedo, L., Parker, D., Walker, M., Esteves, A.: Assisted Assignment of Automotive Safety Requirements. IEEE Softw. 31(1), 62–68 (2014)
Acknowledgments
This work was partly funded by the DEIS H2020 project (Grant Agreement 732242).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., Sharvia, S. (2017). Model-Connected Safety Cases. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)