Android

Fundusze europejskie Bezpieczne badania systemu operacyjnego

program operacyjny kapita ludzki 2007 2013 cz owiek najlepsza inwestycja

program operacyjny kapita ludzki 2007 2013 cz owiek najlepsza inwestycja
Anonim

Holenderski uniwersytet wylądował na europejskim Dotacja Rady Naukowej na kontynuację prac nad systemem operacyjnym typu Unix, który ma być bardziej niezawodny i bezpieczny niż Linux lub Microsoft Windows.

Dotacja w wysokości 2,5 mln € (3,3 mln $) sfinansuje trzech naukowców i dwóch programistów, powiedział Andrew S. Tanenbaum, profesor informatyki na Vrije Universiteit w Holandii.

Tanenbaum opracował Minix, system operacyjny oparty na systemie Unix, który ma małą bazę kodu i wdraża silne mechanizmy bezpieczeństwa.

[Czytaj dalej: usuń złośliwe oprogramowanie z komputera z systemem Windows]

Najnowsza dotacja umożliwi dalsze badania nad tym, aby system operacyjny mógł się naprawić, gdy wykryty zostanie błąd, dzięki czemu komputery będą bardziej niezawodne, powiedział Tanenbaum.

"Drażni mnie to, gdy oprogramowanie nie działa," powiedział Tanenbaum. "Ponowne uruchomienie komputera to tylko ból." Czy możesz stworzyć system, który naprawdę działa bardzo dobrze? ".

Błędy oprogramowania nigdy nie zostaną wyeliminowane, napisał Tanenbaum w propozycji projektu. Jednak system operacyjny, taki jak Windows i Linux, jest zaprojektowany w sposób, który czyni je mniej niezawodnymi niż mogłyby być, powiedział.

Na przykład, sterowniki dla funkcji, takich jak dźwięk i inne komponenty peryferyjne muszą być zainstalowane wewnątrz jądra systemu operacyjnego, lub główny kod komputera. Jeśli coś pójdzie nie tak, to zwykle zawiesza się na urządzeniu.

Minix jest jednak zaprojektowany, więc sterowniki działają jak aplikacje spoza jądra, co oznacza, że ​​jeśli się zawieszą, komputer będzie kontynuował, powiedział Tanenbaum. Pojęcie to nazywa się "mikrojądrem", a nie jego przeciwieństwem, monolitycznym jądrem.

W modelu Tanenbauma, inne elementy systemu operacyjnego będą funkcjonować w ściśle ograniczonych modułach, które nie mogą się wzajemnie zakłócać, jeśli się nie powiodą. Poprawia także ogólne bezpieczeństwo.

Bardziej bezpieczny system operacyjny również sprawia, że ​​dostawcy oprogramowania są bardziej odpowiedzialni za luki w oprogramowaniu. Oczekiwania dotyczące oprogramowania są znacznie niższe niż w przypadku innych branż, w których uszkodzenie elementu, takie jak opona pojazdu, prowadzi do wycofania produktu z rynku i procesów sądowych, powiedział Tanenbaum.

Ale odpowiedzialność ta mogłaby zostać łatwiej przypisana, gdyby oprogramowanie było mniej złożone i bardziej skomplikowane. "

" Chcemy tworzyć oprogramowanie, które jest bardzo, bardzo niezawodne "- powiedział Tanenbaum.

Finansowanie pozwoli kontynuować badania Minix przez kolejne pięć lat.