Europe Funds Secure Operating System Research

Et nederlandsk universitet har landet en europeisk Forskningsråd gir til å fortsette arbeidet med et Unix-operativsystem som har til hensikt å være mer pålitelig og sikker enn Linux eller Microsoft Windows.

Bidraget på 2,5 millioner euro (3,3 millioner dollar) skal finansiere tre forskere og to programmerere, sa Andrew S. Tanenbaum, en datavitenskapelig professor ved Vrije Universiteit i Nederland.

Tanenbaum utviklet Minix, et operativsystem basert noe på Unix som har en liten kodebase og implementerer sterke sikkerhetskontroller.

[Videre lesing: Hvordan fjern malware fra din Windows-PC]

Det siste tilskuddet vil tillate videre forskning i å gjøre operativsystemet i stand til å fikse seg selv når det oppdages en feil, slik at datamaskiner kan være mer pålitelige, sier Tanenbaum.

"Det irriterer meg til ingen slutt når programvaren ikke fungerer," sa Tanenbaum. "Å måtte starte datamaskinen på nytt, er bare en smerte. Spørsmålet er" Kan du lage et system som egentlig fungerer veldig bra? ""

Programvarebugs vil aldri bli eliminert, skrev Tanenbaum i prosjektforslaget. Men operativsystem som Windows og Linux er utformet på en måte som gjør dem mindre pålitelige enn de kunne være, sa han.

For eksempel må drivere for funksjoner som lyd og andre perifere komponenter installeres inne i operativsystemets kjernen, eller datamaskinens kjernekode. Hvis noe går galt, henger det vanligvis på maskinen.

Minix er imidlertid designet slik at drivere fungerer som programmer utenfor kjerne, noe som betyr at hvis de krasjer, fortsetter datamaskinen, sier Tanenbaum. Konseptet kalles en "mikrokjern" i stedet for sin motsatte, en monolitisk kjerne.

I Tanenbaums modell vil andre komponenter i operativsystemet fungere i tett begrensede moduler som ikke kan forstyrre hverandre dersom de feiler. Det forbedrer også den generelle sikkerheten.

Et sikrere operativsystem gir også programvareleverandører mer ansvar for programvareproblemer. Forventningene til programvare er mye lavere enn for andre næringer, hvor en komponentsvikt som et kjøretøydekk fører til tilbakekallinger og lovpakker, sier Tanenbaum.

Men dette ansvaret kunne tildeles lettere hvis programvaren er mindre kompleks og mer stabilt, sa han.

"Vi vil lage programvare som er veldig, veldig pålitelig," sier Tanenbaum.

Finansieringen vil tillate at Minix-forskningen fortsetter i fem år.