elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Opening up the Verification and Validation of Safety-Critical Software

Hungar, Hardi and Behrens, Marc (2013) Opening up the Verification and Validation of Safety-Critical Software. ZeMoSS - Zertifizierung und modellgetriebene Entwicklung sicherer Software, 27.02.2013, Aachen.

Full text not available from this repository.

Abstract

Commercial realizations of ETCS have not yet fulfilled the expectation of enabling smooth cross-border rail traffic. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be partly causing these problems, the ITEA~2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC as a case study. 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 the result 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 better than the 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 of the standard for a model-based development and qualification issues for personnel and tools.

Item URL in elib:https://elib.dlr.de/80719/
Document Type:Conference or Workshop Item (Paper)
Title:Opening up the Verification and Validation of Safety-Critical Software
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Hungar, HardiDLRUNSPECIFIED
Behrens, MarcDLRUNSPECIFIED
Date:2013
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Series Name:LNI
Status:Accepted
Keywords:Development methodology, safety-critical railway systems
Event Title:ZeMoSS - Zertifizierung und modellgetriebene Entwicklung sicherer Software
Event Location:Aachen
Event Type:Workshop
Event Dates:27.02.2013
Organizer:GI
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Traffic Management (old)
DLR - Research area:Transport
DLR - Program:V VM - Verkehrsmanagement
DLR - Research theme (Project):V - Projekt Next Generation Railway System (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Railway System
Deposited By: Hungar, PD Dr. Hardi
Deposited On:18 Jan 2013 18:11
Last Modified:21 Feb 2013 15:59

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.