• Corpus ID: 27739888

Qualifying Software Tools According to ISO 26262

@inproceedings{Conrad2010QualifyingST,
  title={Qualifying Software Tools According to ISO 26262},
  author={Mirko Conrad and Patrick Munier and Frank Rauch},
  booktitle={MBEES},
  year={2010}
}
The growing adoption of safety standards in the automotive industry results in an increasing interest in as well as an increasing uncertainty about software tool certification and qualification. With ISO 26262 on the horizon, new tool qualification requirements need to be understood and implemented by automotive software practitioners. This paper summarizes the tool qualification approach of ISO/DIS 26262 and contrasts it with tool certification and qualification requirements outlined in other… 

Figures from this paper

Software Tool Qualification According to ISO 26262

This paper describes the tool classification and qualification approach of ISO/FDIS 26262 and summarizes the authors’ firsthand experiences with implementing this approach for development and verification tools.

Software Tool Qualification According to ISO 26262 2011-01-1005 Published 04 / 12 / 2011

This paper describes the tool classification and qualification approach of ISO/FDIS 26262 and summarizes the authors’ firsthand experiences with implementing this approach for development and verification tools.

Software Tool Qualification According to ISO 26262 An Experience Report

The tool qualification approach of ISO/DIS 26262 is summarized and the author’s first-hand experiences with qualifying development and verification tools according to this emerging standard are discussed.

Qualifying Software Tools, a Systems Approach

This paper defines nine safety goals for tool chains and suggests a qualification method that takes a systems approach on certifying software tools as parts of tool chains, intended to achieve a stronger focus on the relevant parts oftool chains in regard to safety.

Establishing Confidence in the Usage of Software Tools in Context of ISO 26262

A systematic methodology to establish confidence in the usage of software tools based on a multi-layered analysis that systematically identifies the risk of tool-introduced errors and error detection failures and allows for the derivation of the tool confidence level (TCL).

The future of software tool chain safety qualification

Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components,

A case study in which a team has successfully worked with traceability and testability of functional safety requirements, as well as safety requirements assigned to a testing tool that automates integration and verification steps, leading to standard-compliant tool qualification.

Towards the Automated Qualification of Tool Chain Design

This paper proposes the use of a modeling language to describe this tool chain composition that promises to reduce the effort and cost of later steps in the deployment of the tool chain by formalizing the communication of safety issues and automating the generation of code for tool chain software.

Consistency checking of safety arguments in the Goal Structuring Notation standard

  • Adrian GrozaNicoleta Marc
  • Computer Science
    2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP)
  • 2014
This paper proposes a tool that facilitates the construction and automatic assessment of safety cases, and supports the Goal Structuring Notation (GSN) standard for creation of safety arguments.

References

SHOWING 1-10 OF 28 REFERENCES

A Verification and Validation Workflow for IEC 61508 Applications

A verification and validation workflow for developing in-vehicle software components that need to meet IEC 61508 using Model-Based Design is discussed.

Certification of software for real-time safety-critical systems: state of the art

The role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain is discussed and certification issues as related to real-time operating systems and programming languages are reviewed.

SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION

In this article, reuse is defined simply as using previously existing software artifacts as part of the process of creating software systems from predefined software components.

IEC 61508 Certification of a Code Generator

This paper describes the certification of the ASCET code generator to a safety standard, the IEC 61508, and the underlying idea of the standard is explained and the motivation for a certification is highlighted.

Testing-based translation validation of generated code in the context of IEC 61508

  • M. Conrad
  • Computer Science
    Formal Methods Syst. Des.
  • 2009
A workflow for verification and validation of models and generated code will be proposed and as far as possible mapped onto the objectives of IEC 61508-3, with a cornerstone of this workflow testing for numerical equivalence between models andgenerated code.

Qualitaetssicherung und Zertifizierung beim Softwareentwurf sicherheitskritischer Kfz-Steuergeraete mit X-By-Wire-Technologie / Quality assurance and software certification in respect to software construction of safety critical x-by-wire systems

Im Rahmen eines laufenden Forschungsprojektes mit Partnern aus der Automobilindustrie und akkreditierten Zertifizierungsorganen wird eine Methodik erarbeitet, die eine Qualifikation und

Using Simulink® and Real-Time Workshop® Embedded Coder for IEC 61508

  • Applications. White Paper, Safety Users Group,
  • 2007