EN 50128 Certified Software for Railway Applications
PikeOS recently received the first EN 50128 SIL4 certification on multi-core
Railways and trains increasingly depend on software applications with safety-critical functions. These applications have to be certified according to EN 50128 with international acknowledgement due to transnational cooperation. A modular software platform can help to reduce certification costs and speed up the process.
Certifying Railway Applications after EN 50128
Safety-critical software applications for the railway industry have to be certified after EN 50128. EN 50128 has been released in 2001 by CENELEC and is based on the IEC 61508 standard for electrical/electronic/programmable electronic equipment. EN 50128 defines safety requirements of software for railway applications (communication, signaling and processing systems), railway control and protection systems. Analogous to IEC 61508, EN 50128 distinguishes as well four Safety Integrity Level (SIL) according to the probability of failures and their potential damage. For the software components a V-model based development process is mandatory. A real-time operating system certified after DO-178B for use in safety-critical avionics applications is an ideal software platform for railway applications, too.
Micro-kernel based PikeOS Embedded Virtualization
PikeOS has been designed for use in safety-critical applications and has gone through a comprehensive validation according to safety standards like DO-178B, EN 50128, IEC 62304, IEC 61508, ISO 26262, IEC 61513 of either the avionics, automotive, railway, medical, industrial automation or nuclear power plants. Since only the micro-kernel runs in privileged mode, all of its code contributes to the trusted code base of every application that might run on top of it. The effort of certifying a program is roughly proportional to the amount of code to be examined. This comprises the code of the program itself, but also that of the run-time environment (i.e. operating system, libraries etc.) which the program relies on. Therefore, the PikeOS micro-kernel consists of less than 10.000 lines of code making certification less expensive than that of conventional monolithic real-time operating systems. Even better: PikeOS allows the combination of application of different levels of criticality on a single hardware platform where every application can be certified independently from others.
SYSGO Research Projects on Safety for Railway Software
SYSGO is partner of important research projects on safety in the fields of railway appliances:
- INTERESTED: Seamless Tool-Chain for safety-critical Applications
- JEOPARD: Real-time Java on Multi-Core CPUs
- TECOM: Trusted Embedded Computing
- ACROSS: ARTEMIS CROSS-Domain Architecture
- PROARTIS: Probabilistically Analysable Real-Time Systems
- SCARLETT: SCARLETT is a research project dedicated to the avionics with a sophisticated idea of integrated modular avionics. This model is far ahead of models in other industries and worth a look at.