Advertisement

Qualifying Software Tools, a Systems Approach

  • Fredrik Asplund
  • Jad El-khoury
  • Martin Törngren
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7612)

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.

Keywords

Certification Safety Tool Integration 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Conrad, et al.: Qualifying software tools according to ISO 26262. In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VI, pp. 117–128 (2010)Google Scholar
  2. 2.
    Checkland, P.: Systems Thinking, Systems Practice. John Wiley & Sons Ltd. (1985)Google Scholar
  3. 3.
    BS/IEC 61508:2010, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, International Electrotechnical Commission Std.Google Scholar
  4. 4.
    BS/IEC 61511:2003, Functional safety - Safety instrumented systems for the process industry sector, International Electrotechnical Commission Std.Google Scholar
  5. 5.
    ISO 26262:2011, Road vehicles - Functional safety, International Organization for Standardization Std. (2011)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    DO-178C, Software Considerations in Airborne Systems and Equipment Certification, Special Committee 205 of RTCA, Inc. Std. (2011)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Gönczy, et al.: Tool support for engineering certifiable software. Electronic Notes in Theoretical Computer Science 238, 79–85 (2009)CrossRefGoogle Scholar
  10. 10.
    Certification Specifications for Very Light Rotorcraft, CS-VLR, European Aviation Safety Agency Std. (2008)Google Scholar
  11. 11.
    Hamann, et al.: ISO 26262 release just ahead - remaining problems and proposals for solutions. In: SAE 2011 World Congress & Exhibition (April 2011)Google Scholar
  12. 12.
    Leveson, N.: Engineering a Safer World, Systems Thinking Applied to Safety (Draft). MIT Press (2011)Google Scholar
  13. 13.
    Ahl, et al.: Hierarchy Theory, A Vision, Vocabulary, and Epistemology. Columbia University Press (1996)Google Scholar
  14. 14.
    Asplund, et al.: Tool integration, from tool to tool chain with ISO 26262. In: SAE 2012 World Congress & Exhibition (2012)Google Scholar
  15. 15.
    Asplund, F.: Safety and tool integration, a system-theoretic process analysis. KTH Royal Institute of Technlogy, Tech. Rep. (2012)Google Scholar
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    Black, J.A.: System safety as an emergent property in composite systems. Ph.D. dissertation, Carnegie Mellon University, Carnegie Institute of Technology (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Fredrik Asplund
    • 1
  • Jad El-khoury
    • 1
  • Martin Törngren
    • 1
  1. 1.Department of Machine Design, Division of MechatronicsKTH Royal Institute of TechnologyStockholmSweden

Personalised recommendations