Open Universiteit sleutelt aan veilige vliegtuigsoftware

De OU gaat nu op zoek naar een formele wiskundige bewijsvoering die kan aantonen dat vliegtuigsoftware-systeem PikeOS een dergelijke scheiding van prioriteiten inderdaad te allen tijde zeker zal stellen. De OU claimt dat het de eerste keer in Europa is dat wordt geprobeerd om vliegtuigsoftware tot het hoogst mogelijke niveau beveiligd te krijgen.

Wiskundig bewezen veilig

"PikeOS is een zogenaamde ‘separation kernel’. Dat 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. 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" legt universitair docent Julien Schmaltz van de faculteit Informatica van OU uit.

Ook coördineert de OU het werk van de projectpartners, waar onder 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.