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

Ciro Donnarumma, Pietro Fara, Gabriele Serra, Sandro Di Leonardi, Mauro Marinoni

Browse the full ISSRE paper archive.