Auroraux. Sistema operacional principal para computação científica de alta integridade
Baixe Agora

Auroraux. Classificação e resumo

Auroraux. Tag

científico sistema operacional distribuição computação científica distribuição OpenSolaris Opensolaris.

Auroraux. Descrição

Sistema operacional principal para computação científica de alta integridade A Auroraux é uma distribuição derivada de OpenSolaris, que reúne as melhores tecnologias capacitando as instalações de data center críticas de missão de hoje para jatos de combate que exigem software de qualidade que simplesmente não pode falhar sem conseqüências muito sérias. * Auroraux deve ser uma distro utilizável por si só. * Unificar e coordenar todas as outras distro do OpenSolaris com uma base de núcleo comum que tem bugs coordenados, questões de segurança e correções de estabilidade não ao contrário do núcleo do FreeBSD. * Auroraux deve empurrar de volta tantas mudanças a montante do que pudermos. * Auroraux é apenas um kernel e um pequeno userland ~ 200MB com o instalador de modo de texto e um simples manjedoura de pacote para atualizar o núcleo * Apenas *. * Auroraux deve estar em conformidade com o maior número possível de padrões para ajudar a Auroraux e, portanto, as distribuições derivadas. * Auroraux deve fornecer uma Serviço de atualização semanal para atualizar seu núcleo (kernel, drivers, problemas de segurança de endereços etc ...). * Auroraux deve ser uma distro utilizável por sua própria direita.Aurora O UX é um kernel e um usuário derivado do Solaris. O núcleo do projeto são seus utilitários escritos em Ada. Quando necessário, os recursos mal implementados são fixos ou reescritos, bem como.ada? Sim, Ada. Ada foi escolhido porque engloba todas as ideologia que os desenvolvedores principais acreditam que devem existir em um sistema.ada tem mais verificações de tempo de compilação do que você pode agitar uma vara e ela mantém um olho em muitas coisas no tempo de execução, também. CODE geralmente pode ser lido Em qualquer pessoa com habilidades em inglês, o que significa que a documentação pode ser escrita por uma pessoa "normal". A linguagem foi projetada de modo que até mesmo sua sintaxe promove a integridade do software. Mas muitos agradecimentos vão ao poderoso sistema de tipo. Estas são apenas as pontas de um iceberg e não necessariamente os motivos mais importantes.o curso, alguns evitavam ADA dizendo que é uma língua militar ou é uma linguagem aviônica. Sim, e C é um idioma de processamento de texto e C ++ é para telefones celulares E enquanto não poderemos escapar das garras de C por razões óbvias, podemos certamente tornar o mundo mais feliz por jogar fora (com discrição, por enquanto), tanto quanto podemos e substituí-lo por uma melhoria melhorada Crafted com uma linguagem projetada para sistemas em tempo real, incorporado, crítico de segurança, confiável e sustentável, usando nossa senhora favorita, Ada.auroraux é um objetivo nobre, não-trivial, mas com a determinação e espírito dos desenvolvedores existentes, vai florescer - embora eles apreciariam qualquer ajuda que seja oferecida.Auroraux fornece suporte a caixa de suporte para as seguintes linguagens de programação 'segurança focada' ': * Ciclone - um dialeto seguro de C. - "Programas de ciclone puro não são vulneráveis a uma ampla classe de bugs que praga c Programas: Buffer transbordamentos, formatar ataques de cadeia, bugs gratuitos duplos, acessos de ponteiro pendurados, etc. "* ADA 83, 95 e 2005. - Ada é estruturado, estaticamente digitado, imperativo e orientado para objetos. "ADA é amplamente utilizado em sistemas críticos, onde qualquer anomalia pode levar a consequências muito sérias, ou seja, morte acidental ou lesão. Exemplos de sistemas onde ADA é usado incluem aviônica, sistemas de armas (incluindo armas termonucleares) e espaçons." * Falcon - Falcon é a nossa linguagem de escolha de script. "Linguagem de programação simples, rápida e poderosa, fácil de aprender e se sentir confortável, e um motor de script pronto para capacitar aplicativos multithreaded de missão crítica". Também fornecemos o seguinte suporte para atender a todos os gostos e / ou requisitos de todos: * Fortran e C / C ++. * Suporte montador para: PowerPC, UltraSPARC, braço, AVR e x86 / x64. Cada membro líder das comunidades de distro baseado em OpenSolaris é um membro do conselho para auxiliar na unificação de um corpo de padrões entre nós e um caminho definido para uma forte base bem polida para a distro derivada de cada membro da placa.

Auroraux. Software Relacionado