Verification and Validation in the Project openETCS

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.