Wiskunde voor veilig vliegen
De veiligheid van vliegtuigen en auto’s moet optimaal zijn en daarmee ook de beveiliging van de aanwezige software. Zonder goede beveiliging bestaat bijvoorbeeld het gevaar dat het entertainment systeem op een vliegtuigstoel invloed heeft op het besturingssysteem van een vliegtuig. Geen goede beveiliging betekent dus gevaar van interferentie tussen deze twee systemen.
Informatiestromen niet in de knel
Het project EURO-MILS moet er voor zorgen dat de software in Europese vliegtuigen tot het hoogst mogelijke niveau wordt beveiligd. De primaire rol van de OU is om het formele wiskundige bewijs te leveren dat dat architectuur van de software PikeOS aan alle beveiligingseisen voldoet. Dr. Julian Schmaltz, universitair docent aan de faculteit Informatica gaat daar mee aan de slag.
“PikeOS is een zogenaamde ‘separation kernel’. Dit is een stuk software dat ervoor zorgt dat kritieke informatie, zoals die zit in het besturingssysteem van een vliegtuig, niet wordt beïnvloed door niet-kritieke informatie, die bijvoorbeeld in het geluidssysteem in je vliegtuigstoel zit”, legt Schmaltz uit. “Die software zorgt er dus voor dat elk domein een apart domein is en dat ze niet met elkaar kunnen interfereren. En de OU onderzoekt of wiskundig bewezen kan worden dat PikeOS aan de hoogste beveiligingseisen voldoet.”
Hoogste beveiligingsniveau
Het door de EU gefinancierde project EURO-MILS heeft tot doelstelling de vliegtuigsoftware tot het hoogste niveau 7 te beveiligen. De methode die wordt gebruikt om het beveiligingsniveau te verkrijgen wordt publiek beschikbaar.
Overige projectpartners zijn onderzoeksinstituten, zoals het Duitse onderzoeksinstituut voor kunstmatige intelligentie DFKI en Technikon Forschungs- und Planungsgesellschaft mbH in Oostenrijk, maar ook bedrijven zoals het European Aeronautic Defence and Space Company EADS, Thales Communications and Security, SYSGO, en Airbus Operations.
Meest Gelezen
‘Compensatoir toetsen komt kwaliteit hoger onderwijs wél ten goede’
Wet leeruitkomsten: Doorgeschoten individualisering of broodnodige keuzevrijheid?
‘Juist bij flexibiliteit heeft student behoefte aan structuur’
Minister: “Verengelsing ondermijnt de toegankelijkheid van universiteiten”
Kamer zet voorlopig streep door volgende ronde Groeifonds