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

Verification and Validation in the Project openETCS

Hungar, Hardi (2016) Verification and Validation in the Project openETCS. Modellbasierte Entwicklung Eingebetteter Systeme MBEES2016, 31. Mär. - 01. Apr. 2016, Dagstuhl, Deutschland. (Unpublished)

[img] PDF - Only accessible within DLR


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.

Item URL in elib:https://elib.dlr.de/107881/
Document Type:Conference or Workshop Item (Speech)
Title:Verification and Validation in the Project openETCS
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Hungar, HardidlrUNSPECIFIED
Date:31 March 2016
Refereed publication:No
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:ETCS, model-based development, European Vital Computer, openETCS
Event Title:Modellbasierte Entwicklung Eingebetteter Systeme MBEES2016
Event Location:Dagstuhl, Deutschland
Event Type:Workshop
Event Dates:31. Mär. - 01. Apr. 2016
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 - Next Generation Railway Systems III (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems
Deposited By: Hungar, PD Dr. Hardi
Deposited On:19 Dec 2016 09:25
Last Modified:19 Dec 2016 09:25

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.