Presentation title

BUGSENG and University of Parma

Authors

Roberto Bagnara

Institution(s)

BUGSENG and University of Parma

Presentation type

Presentation of a research group from one or more scientific institutions

Abstract

Modern software development processes are strongly based on the use of tools, whether or not the developed software has safety or security requirements. DO-178C, EN 50128, ISO 26262 and other functional safety standards, require the tool users to provide proper justification for the use of a tool in the development of safety-related systems. Such justification must be based on the confidence that the tool works according to its specification for the project-specific use cases and operational environments. In this talk, we will introduce the tool qualification process as defined by the main functional-safety standards. We will cover planning tool usage, evaluation of the required confidence/qualification level, the identification and execution of qualification methods, documentation and review activities. We will focus on the qualification of compilers and verification tools by validation. For the case of verification tools, we will illustrate the most important (and, often, misunderstood) requirements qualification imposes on the development of the tools and of the associated qualification kits.

---

Additional material

• Presentation slides: [pdf]

For more details on this presentation please click the button below: