EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel

The growing complexity and the need for high safety standards in railways infrastructures are pushing the infrastructure operators toward the adoption of newer solutions able to exploit modern platforms and state-of-The-Art software solutions while guaranteeing safety and timing constraints, and maintaining the compliance with the standards. This paper presents the design guidelines of a novel real-Time kernel whose development is based on the Italian use case, highlighting its focus on adherence to the standards.