Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Software Engineering 2013 - Workshopband P-215, 483-492 (2013).

Gesellschaft für Informatik, Bonn
2013


Copyright © Gesellschaft für Informatik, Bonn

Contents

Opening up the verification and validation of safety-critical software

Hardi Hungar and Marc Behrens

Abstract


Smooth cross-border rail traffic is of important interest to commercial realizations of ETCS1. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be an obstacle to standardizing rail traffic, the ITEA 2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC2 as a target. The goal is to formalize the requirements in a functional model, derive, via design models, an implementation, and demonstrate how the verification and validation activities necessary for certifying a resulting product could be performed. All of this is to be done as an open-source project, employing only open-source tools. One of the main motives behind the approach is to use the potential of an open community to detect design and implementation flaws much earlier than the resource-limited inspection in a traditional development setting. This papers discusses the challenges this new approach faces from the legal requirement of adhering to the standards, mainly the EN 50128 in this case, particularly with respect to verification and validation. This comprises the interpretation and application of the standard throughout all lifecycle phases for a open-source model-based development and qualification issues for personnel and tools.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-609-1


Last changed 04.10.2013 18:39:11