Investigación de sistema operativo de seguridad de fondos de Europa

Una universidad holandesa ha aterrizado Research Council grant para continuar trabajando en un sistema operativo de tipo Unix que pretende ser más confiable y seguro que Linux o Microsoft Windows.

El subsidio de 2,5 millones de euros (US $ 3,3 millones) financiará a tres investigadores y dos programadores, dijo Andrew S. Tanenbaum, profesor de informática en la Vrije Universiteit de los Países Bajos.

Tanenbaum desarrolló Minix, un sistema operativo basado en Unix que tiene una base de código pequeña e implementa fuertes controles de seguridad.

[Más información: cómo eliminar el malware de su PC con Windows]

La última subvención permitirá una mayor investigación sobre cómo hacer que el sistema operativo sea capaz de arreglarse cuando se detecta un error, lo que permite que las computadoras sean más confiables, dijo Tanenbaum.

"Me irrita sin fin cuando el software no funciona", dijo Tanenbaum. "Tener que reiniciar su computadora es solo un problema. La pregunta es '¿Se puede hacer un sistema que realmente funcione muy bien?'"

Los errores de software nunca se eliminarán, escribió Tanenbaum en la propuesta del proyecto. Pero el sistema operativo como Windows y Linux están diseñados de manera que los hacen menos confiables de lo que podrían ser, dijo.

Por ejemplo, los controladores para funciones como sonido y otros componentes periféricos deben instalarse dentro del kernel del sistema operativo, o el código central de la computadora. Si algo sale mal, generalmente cuelga la máquina.

Minix, sin embargo, está diseñado para que los controladores operen como aplicaciones fuera del kernel, lo que significa que si se bloquean, la computadora continuará, dijo Tanenbaum. El concepto se llama un "microkernel" en lugar de su opuesto, un kernel monolítico.

En el modelo de Tanenbaum, otros componentes del sistema operativo funcionarán en módulos estrechamente restringidos que no pueden interferir entre sí si fallan. También mejora la seguridad general.

Un sistema operativo más seguro también deja a los proveedores de software más responsables de las vulnerabilidades del software. Las expectativas para el software son mucho menores que para otras industrias, donde una falla de componentes como un neumático de un vehículo lleva a retiros y demandas, dijo Tanenbaum.

Pero esa responsabilidad podría asignarse más fácilmente si el software es menos complejo y más estable, dijo.

"Queremos crear un software que sea muy, muy confiable", dijo Tanenbaum.

El financiamiento permitirá que la investigación de Minix continúe por cinco años más.