Ricerca sui sistemi operativi sicuri dei fondi europei

Un'università olandese ha sbarcato un europeo Il Consiglio della Ricerca concede di continuare a lavorare su un sistema operativo di tipo Unix che mira ad essere più affidabile e sicuro di Linux o Microsoft Windows.

La sovvenzione di € 2,5 milioni (US $ 3,3 milioni) finanzierà tre ricercatori e due programmatori, ha detto Andrew S. Tanenbaum, professore di informatica presso Vrije Universiteit nei Paesi Bassi.

Tanenbaum ha sviluppato Minix, un sistema operativo basato su Unix che ha una piccola base di codice e implementa forti controlli di sicurezza.

[Ulteriori letture: Come rimuovere malware dal PC Windows]

L'ultima concessione consentirà ulteriori ricerche per rendere il sistema operativo in grado di risolversi da solo quando viene rilevato un errore, consentendo ai computer di essere più affidabili, ha detto Tanenbaum.

"Mi irrita fino alla fine quando il software non funziona", ha detto Tanenbaum. "Riavviare il computer è solo una seccatura. La domanda è" Puoi creare un sistema che funzioni davvero molto bene? ""

I bug del software non verranno mai eliminati, Tanenbaum ha scritto nella proposta di progetto. Ma i sistemi operativi come Windows e Linux sono progettati in modo da renderli meno affidabili di quanto potrebbero essere, ha detto.

Ad esempio, i driver per funzionalità come il suono e altri componenti periferici devono essere installati all'interno del kernel del sistema operativo, o il codice principale del computer. Se qualcosa va storto, di solito riaggancia la macchina.

Minix, tuttavia, è progettato in modo che i driver funzionino come applicazioni esterne al kernel, il che significa che se si arrestano in modo anomalo, il computer continuerà, ha detto Tanenbaum. Il concetto è chiamato "microkernel" piuttosto che il suo opposto, un kernel monolitico.

Nel modello di Tanenbaum, altri componenti del sistema operativo funzioneranno in moduli strettamente vincolati che non possono interferire tra loro se falliscono. Migliora inoltre la sicurezza generale.

Un sistema operativo più sicuro lascia anche i fornitori di software più responsabili delle vulnerabilità del software. Le aspettative per il software sono molto inferiori rispetto ad altre industrie, dove un guasto di un componente come una gomma del veicolo porta a richiami e cause legali, ha detto Tanenbaum.

Ma quella responsabilità potrebbe essere assegnata più facilmente se il software è meno complesso e più stabile, ha detto.

"Vogliamo creare software che sia molto, molto affidabile", ha detto Tanenbaum.

Il finanziamento consentirà alla ricerca Minix di continuare per altri cinque anni.