AuroraUX

AuroraUX es una distribución de OpenSolaris derivada, que reúne las mejores tecnologías de empoderamiento de misión crítica instalaciones & nbsp centros de datos de hoy en día, para los aviones de combate que requieren software de calidad que simplemente no puede dejar de tener consecuencias muy graves.
* AuroraUX deberá ser en sí mismo una distro utilizable por derecho propio.
* Unificar y coordinar todas las otras distribuciones de OpenSolaris con una base de núcleo común que tiene errores coordinados, problemas de seguridad y estabilidad no corrige a diferencia del núcleo de FreeBSD.
* AuroraUX deberá hacer retroceder a tantos cambios aguas arriba como podamos.
* AuroraUX es sólo un kernel y un pequeño espacio de usuario ~ 200mb con el instalador en modo texto y un simple pesebre paquete para actualizar el núcleo * solamente *.
* AuroraUX se ajustará a tantos como sea posible, para ayudar a los ISV para apoyar AuroraUX y así las distribuciones derivadas.
* AuroraUX deberá proveer un servicio de actualización quincenal automatizado para actualizar el núcleo (kernel, los controladores, los problemas de seguridad de direcciones etc y hellip;).
* AuroraUX deberá ser en sí mismo una distro utilizable por derecho propio.
AuroraUX es una tierra kernel- y el usuario derivados de Solaris. El núcleo del proyecto son sus utilidades escritos en Ada. Cuando sea necesario, las características pobremente implementadas se arreglen o reescritos, también.
Ada?
Sí, Ada. Ada fue escogido porque abarca toda ideología que los desarrolladores principales creen debería existir en un sistema.
Ada tiene controles de tiempo de compilación más que usted puede sacudir un palillo en y ella mantiene un ojo en muchas cosas en tiempo de ejecución, también.
Código general puede ser leído por casi cualquier persona con conocimientos del idioma inglés que significa que la documentación que en realidad pueden ser escritos por una persona "normal".
El lenguaje fue diseñado de tal manera que incluso es la sintaxis promueve integridad del software.
Pero muchas gracias van al sistema de tipo de gran alcance. Estos son sólo la punta de un iceberg y no necesariamente las razones más importantes.
Por supuesto, algunos han rechazado Ada diciendo que es un lenguaje militar o es un lenguaje de aviónica.
Sí, y C es un lenguaje de procesamiento de texto y C ++ es para los teléfonos móviles.
Y si bien no vamos a ser capaces de escapar de las garras de C por razones obvias, sin duda podemos hacer el mundo más feliz lanzando fuera (con discreción, por ahora) tanto como podamos y su sustitución por una mejora en espacio de usuario diseñado con un lenguaje diseñado para tiempo real, empotradas, sistemas mantenibles mediante el uso de nuestra señora favorito, Ada de seguridad crítico, fiable y.
AuroraUX es un objetivo noble, no trivial, pero con la determinación y el espíritu de los desarrolladores existentes, florecerá - aunque agradecería cualquier ayuda que se ofrece.
AuroraUX proporciona el soporte de caja para el siguiente 'seguridad enfocada' lenguajes de programación:
* Ciclón - Un dialecto segura de C. - "programas Cyclone puros no son vulnerables a una amplia clase de insectos que plagan los programas en C: desbordamientos de búfer, ataques de formato de cadena, insectos gratuitas dobles, puntero colgando accesos, etc."
* Ada 83, 95 & amp; 2005. - Ada está estructurado, estáticamente mecanografiada, imperativa y orientada a objetos. "Ada es ampliamente utilizado en sistemas críticos, en los que cualquier anomalía podría tener consecuencias muy graves, es decir, la muerte o lesión accidental. Ejemplos de sistemas donde se usa Ada incluyen la aviónica, sistemas de armas (incluidas las armas termonucleares), y las naves espaciales."
* Falcon - Falcon es nuestro lenguaje de scripting de elección. "Sencillo, rápido y potente lenguaje de programación, fácil de aprender y sentirse cómodo con, y un motor de secuencias de comandos listos para potenciar las aplicaciones multitarea, de misión crítica."
También ofrecemos el siguiente apoyo a conocer a todos y rsquo; s los gustos y / o necesidades:
* Fortran & amp; C / C ++.
* Soporte de ensamblador para: PowerPC, UltraSPARC, ARM, AVR y x86 / x64.
Cada miembro destacado de las comunidades distro basada OpenSolaris será un miembro de la junta para ayudar en la unificación de un organismo de normalización entre nosotros y un camino conjunto para una base sólida bien pulido para cada miembro de la junta y rsquo;. S distro derivada