Abstract
Modern safety standards designed to ensure safety in embedded system products often take a descriptive approach, focusing on describing appropriate requirements on management, processes, methods and environments during development. While the qualification of software tools has been included in several such standards, how to handle the safety implications of tools integrated into tool chains has been largely ignored. This problem is aggravated by an increase both in automation of tool integration and the size of development environments.
In this paper we define nine safety goals for tool chains and suggest a qualification method that takes a systems approach on certifying software tools as parts of tool chains. With this method, software tools are developed and pre-qualified under the assumption that certain properties will be supported by the development environment they are to be deployed in. The proposed method is intended to (1) achieve a stronger focus on the relevant parts of tool chains in regard to safety and (2) separate the extra effort these parts imply from the effort already stipulated by safety standards.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Conrad, et al.: Qualifying software tools according to ISO 26262. In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VI, pp. 117–128 (2010)
Checkland, P.: Systems Thinking, Systems Practice. John Wiley & Sons Ltd. (1985)
BS/IEC 61508:2010, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, International Electrotechnical Commission Std.
BS/IEC 61511:2003, Functional safety - Safety instrumented systems for the process industry sector, International Electrotechnical Commission Std.
ISO 26262:2011, Road vehicles - Functional safety, International Organization for Standardization Std. (2011)
BS/EN 50128:2001, Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems, CENELEC, European Committee for Electrotechnical Standardization Std. (2001)
DO-178C, Software Considerations in Airborne Systems and Equipment Certification, Special Committee 205 of RTCA, Inc. Std. (2011)
Kornecki, et al.: Certification of software for real-time safety-critical systems: state of the art. Innovations in Systems and Software Engineering 5, 149–161 (2009)
Gönczy, et al.: Tool support for engineering certifiable software. Electronic Notes in Theoretical Computer Science 238, 79–85 (2009)
Certification Specifications for Very Light Rotorcraft, CS-VLR, European Aviation Safety Agency Std. (2008)
Hamann, et al.: ISO 26262 release just ahead - remaining problems and proposals for solutions. In: SAE 2011 World Congress & Exhibition (April 2011)
Leveson, N.: Engineering a Safer World, Systems Thinking Applied to Safety (Draft). MIT Press (2011)
Ahl, et al.: Hierarchy Theory, A Vision, Vocabulary, and Epistemology. Columbia University Press (1996)
Asplund, et al.: Tool integration, from tool to tool chain with ISO 26262. In: SAE 2012 World Congress & Exhibition (2012)
Asplund, F.: Safety and tool integration, a system-theoretic process analysis. KTH Royal Institute of Technlogy, Tech. Rep. (2012)
Asplund, F., Biehl, M., El-Khoury, J., Törngren, M.: Tool Integration beyond Wasserman. In: Salinesi, C., Pastor, O. (eds.) CAiSE Workshops 2011. LNBIP, vol. 83, pp. 270–281. Springer, Heidelberg (2011)
Black, J.A.: System safety as an emergent property in composite systems. Ph.D. dissertation, Carnegie Mellon University, Carnegie Institute of Technology (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asplund, F., El-khoury, J., Törngren, M. (2012). Qualifying Software Tools, a Systems Approach. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33678-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-33678-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33677-5
Online ISBN: 978-3-642-33678-2
eBook Packages: Computer ScienceComputer Science (R0)