Android

Fonduri europene Cercetare sistem de operare sigur

E.U. YES LA VOT. Are o afacere de milioane cu fonduri UE, dar nu e lăsat să repare drumul

E.U. YES LA VOT. Are o afacere de milioane cu fonduri UE, dar nu e lăsat să repare drumul
Anonim

O universitate olandeză a debarcat o rețea europeană Consiliul de Cercetare acordă continuarea lucrărilor pe un sistem de operare de tip Unix care are ca scop să fie mai fiabil și mai sigur decât Linux sau Microsoft Windows

Grantul de 2,5 milioane de euro (3,3 milioane de dolari SUA) va finanța trei cercetători și doi programatori, a declarat Andrew S. Tanenbaum, profesor de informatică la Vrije Universiteit din Olanda.

Tanenbaum a dezvoltat Minix, un sistem de operare bazat într-o oarecare măsură pe Unix, care are o bază de coduri mici și implementează controale de securitate puternice. elimina malware-ul de pe PC-ul tău Windows

Ultimul grant va permite cercetări suplimentare pentru a face sistemul de operare capabil să se fixeze în momentul detectării unei erori, permițând calculatoarelor să fie mai fiabile, a spus Tanenbaum.

"Mă irită că nu se termină când software-ul nu funcționează", a spus Tanenbaum. "Trebuie să reporniți computerul este doar o durere. Întrebarea este:" Puteți face un sistem care funcționează foarte bine? ""

Bugeturile software nu vor fi niciodată eliminate, a scris Tanenbaum în propunerea de proiect. Dar sistemele de operare, cum ar fi Windows și Linux, sunt proiectate în moduri care le fac mai puțin fiabile decât ar putea fi, a spus el.

De exemplu, driverele pentru caracteristici precum sunetul și alte componente periferice trebuie să fie instalate în kernelul sistemului de operare, sau codul de bază al computerului. În cazul în care ceva nu merge bine, acesta închide mașina.

Minix, totuși, este proiectat astfel încât driverele să funcționeze ca aplicații în afara nucleului, ceea ce înseamnă că, dacă acestea se prăbușesc, computerul va continua, a spus Tanenbaum. Conceptul se numește mai degrabă un "microkernel" decât un opus, un kernel monolitic.

În modelul lui Tanenbaum, alte componente ale sistemului de operare vor funcționa în module strâns constrânse care nu pot interfera unul cu altul în cazul în care nu reușesc. De asemenea, îmbunătățește securitatea generală.

Un sistem de operare mai sigur lasă și furnizorii de software mai multă responsabilitate pentru vulnerabilitățile software. Așteptările pentru software sunt mult mai scăzute decât cele pentru alte industrii, unde un eșec al componentelor, cum ar fi un anvelopă pentru vehicule, duce la retrageri și costuri legale, a spus Tanenbaum.

Dar această răspundere ar putea fi atribuită mai ușor dacă software-ul este mai puțin complex și mai mult "

" Vrem să facem software care este foarte, foarte fiabil ", a spus Tanenbaum.

Finanțarea va permite cercetării Minix să continue pentru încă cinci ani