12.04.15 - 17.04.15, Seminar 15162

Software and Systems Traceability for Safety-Critical Projects

Diese Seminarbeschreibung wurde vor dem Seminar auf unseren Webseiten veröffentlicht und bei der Einladung zum Seminar verwendet.

Motivation

This seminar on Software Traceability for Safety-Critical Systems will bring together researchers and industrial practitioners working in the field of dependable systems to explore the needs, challenges, and solutions for Software and Systems Traceability in this domain.

Current guidelines in many safety-critical industries prescribe traceability for two reasons. First, the presence of traceability is as an indirect measure that good practice has been followed. Second, traceability is used more directly to show that specific hazards have been explored, faults identified, and that the delivered product fully addresses them. However, the gap between traceability prescribed by guidelines and that delivered by manufacturers is significant. Our recent analysis of five representative technical guidelines (DO-178B, ISO 26262-6, ECSS-E-40, FDA Guide for Submissions) relevant to four industrial domains: automotive, aviation, medical, and space showed that while all of the projects made some attempt to satisfy the traceability guidelines, serious deficiencies were found. These included missing traceability paths, missing and redundant links, and problems in trace granularity which made it very difficult to analyze the effectiveness of the links and to use them to evaluate the safety of the product.

The seminar is designed to explore the gap between what is prescribed and what is actually delivered. Starting from a clean slate, we will clearly articulate traceability needs for safety-critical software systems. We will then identify challenges, explore practical solutions, and outline a joint industry-academic research agenda for future research and technology transfer.

This Dagstuhl Seminar is expected to produce a deep understanding of traceability needs in safety-critical systems, an analysis of why organizations fail to deliver traceability as prescribed in current guidelines, and a clear vision for solving the identified problems.

We are inviting several groups of participants to the seminar. Some will be practitioners who have first-hand knowledge of building dependable systems, while others will be experienced certifiers or approvers. We are also inviting practitioners and academics, who have experience developing tools to support safety analysis and/or traceability of dependable systems. Finally, we are inviting a representative group of researchers working on dependable systems, traceability, safety-critical product lines, or other topics related to constructing, analyzing, and validating safety-critical systems.