Mera opinión, y no soy fan de Microsoft, pero el mejor sistema operativo de apellido Microsoft es y ha sido NT 4.0, tanto en su versión server como en workstation. Es la base de win xp, con la gran diferencia del HAL (hardware abstracción layer) que no permitía acceso directo entre software y hardware, evitando que interrupciones de BIOS (INT 10) o interrupciones de DOS (INT 21), tomaran el control de los recursos físicos, como discos duros o tarjetas de red, evitando el contagio de virus.
La única razón por la que quitaron el HAL es que no permitía el plug & play en xp.
Sobre computación en aviación, se trata de maquinas RISC de propósito especifico, no son sistemas operativos completos, no se requiere de mantenimiento de discos, estructuras de archivos, y/o almacenamiento de datos como parte de su misión. Solo requiere realizar procesos repetitivos de monitoreo, actualización de parámetros basados en condiciones, con datos obtenidos de sensores externos o fuentes de datos que tienen sus propios manejadores. Los datos procesados realizan una acción y si se requiere guardar información, simplemente la pasan a un manejador externo de datos.
Mientras menos overhead computacional se genere sobre el núcleo, el mini sistema es mas estable.
Sistemas operativos que pueden correr como Mini núcleos en RISC? Cualquier sabor de unix o Linux. Pueden ser reducidos a su mínima expresión y utilizar solo las instrucciones o módulos necesarios sin el overhead de todo un sistema operativo.
Mis Dos centavos informáticos
Mislik
