Abstract
[Context and motivation] Safety evidence plays an important role in gaining confidence in the safe operation of a system in a given context. For a large system, it is necessary to provide information about thousands of artefacts that might be used as evidence and about the relationships among themselves and also with other safety assurance assets. [Question/problem] Past research has only addressed some needs of traceability in safety-critical systems and thus has not provided a complete picture of safety evidence traceability. Lack of knowledge and awareness of these needs can result in poor evidence management and lead to certification risks. [Principal ideas/results] This paper aims to provide a broad overview of safety evidence traceability needs for practice and its associated challenges. We also propose a safety evidence traceability model, which has been validated with data from real-world critical systems. [Contribution] We discuss the motivation and challenges for safety evidence traceability, and present the various traces that need to be captured and maintained. This information can help researchers to shape future research based on industry needs and can help practitioners to gain a deeper understanding and a wider knowledge of safety evidence traceability, thereby facilitating safety assurance and certification.
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
Preview
Unable to display preview. Download preview PDF.
References
Nair, S., et al.: Classification, Structuring, and Assessment of Evidence For Safety: A Systematic Literature Review. In: ICST, pp. 94–103 (2013)
IEEE: IEEE Standard Glossary of Software Engineering Terminology, Std. 610.12-1990
Alexander, R., Kelly, T., Gorry, B.: Safety Lifecycle Activities for Autonomous Systems Development. In: SEAS/TR/2009/2 (2009)
Cleland-Huang, J., Heimdahl, M., Huffman Hayes, J., Lutz, R., Maeder, P.: Trace queries for safety requirements in high assurance systems. In: Regnell, B., Damian, D. (eds.) REFSQ 2011. LNCS, vol. 7195, pp. 179–193. Springer, Heidelberg (2012)
Habli, I., Kelly, T.: A model-driven approach to assuring process reliability. In: ISSRE 2008, pp. 7–16 (2008)
Nair, S., et al.: The State of the Practice on Evidence Management for Compliance with Safety Standards. Simula Research Lab. Technical Report (2013)
de la Vara, J.L., Panesar-Walawege, R.K.: SafetyMet: A metamodel for safety standards. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 69–86. Springer, Heidelberg (2013)
Cleland-Huang, J., et al.: Software and systems traceability. Springer-Verlag New York Incorporated (2012)
Nair, S., De la Vara, J.L., Sen, S.: A Review of Traceability Research at the Requirements Engineering Conference. In: RE (2013)
Torkar, R., et al.: Requirements traceability: a systematic literature review and industry case study. IJSEKE 22(3), 1–49 (2012)
Regan, G., et al.: Traceability-Why do it? In: SPICE 2012, pp. 161–172 (2012)
Regan, G., et al.: The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework. In: SEAA 2012, pp. 319–322 (2012)
Gotel, O., Cleland-Huang, J., Hayes, H., Zisman, A., Egyed, A., Grunbacher, P., Antoniol, G.: The quest for Ubiquity: A roadmap for software and systems traceability research. In: 2012 20th IEEE International Requirements Engineering Conference (RE), pp. 71–80. IEEE (2012)
Spanoudakis, G., Zisman, A.: Software traceability: a roadmap. Handbook of Software Engineering and Knowledge Engineering 3, 395–428 (2005)
Pohl, K.: Requirements engineering: fundamentals, principles, and techniques. Springer Publishing Company, Incorporated (2010)
Lee, J.S., et al.: Means-ends and whole-part traceability analysis of safety requirements. Journal of Systems and Software 83, 1612–1621 (2010)
Mason, P.A.J., Saeed, A., Riddle, S.: On the role of traceability for standards compliance: Tracking requirements to code. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 303–316. Springer, Heidelberg (2003)
Ridderhof, W., Gross, H.-G., Doerr, H.: Establishing evidence for safety cases in automotive systems–A case study. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 1–13. Springer, Heidelberg (2007)
Nejati, S., et al.: A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Information and Software Technology 54, 569–590 (2012)
Katta, V., Stalhane, T.: A conceptual model of traceability for safety systems. In: CSDM-Poster Presentation (2010)
Zoughbi, G., Briand, L., Labiche, Y.: Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Software & Systems Modeling 10, 337–367 (2011)
Born, M., et al.: Application of ISO DIS 26262 in practice. In: CARS 2010, pp. 3–6 (2010)
Graydon, P., Habli, I., Hawkins, R., Kelly, T., Knight, J.: Arguing Conformance. IEEE Software 29, 50–57 (2012)
OMG: Structured Assurance Case Metamodel (SACM) (2013)
Panesar-Walawege, R.K., et al.: Supporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation. Information and Software Technology 55(5), 836–864 (2012)
Sun, L., Kelly, T.: Elaborating the Concept of Evidence in Safety Cases. In: SCSC 2013 (2013)
RTCA: DO-178C - Software Considerations in Airborne Systems and Equipment (2012)
De la Vara, J.L., et al.: Towards a model-based evolutionary chain of evidence for compliance with safety standards. In: SAFECOMP 2012 Workshops, pp. 64–78 (2012)
Oxford Dictionaries (online), http://oxforddictionaries.com
Olivé, A.: Conceptual Modeling of Information Systems. Springer (2007)
ISO: International Standard Road vehicles - Functional safety - ISO/DIS 26262 (2011)
CENELEC: Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems - EN 50128 (2011)
Leveson, N.: The Use of Safety Cases in Certification and Regulation. Journal of System Safety 47 (2011)
OPENCOSS: D1.2 – Use case description and business impact (2012)
Gorschek, T., et al.: A model for technology transfer in practice. IEEE Software 23, 88–95 (2006)
Gotel, O., et al.: The quest for Ubiquity: A roadmap for software and systems traceability research. In: RE 2012, pp. 71–80 (2012)
Mäder, P., Jones, P., Zhang, Y., Cleland-Huang, J.: Strategic Traceability for Safety-Critical Projects. IEEE Software 30(3), 58–66 (2013)
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
Nair, S., de la Vara, J.L., Melzi, A., Tagliaferri, G., de-la-Beaujardiere, L., Belmonte, F. (2014). Safety Evidence Traceability: Problem Analysis and Model. In: Salinesi, C., van de Weerd, I. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2014. Lecture Notes in Computer Science, vol 8396. Springer, Cham. https://doi.org/10.1007/978-3-319-05843-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-05843-6_23
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05842-9
Online ISBN: 978-3-319-05843-6
eBook Packages: Computer ScienceComputer Science (R0)