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

Verification and Validation in the Project openETCS

Hungar, Hardi (2016) Verification and Validation in the Project openETCS. Modellbasierte Entwicklung Eingebetteter Systeme MBEES2016, 2016-03-31 - 2016-04-01, Dagstuhl, Deutschland. (nicht veröffentlicht)

[img] PDF - Nur DLR-intern zugänglich
1MB

Kurzfassung

The project openETCS (2012-2015) was concerned with developing a reference implementation of software for the European Vital Computer - the onboard unit of the European Train Control System (ETCS). As a maxim, it should as best as possible emply the principles of open proof: That is, formats of desgn artefacts should be open, tools be freely available, and verification and validation exact and reproducible. So that everything could be checked and even improved by thrid parties. The talk delineates the development - the process, methods and artifacts. With more detail, it shows the different V&V activities which have been performed. As a conclusion, it summarizes what has been achieved and what has been left missing, and what could be improved drawing on the experiences from the project.

elib-URL des Eintrags:https://elib.dlr.de/107881/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Verification and Validation in the Project openETCS
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Hungar, HardidlrNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:31 März 2016
Referierte Publikation:Nein
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Status:nicht veröffentlicht
Stichwörter:ETCS, model-based development, European Vital Computer, openETCS
Veranstaltungstitel:Modellbasierte Entwicklung Eingebetteter Systeme MBEES2016
Veranstaltungsort:Dagstuhl, Deutschland
Veranstaltungsart:Workshop
Veranstaltungsbeginn:31 März 2016
Veranstaltungsende:1 April 2016
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 - Next Generation Railway Systems III (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik
Hinterlegt von: Hungar, PD Dr. Hardi
Hinterlegt am:19 Dez 2016 09:25
Letzte Änderung:24 Apr 2024 20:12

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.