AuroraUX er en OpenSolaris afledt distribution, der samler de bedste teknologier bemyndigelse nutidens forretningskritiske data center faciliteter & nbsp; til jagerfly, der kræver kvalitet software, der simpelthen ikke kan fejle uden meget alvorlige konsekvenser.
* AuroraUX skal selv være et brugbart distro i sin egen ret.
* Unify og koordinere alle de andre OpenSolaris distro er med en fælles kerne base, der har koordineret bugs, sikkerhedsspørgsmål og stabilitet løser ikke ulig FreeBSD kerne.
* AuroraUX skal skubbe så mange forandringer opstrøms som vi kan.
* AuroraUX er blot en kerne og en lille userland ~ 200MB med tekst mode installatør og en enkel pakke krybbe til at opdatere kernen * kun *.
* AuroraUX skal opfylde så mange standarder som muligt at støtte ISV er at støtte AuroraUX og dermed de afledte distributioner.
* AuroraUX skal levere en automatiseret hver anden uge opdateringsservice at opdatere din kerne (kerne, chauffører, adresse sikkerhedsspørgsmål osv & hellip;).
* AuroraUX skal selv være et brugbart distro i sin egen ret.
AuroraUX er en Solaris-afledt kernel- og bruger- jord. Kernen i projektet er dens hjælpeprogrammer skrevet i Ada. Når det er nødvendigt, bliver dårligt gennemførte træk fast eller omskrevet, så godt.
Ada?
Ja, Ada. Ada blev valgt, fordi det omfatter enhver ideologi, at de centrale udviklere tror bør eksistere i et system.
Ada har mere påkompileringstidspunktet checks, end du kan ryste en pind på, og hun holder øje med mange ting på runtime, også.
Kode kan generelt læses af kun om nogen med engelsk sprogfærdigheder betyder, at dokumentationen kan faktisk skrevet af en "normal" person.
Sproget er designet sådan, at selv det syntaks fremmer integritet software.
Men mange tak til det kraftfulde typen system. Disse er kun tip af et isbjerg og ikke nødvendigvis de vigtigste årsager.
Selvfølgelig har nogle undgået Ada siger det er en militær sprog eller det er en flyelektronik sprog.
Ja, og C er en tekst-processing sprog og C ++ er til mobiltelefoner.
Og mens vi ikke vil være i stand til at undslippe greb af C af indlysende grunde, kan vi helt sikkert gøre verden til et lykkeligere én ved at smide ud (med diskretion, for nu) så meget som vi kan, og erstatte den med en forbedret userland udformet med et sprog designet til real-time, indlejret, sikkerhedskritisk, pålidelige og vedligeholdelsesvenlig systemer ved hjælp af vores foretrukne dame, Ada.
AuroraUX er en ædel, ikke-triviel mål, men med beslutsomhed og ånden i de eksisterende udviklerne, vil det blomstre - selvom de ville sætte pris på enhver hjælp, der tilbydes.
AuroraUX giver ud kassen støtte til følgende "sikkerhed fokuseret" programmeringssprog:
* Cyclone - En sikker dialekt af C. - "rene Cyclone programmer er ikke sårbare over for en bred klasse af fejl, der plager C-programmer: bufferoverløb, string format-angreb, dobbelt gratis bugs, dinglende pointer adgange mv"
* Ada 83, 95 & amp; 2005. - Ada er struktureret, statisk skrevet, bydende nødvendigt, og objektorienteret. "Ada er meget udbredt i kritiske systemer, hvor enhver anomali kan føre til meget alvorlige konsekvenser, dvs. hændelig død eller tilskadekomst. Eksempler på systemer, hvor Ada bruges omfatter flyelektronik, våbensystemer (herunder kernevåben) og rumfartøjer."
* Falcon - Falcon er vores scripting sprog valg. "Enkel, hurtig og kraftfuld programmeringssprog, let at lære og til at føle sig godt tilpas med, og et scripting motor klar til at give forretningskritiske flertrådede programmer."
Vi tilbyder også følgende støtte til at opfylde alle & rsquo; s smag og / eller krav:
* Fortran & amp; C / C ++.
* Assembler støtte til: PowerPC, UltraSPARC, ARM, AVR og x86 / x64.
Hvert ledende medlem af OpenSolaris baserede distro samfund skal være medlem for at hjælpe med at forene et standardiseringsorgan mellem os og et sæt sti til et stærkt godt poleret fundament for hvert bestyrelsesmedlem & rsquo bord. S afledt distro
Software detaljer:
Kommentarer ikke fundet