elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Opening up the Verification and Validation of Safety-Critical Software

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

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/80719/
Dokumentart:Konferenzbeitrag (Paper)
Titel:Opening up the Verification and Validation of Safety-Critical Software
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Hungar, HardiDLRNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Behrens, MarcDLRNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2013
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Name der Reihe:LNI
Status:akzeptierter Beitrag
Stichwörter:Development methodology, safety-critical railway systems
Veranstaltungstitel:ZeMoSS - Zertifizierung und modellgetriebene Entwicklung sicherer Software
Veranstaltungsort:Aachen
Veranstaltungsart:Workshop
Veranstaltungsdatum:27 Februar 2013
Veranstalter :GI
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Verkehrsmanagement (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V VM - Verkehrsmanagement
DLR - Teilgebiet (Projekt, Vorhaben):V - Projekt Next Generation Railway System (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Bahnsysteme
Hinterlegt von: Hungar, PD Dr. Hardi
Hinterlegt am:18 Jan 2013 18:11
Letzte Änderung:24 Apr 2024 19:47

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.