2015/11/03 by Johannes Feuser, Feuser, Johannes, Jan Peleška +1
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Real-Time Systems Scheduling
paper · doi:10.14279/tuj.eceasst.33.451
openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
Using the openETCS initiative as a starting point, we describe how open software can be applied in combination with platform-specific, potentially closed source extensions, in the development, verification, validation and certification of safety-critical railway control systems. We analyse the safety and security threats presented by this approach and discuss conventional operating system partitioning mechanisms, as well as virtualisation methods with respect to their potential to overcome these problems. Furthermore, we advocate a shift from open source to open models, in order to increase the development efficiency of combined open and proprietary solutions.