Auroraux Sistema operativo núcleo para computación científica de alta integridad
Descargar ahora

Auroraux Clasificación y resumen

Auroraux Etiquetas

científico sistema operativo distribución computación científica la distribución de OpenSolaris Opensolaris

Auroraux Descripción

Sistema operativo central para la computación científica de alta integridad Auroraux es una distribución derivada de OpenSolaris, que junta las mejores tecnologías que empodenan las instalaciones de centros de datos de misión crítica de hoy a los aviones de combate que requieren un software de calidad que simplemente no puede fallar sin consecuencias muy graves. * Auroraux será una distra usable en su propio derecho. * Unifiques y coordinen todas las demás distroncias de OpenSolaris con una base de núcleo común que tiene errores coordinados, problemas de seguridad y arreglos de estabilidad, no, a diferencia del núcleo de FreeBSD. * Auroraux retrocederá tantos cambios ascendentes que podamos. * Auroraux es solo un kernel y un pequeño Userland ~ 200 MB con el instalador de modo de texto y un paquete de envase simple para actualizar el núcleo * solamente *. * Auroraux se ajustará a tantos estándares como sea posible para ayudar a los ISV para apoyar a Auroraux y, por lo tanto, las distribuciones derivadas. * Auroraux proporcionará un bi- Servicio de actualización semanal para actualizar su núcleo (kernel, controladores, asuntos de seguridad de direcciones, etc.). * Auroraux será una distra usable en su propia derecha .aurora UX es un kernel y un usuario derivados de Solaris. El núcleo del proyecto son sus utilidades escritas en ADA. Cuando son necesarias, las características mal implementadas se arreglan o reescriben, así como. Sí, Ada. Ada se eligió porque abarca cada ideología que creen que los desarrolladores principales que creen que deben existir en un sistema. Se tiene más verificaciones de tiempo de compilación de lo que puede sacudir un palo y vigila muchas cosas en tiempo de ejecución, también se puede leer. Por casi cualquier persona con habilidades del idioma inglés, lo que significa que la documentación puede ser escrita en realidad por una persona "normal". El idioma se diseñó de tal manera que incluso su sintaxis promueve la integridad del software. Pero muchas gracias, vaya al sistema de tipo potente. Estos son solo los consejos de un iceberg y no necesariamente las razones más importantes. Por supuesto, algunos han rechazado a Ada diciendo que es una lengua militar o es un lenguaje de aviónica. Sí, y C es un lenguaje de procesamiento de texto y C ++ es para teléfonos móviles Y, mientras no podremos escapar de las empuñaduras de C por razones obvias, sin duda podemos hacer que el mundo sea más feliz al desechar (con discreción, por ahora) tanto como podamos y reemplazarlo con una guía mejorada. Elaborado con un idioma diseñado para sistemas en tiempo real, incrustados, de seguridad, de manera crítica, confiable y mantenible utilizando nuestra señora favorita, Ada.auroraux es un objetivo noble, no trivial, pero con la determinación y el espíritu de los desarrolladores existentes, Florecerá, aunque apreciarían cualquier ayuda que se ofrece .Auroraux proporciona el soporte de la caja para los siguientes lenguajes de programación de 'seguridad centrada': * Cyclone: ​​un dialecto seguro de C. - "Los programas de ciclón puro no son vulnerables a un ancho Clase de insectos que plagan c Programas: los desbordamientos de tampón, los ataques de cadena de formato, los insectos de doble libre, los accesos de puntero colgantes, etc. "ADA 83, 95 y 2005. - ADA está estructurado, está escrita, imperativa y orientada a objetos. "ADA se usa ampliamente en sistemas críticos, donde cualquier anomalía podría llevar a consecuencias muy graves, es decir, muerte o lesión accidental. Ejemplos de sistemas donde se utiliza ADA incluye aviónicas, sistemas de armas (incluidas las armas termonucleares) y la nave espacial". * Falcon - Falcon es nuestro lenguaje de scripting de elección. "Lenguaje de programación simple, rápido y potente, fácil de aprender y sentirse cómodo con, y un motor de scripting listo para empoderar las aplicaciones multipríticas de misión." También proporcionamos el siguiente apoyo para satisfacer el gusto y / o los requisitos de todos: * FORTRAN y C / C ++. * Soporte de ensamblador para: PowerPC, UltraSPARC, ARM, AVR y X86 / X64. Cada miembro líder de las comunidades de distribución basadas en OpenSolaris será un miembro de la junta para ayudar a un órgano de estándares entre nosotros y un camino establecido a una base bien pulida fuerte para la distribución derivada de cada miembro de la junta.

Auroraux Software relacionado