Tell a friend
Print
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]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
1MB |
Abstract
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 | ||||||
| Authors: |
| ||||||
| Date: | 31 March 2016 | ||||||
| Refereed publication: | No | ||||||
| Open Access: | No | ||||||
| Gold Open Access: | No | ||||||
| In SCOPUS: | No | ||||||
| In ISI Web of Science: | No | ||||||
| Status: | Unpublished | ||||||
| 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
