Abstract
Composable safety certification envisions reuse of safety case argument-fragments together with safety-relevant components in order to reduce the cost and time needed to achieve certification. The argument-fragments could cover safety aspects relevant for different contexts in which the component can be used. Creating argument-fragments for the out-of-context components is time-consuming and currently no satisfying approach exists to facilitate their automatic generation. In this paper we propose an approach based on (semi-)automatic generation of argument-fragments from assumption/guarantee safety contracts. We use the contracts to capture the safety claims related to the component, including supporting evidence. We provide an overview of the argument-fragment architecture and rules for automatic generation, including their application in an illustrative example. The proposed approach enables safety engineers to focus on increasing the confidence in the knowledge about the system, rather than documenting a safety case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CHESS-toolset: http://www.chess-project.org/page/download
GSN Community Standard Version 1. Technical report, Origin Consulting (York) Limited (November 2011)
Armengaud, E.: Automated safety case compilation for product-based argumentation. In: Embedded Real Time Software and Systems (ERTS) (February 2014)
Bate, I., Conmy, P.: Assuring Safety for Component Based Software Engineering. In: 15th IEEE International Symposium on High Assurance Systems Engineering (HASE) (January 2014)
Bate, I., Hansson, H., Punnekkat, S.: Better, faster, cheaper, and safer too - is this really possible? In: 17th IEEE Int’l Conf. on Emerging Technologies for Factory Automation (ETFA). IEEE (September 2012)
Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008)
Carlson, J., et al.: Generic component meta-mode, Version 1.0 SafeCer, Deliverable D132 (November 2013)
Dardar, R.: Building a Safety Case in Compliance with ISO 26262 for Fuel Level Estimation and Display System. Master’s thesis, Mälardalen University, School of Innovation, Design and Engineering, Västerås, Sweden (2014)
Denney, E., Pai, G.: A lightweight methodology for safety case assembly. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 1–12. Springer, Heidelberg (2012)
Fenn, J.L., Hawkins, R.D., Williams, P., Kelly, T.P., Banner, M.G., Oakshott, Y.: The who, where, how, why and when of modular and incremental certification. In: 2nd International Conference on System Safety (ICSS). IET (2007)
Greenwell, W.S., Knight, J.C., Holloway, C.M., Pease, J.J.: A taxonomy of fallacies in system safety arguments. In: 24th International System Safety Conference, ISSC (2006)
ISO 26262-10. Road vehicles — Functional safety — Part 10: Guideline on ISO 26262. International Organization for Standardization (2011)
Rushby, J.: Logic and epistemology in safety cases. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 1–7. Springer, Heidelberg (2013)
Sljivo, I., Carlson, J., Gallina, B., Hansson, H.: Fostering Reuse within Safety-critical Component-based Systems through Fine-grained Contracts. In: International Workshop on Critical Software Component Reusability and Certification across Domains (CSC) (June 2013)
Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Strong and weak contract formalism for third-party component reuse. In: IEEE 3rd International Workshop on Software Certification (WoSoCer) (November 2013)
Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)
Zimmer, B., Bürklen, S., Knoop, M., Höfflinger, J., Trapp, M.: Vertical safety interfaces–improving the efficiency of modular certification. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 29–42. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sljivo, I., Gallina, B., Carlson, J., Hansson, H. (2014). Generation of Safety Case Argument-Fragments from Safety Contracts. In: Bondavalli, A., Di Giandomenico, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8666. Springer, Cham. https://doi.org/10.1007/978-3-319-10506-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-10506-2_12
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10505-5
Online ISBN: 978-3-319-10506-2
eBook Packages: Computer ScienceComputer Science (R0)