Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme.