AuroraUX

AuroraUX est une distribution dérivée OpenSolaris, qui rassemble les meilleures technologies autonomisation mission critique installations & nbsp des centres de données d'aujourd'hui; pour les avions de chasse qui nécessitent des logiciels de qualité qui peuvent tout simplement pas échouer sans de très graves conséquences.
* AuroraUX doit être lui-même une distribution utilisable dans son propre droit.
* Unify et de coordonner toutes les OpenSolaris autres distro avec une base de tronc commun qui a coordonné les bogues, les questions de sécurité et de stabilité fixe pas à la différence du noyau de FreeBSD.
* AuroraUX doit repousser autant de changements en amont que nous le pouvons.
* AuroraUX est juste un noyau et un petit userland ~ 200mb avec mode texte installateur et un paquet manger simple, de mettre à jour le noyau * uniquement *.
* AuroraUX doit être conforme aux normes autant que possible pour aider les ISV à soutenir AuroraUX et donc les distributions dérivées.
* AuroraUX doit fournir un service de mise à jour bi-hebdomadaire automatisé de mettre à jour votre noyau (noyau, les pilotes, les questions de sécurité d'adresse etc & hellip;).
* AuroraUX doit être lui-même une distribution utilisable dans son propre droit.
AuroraUX est une terre kernel- et par l'utilisateur Solaris dérivés. Le noyau du projet sont ses utilitaires écrits en Ada. Lorsque cela est nécessaire, les caractéristiques mal mises en œuvre se fixe ou réécrits, ainsi.
Ada?
Oui, Ada. Ada a été choisi parce qu'il englobe toute idéologie que les développeurs du noyau croient devrait exister dans un système.
Ada a contrôles horaires plus de compilation que vous pouvez secouer un bâton à, et elle garde un œil sur beaucoup de choses à l'exécution, aussi.
Code peut généralement être lu par tout un chacun avec compétences linguistiques en anglais ce qui signifie que la documentation peuvent effectivement être écrits par une personne "normale".
La langue a été conçu de telle sorte que même sa syntaxe favorise l'intégrité du logiciel.
Mais de nombreux remerciements vont au système de type puissant. Ce ne sont que les conseils d'un iceberg et pas nécessairement les raisons les plus importantes.
Bien sûr, certains ont boudé Ada disant qu'il est un langage militaire ou il est une langue de l'avionique.
Oui, et C est un langage de traitement de texte et C ++ est pour les téléphones mobiles.
Et tandis que nous ne serons pas en mesure d'échapper à l'emprise de C pour des raisons évidentes, nous ne pouvons certainement faire du monde un plus heureux en jetant (avec discrétion, pour l'instant) autant que nous le pouvons et le remplacer par un userland amélioré conçu avec un langage conçu pour le temps réel, embarqué, sécurité critique, fiable et systèmes maintenables en utilisant notre dame préférée, Ada.
AuroraUX est un noble, but non-trivial, mais avec la détermination et l'esprit des développeurs existants, il fleurira - bien qu'ils apprécieraient toute aide qui est offerte.
AuroraUX fournit le soutien de la boîte pour la suivante «sécurité axée« langages de programmation:
* Cyclone - Un dialecte sécurité de C. - "programmes de Cyclone pures ne sont pas vulnérables à une large classe de bugs qui affligent les programmes C: dépassements de tampon, les attaques de chaîne de format, doubles bogues gratuits, pointeur balançant accède, etc."
* Ada 83, 95 & amp; 2005. - Ada est structuré, statiquement typé, impératif, et orienté objet. "Ada est largement utilisé dans les systèmes critiques, où toute anomalie peut conduire à des conséquences très graves, à savoir, la mort accidentelle ou de blessure. Des exemples de systèmes où Ada est utilisés comprennent l'avionique, les systèmes d'armes (y compris les armes thermonucléaires), et les vaisseaux spatiaux."
* Falcon - Falcon est notre langage de script de choix. "Simple, rapide et puissant langage de programmation, facile à apprendre et à se sentir à l'aise avec, et un moteur de script prêt à l'autonomisation des applications multithread mission critique."
Nous fournissons également le soutien suivant à rencontrer tout le monde & rsquo; s le goût et / ou des exigences:
* Fortran & amp; C / C ++.
* Soutien assembleur pour: PowerPC, UltraSPARC, ARM, AVR et x86 / x64.
Chaque membre dirigeant des communautés de distribution basée sur OpenSolaris est un membre du conseil d'administration pour aider à l'unification d'un organisme de normalisation entre nous et un ensemble chemin d'accès à une base solide bien poli pour chaque membre & rsquo bord;. S dérivé distro