Europe Funds Secure Operating System Research

Tutkimusneuvoston avustus jatkaa Unix-tyyppisen käyttöjärjestelmän kehittämistä, jonka tavoitteena on olla luotettavampi ja turvallisempi kuin Linuxissa tai Microsoft Windowsissa.

2,5 miljoonan (3,3 miljoonan dollarin) avustus rahoittaa kolmesta tutkijasta ja kahdesta ohjelmoijasta, sanoi Andrew

Tanenbaum kehitti Minix-järjestelmää, jonkin verran perustuvaa Unix-järjestelmään perustuvaa käyttöjärjestelmää, jolla on pieni koodipohja ja joka toteuttaa voimakkaita turvavalvontatoimia.

[Lue lisää: poista haittaohjelmat Windows-tietokoneelta]

Uusin apuraha mahdollistaa lisätutkimuksen siitä, että käyttöjärjestelmä pystyy korjaamaan itsensä, kun vika havaitaan, mikä tekee tietokoneista luotettavamman, Tanenbaum sanoi.

"Se ärsyttää minua loppuun, kun ohjelmisto ei toimi", Tanenbaum sanoi. "Tietokoneen käynnistäminen on vain kipu. Kysymys kuuluu:" Voitteko tehdä järjestelmää, joka todella toimii hyvin? ""

Ohjelmistovirheitä ei koskaan poisteta, Tanenbaum kirjoitti projektisuosituksessaan. Mutta käyttöjärjestelmä, kuten Windows ja Linux, on suunniteltu siten, että ne ovat vähemmän luotettavia kuin he voivat. "

Esimerkiksi käyttöjärjestelmien ytimeen asennetaan ajureita, kuten äänen ja muiden oheislaitteiden, tai tietokoneen ydinkoodia. Jos jokin menee pieleen, se yleensä kytkee laitteen päälle.

Minix on kuitenkin suunniteltu siten, että ohjaimet toimivat kuin sovellukset ydinosan ulkopuolella, mikä tarkoittaa, että jos ne kaatuvat, tietokone jatkaa, Tanenbaum sanoi. Konseptia kutsutaan "mikrokerneliksi" sen sijaan, että sen vastakohta olisi monoliittinen ydin.

Tanenbaumin mallissa muut käyttöjärjestelmän osat toimivat tiukasti rajoitetuissa moduuleissa, jotka eivät voi häiritä toisiaan, jos ne epäonnistuvat. Se myös parantaa yleistä turvallisuutta.

Turvallisempi käyttöjärjestelmä jättää myös ohjelmistotoimittajille enemmän vastuuta ohjelmistohyökkäyksistä. Ohjelmistovaatimukset ovat paljon alhaisemmat kuin muilla teollisuudenaloilla, joissa komponenttihäiriö, kuten ajoneuvo rengas, johtaa muistutuksiin ja lakien sovitteluun.

Mutta tämä vastuu voitaisiin antaa helpommin, jos ohjelmisto on vähemmän monimutkainen ja enemmän "

Rahoituksen ansiosta Minix-tutkimus jatkuu viideksi vuodeksi