About / Advertise
Amerikanska Green Hills Software vill bli först att certifiera en mikrokärna till nivå 6 på den 7-gradiga EAL-skalan. Skalan anger hur noggrannt man har verifierat att programvara verkligen uppfyller sin specifikation.
Green Hills leverererar operativsystem som passar bra för den som vill skapa progamvara vars funktion är systematiskt verifierad. Konkurrenter är bland annat Sysgo, Lynuxworks, QNX och Micrium.Nu hoppas Green Hills bli först med att certifiera sin operativsystemskärna till EAL nivå 6+. ISO-standarden EAL (Evaluation Assurance Level) är en betygsskala mellan 1 och 7, där 7 ställer de största kraven på testning och verifiering av programvaran.
Plustecknet i ”6+” har ingen väldefinerad betydelse utöver att Green Hills verifiering kommer att gå utöver EAL 6.
Flygplan får inte störta och därför certifieras deras styrprogram. Medicinska system, styrsystem i fordon och industri är andra tillämpningar som kräver verifierad programvara. Drivkraften har varit att rädda liv och nationell säkerhet.
Men nu kommer pengar som det nya stora incitamentet.
- Säg att du levererar en bil med dvd-spelare, och systemet slutar fungera. Och säg att du får återkalla alla bilar för att fixa problemet. Det kan bli en mycket kostsam historia, säger David Kleidermacher, utvecklingschef på Green Hills Software.
- Eller ta en mobiltelefon som ska användas för att göra bankaffärer - det behöver vara ett system som är absolut säkert mot hackare.
- Jag har hört folk säga på blodigt allvar, att de känner till EAL 7 och att de tycker att den kanske kan vara ok för stater. Men att vi nu snackar om folks pengar.
