Auroraux Kernbesturingssysteem voor Wetenschappelijke computers van hoge integriteit
Download nu

Auroraux Rangschikking & Samenvatting

Auroraux Tags

wetenschappelijk besturingssysteem verdeling wetenschappelijke berekeningen OpenSolaris distributie Opensolaris

Auroraux Beschrijving

Kernbesturingssysteem voor Wetenschappelijke computers van hoge integriteit Auroraux is een opensolaris afgeleide distributie, die de beste technologieën bij elkaar haalt die de huidige missie-kritieke datacenterfaciliteiten van de hedendaagse missie in staat te stellen aan vechterstralen die kwaliteitssoftware nodig hebben die eenvoudigweg niet kan mislukken zonder zeer ernstige gevolgen. * Auroraux is zelf een bruikbare distro op zich. * Unify en coördineer alle andere OpenSolaris-distro's met een gemeenschappelijke kernbasis die gecoördineerde bugs, beveiligingskwesties en stabiliteitsoplossingen niet in tegenstelling tot de kern van FreeBSD. * Auroraux zal zo veel wijzigingen doorlopen als we kunnen. * Auroraux is slechts een kernel en een kleine kern UserLAND ~ 200 MB met installatieprogramma voor tekstmodus en een eenvoudige pakketmanger om de kern * alleen * * te bijwerken. * Auroraux zal voldoen aan zoveel mogelijk normen om Auroraux en dus de afgeleide districten te ondersteunen. * Auroraux zal een geautomatiseerde bi- Wekelijkse update-service om uw kern bij te werken (kernel, stuurprogramma's, adresbeveiligingsproblemen enz ...). * Auroraux zal zelf een bruikbare distro zijn op zichzelf .Aurora UX is een Solaris-afgeleide kernel- en gebruikersgrond. De kern van het project zijn zijn hulpprogramma's geschreven in ADA. Indien nodig worden slecht geïmplementeerde functies vast of herschreven, ook.ADA? Ja, ADA. Ada werd gekozen omdat het elke ideologie omvat die de kernontwikkelaars geloven in een systeem moeten bestaan. Deada heeft meer compileertijdcontroles dan je een stok kunt schudden en ze houdt ook veel dingen in de looptijd in de gaten. Met zowat iedereen met Engelse taalvaardigheden, wat betekent dat documentatie daadwerkelijk kan worden geschreven door een "normale" persoon. De taal is zodanig ontworpen dat zelfs de syntaxis de integriteit van software bevordert. MAAR HELE DANKEN NAAR HET KOSTENDE SYSTEEM. Dit zijn alleen de toppen van een ijsberg en niet noodzakelijk de belangrijkste redenen.F-cursus, sommigen hebben ADA gelden, zeggen dat het een militaire taal is of het is een avionen-taal. Ja, en C is een tekstverwerkingstaal en C ++ is voor mobiele telefoons. .En Terwijl we niet in staat zijn om te ontsnappen aan de handgrepen van C om voor de hand liggende redenen, kunnen we zeker de wereld een gelukkiger maken door (met discretie, voor nu) zo veel mogelijk te gooien en te vervangen door een verbeterde gebruikersgrond Gemaakt met een taal die is ontworpen voor realtime, ingesloten, veiligheidskritische, betrouwbare en onderhoudbare systemen door onze favoriete dame te gebruiken, ADA.Auroraux is een nobel, niet-triviaal doel, maar met de vastberadenheid en geest van de bestaande ontwikkelaars, het Zal bloeien - hoewel ze alle hulp die wordt aangeboden op prijs stellen .Auroraux biedt de doos-ondersteuning voor de volgende 'veiligheidsgerichte' programmeertalen: * Cyclon - een veilig dialect van C. - "Pure Cycloon-programma's zijn niet kwetsbaar voor een breedbeeld klasse van insecten die cague c Programma's: buffer overflows, formatteerringaanvallen, dubbele gratis bugs, bungelende pointer toegankelijk, enz. "* ADA 83, 95 en 2005. - Ada is gestructureerd, statisch getypt, imperatief en objectgericht. "ADA wordt veel gebruikt in kritieke systemen, waarbij een anomalie kan leiden tot zeer ernstige gevolgen, dat wil zeggen, accidentele dood of letsel. Voorbeelden van systemen waarbij ADA wordt gebruikt omvatten avionics, wapensystemen (inclusief thermonucleaire wapens) en ruimtevaartuig." * Falcon - Falcon is onze scripttaal van keuze. "Eenvoudige, snelle en krachtige programmeertaal, gemakkelijk te leren en om zich op uw gemak te voelen en een scripting-motor klaar om missiekritieke multithreaded applicaties in staat te stellen." We bieden ook de volgende ondersteuning om aan ieders smaak en / of vereisten te voldoen: * FORTRAN en C / C ++. * Assembler-ondersteuning voor: PowerPC, ULTRAPAPARC, ARM, AVR en X86 / X64. Elk toonaangevend lid van de op OpenSolaris gebaseerde distro-gemeenschappen is een bestuurslid om te helpen bij het verenigen van een normenlichaam tussen ons en een vastgestelde pad naar een sterke gepolijste basis voor de afgeleide distri van elke bestuurslid.

Auroraux Gerelateerde software