Android

Europa Fonder Säkert Operativsystem Forskning

Swedbank Robur Fonder - Ny Teknik

Swedbank Robur Fonder - Ny Teknik
Anonim

Ett holländskt universitet har landat en europeisk Forskningsrådet beviljar att fortsätta arbetet med ett operativsystem av Unix-typ som syftar till att vara mer tillförlitligt och säkert än Linux eller Microsoft Windows.

Bidraget på 2,5 miljoner US-dollar kommer att finansiera tre forskare och två programmerare, säger Andrew S. Tanenbaum, datavetenskapsprofessor vid Vrije Universiteit i Nederländerna.

Tanenbaum utvecklade Minix, ett operativsystem baserat något på Unix som har en liten kodbas och implementerar starka säkerhetsregler.

[Ytterligare läsning: Hur man ta bort skadlig kod från din Windows-dator]

Det senaste bidraget tillåter ytterligare forskning om hur operativsystemet kan fixa sig när ett fel upptäcks, vilket gör att datorer kan vara mer tillförlitliga, säger Tanenbaum.

"Det irriterar mig att inte sluta när programvara inte fungerar," sa Tanenbaum. "Att behöva starta om datorn är bara en smärta. Frågan är:" Kan du göra ett system som verkligen fungerar bra? ""

Programvaruproblem kommer aldrig att elimineras, skrev Tanenbaum i projektförslaget. Men operativsystem som Windows och Linux är utformade på ett sätt som gör dem mindre tillförlitliga än de kunde vara, sade han.

Exempelvis måste drivrutiner för funktioner som ljud och andra kringliggande komponenter installeras i operativsystemets kärna, eller datorns kärnkod. Om något går fel, hänger det vanligtvis maskinen.

Minix är dock konstruerad så att drivrutiner fungerar som applikationer utanför kärnan, vilket innebär att om de kraschar, kommer datorn fortsätta, sa Tanenbaum. Konceptet kallas en "mikrokärna" snarare än motsatsen, en monolitisk kärna.

I Tanenbaums modell kommer andra komponenter i operativsystemet att fungera i tätt begränsade moduler som inte kan störa varandra om de misslyckas. Det förbättrar också den övergripande säkerheten.

Ett säkrare operativsystem ger också mjukvaruleverantörer större ansvar för programvarans sårbarheter. Förväntningarna på mjukvaran är mycket lägre än för andra industrier, där ett komponentfel som ett däck för fordon leder till återkallelser och lagpaket, säger Tanenbaum.

Men det ansvaret kan lättare tilldelas om programvaran är mindre komplex och mer stabilt, sa han.

"Vi vill göra mjukvara som är väldigt mycket tillförlitlig", säger Tanenbaum.

Medfinansieringen gör att Minix-forskningen kan fortsätta i fem år.