Europese partners willen EAL7-waardige software met PikeOS

De Open Universiteit en de universiteit Gent participeren in een onlangs gestart Europees project voor missiekritieke software. Het drie jaar durende Euro-Mils-project beoogt een Mils-platform (Multiple Independent Levels of Security) met EAL7-notering, het allerhoogste beveiligingsniveau volgens de Common Criteria. Daarvoor wil het consortium PikeOS inzetten als hypervisor en via formele methoden bewijzen dat dit zich precies zo gedraagt als gespecificeerd. Het totale projectbudget hiervoor bedraag 8,5 miljoen euro.

In de Mils-aanpak worden softwarecomponenten strikt van elkaar gescheiden en kunnen alleen via goed gecontroleerde berichtgeving met elkaar communiceren. Dit wordt in toenemende mate belangrijker vanwege de trends om steeds meer software op een enkele processor onder te brengen en de aansturing te verbinden met consumentenelektronica of te baseren op technologie die hiervan afkomstig is.

Sysgo, de ontwikkelaar van PikeOS en zijn nieuwe eigenaar Thales, zijn bij Euro-Mils betrokken. Binnen het project worden de case voor vliegtuigsoftware en voor automotive toepassingen uitgewerkt. Hiervoor partneren respectievelijk Airbus met moederbedrijf EADS, en het Duitse Opensynergy mee. Verdere partners zijn uit Duitsland T-Systems en het Onderzoekscentrum voor Kunstmatige Intelligentie, het Oostenrijkse onderzoeksinstituut Technikon, het Franse onderzoeksinstituut Jemm en de universiteit van Paris-Sud.