Download now Free registration required
Using the openETCS initiative as a starting point, the authors 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. They analyze 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, they advocate a shift from open source to open models, in order to increase the development efficiency of combined open and proprietary solutions.
- Format: PDF
- Size: 176.77 KB