AuroraUX

AuroraUX é uma distribuição OpenSolaris derivada, que reúne as melhores tecnologias que habilitem críticos instalações do centro de dados de missão de hoje & nbsp; para aviões de combate que requerem software de qualidade que simplesmente não pode falhar sem consequências muito graves.
* AuroraUX deve-se ser uma distro utilizável em seu próprio direito.
* Unify e coordenar todas as outras distros OpenSolaris com uma base núcleo comum que tem bugs coordenados, questões de segurança e estabilidade não corrige ao contrário do núcleo do FreeBSD.
* AuroraUX deve empurrar para trás tantas mudanças a montante quanto pudermos.
* AuroraUX é apenas um kernel e uma pequena userland ~ 200mb com o instalador em modo texto e uma manjedoura simples pacote para atualizar o núcleo * apenas *.
* AuroraUX deve obedecer a tantos padrões quanto possível para ajudar ISVs para apoiar AuroraUX e, portanto, as distros derivadas.
* AuroraUX deve fornecer um serviço de atualização quinzenal automatizado para atualizar o seu núcleo (kernel, motoristas, as questões de segurança endereço etc & hellip;).
* AuroraUX deve-se ser uma distro utilizável em seu próprio direito.
AuroraUX é uma terra kernel e pelo utilizador derivado do Solaris. O núcleo do projeto são seus utilitários escritos em Ada. Quando necessário, recursos mal implementadas ficar fixo ou reescrito, bem.
Ada?
Sim, Ada. Ada foi escolhido porque abrange toda ideologia que os desenvolvedores do núcleo acredito que deve existir em um sistema.
Ada tem verificações tempo de compilação mais do que você pode agitar uma vara em e ela mantém um olho em muitas coisas em tempo de execução, também.
Código geralmente pode ser lido por qualquer pessoa com conhecimentos da língua inglesa que significa que a documentação pode realmente ser escrito por uma pessoa "normal".
A linguagem foi projetada de tal forma que até mesmo a sua sintaxe promove a integridade do software.
Mas muitos agradecimentos vão para o poderoso sistema de tipo. Estas são apenas as pontas de um iceberg e não necessariamente as razões mais importantes.
Claro, alguns têm evitado Ada dizendo que é uma linguagem militar ou é uma linguagem de aviônicos.
Sim, e C é uma linguagem de processamento de texto e C ++ é para telefones móveis.
E enquanto nós não será capaz de escapar das garras de C por razões óbvias, nós certamente podemos tornar o mundo mais feliz por jogar fora (com discrição, por enquanto), tanto quanto podemos e substituindo-o por uma melhor trabalhada userland com uma linguagem projetada para em tempo real, integrado, sistemas sustentáveis, utilizando nossa senhora favorita, Ada crítico de segurança, confiabilidade e.
AuroraUX é um objetivo nobre, não-trivial, mas com a determinação eo espírito dos desenvolvedores existentes, ele irá florescer - embora eles gostaria de receber qualquer ajuda que é oferecida.
AuroraUX fornece o suporte caixa para o seguinte "segurança focada 'linguagens de programação:
* Cyclone - Um dialeto seguro de C. - "programas ciclone puros não são vulneráveis ​​a uma ampla classe de erros que afligem programas em C: estouros de buffer, ataques da corda do formato, erros gratuitas duplos, ponteiro pendurado acessos, etc."
* Ada 83, 95 & amp; 2005. - Ada está estruturado, tipagem estática, imperativo, e orientada a objetos. "Ada é amplamente utilizado em sistemas críticos, onde qualquer anomalia pode levar a consequências muito graves, ou seja, a morte ou lesões acidentais. Os exemplos de sistemas onde Ada é usado incluem aviônicos, sistemas de armas (incluindo armas termonucleares), e naves espaciais."
* Falcon - Falcon é a nossa linguagem de script de escolha. "Simples, rápida e poderosa linguagem de programação, fácil de aprender e de se sentir confortável com, e um mecanismo de script pronto para capacitar aplicativos multithreaded de missão crítica."
Nós também fornecemos o seguinte suporte para atender a todos & rsquo; s sabor e / ou requisitos:
* Fortran & amp; C / C ++.
* Apoio Assembler para: PowerPC, UltraSPARC, ARM, AVR e x86 / x64.
Cada membro do líder das comunidades distro baseada OpenSolaris deve ser um membro do conselho para ajudar a unificar um organismo de normalização entre nós e um caminho definido para uma base bem polida forte para cada membro do conselho & rsquo;. S derivada distro