Leamartine,
O que esses australianos estão dizendo é que conseguiram uma metodologia
que torna o software igual às especificações. Mas nada garante que as
especificações estejam corretas. O que normalmente acontece é quando um
sistema é especificado ele é codificado e, depois de pronto, é que começam as
revisões, porque se descobre que as especificações não atendiam 100% ao proposto.
O que não deixa de ser um avanço, claro.
Chadel
A respeito de {VotoEletronico} - Primeiro sistema operacional 100% livre de erros está pronto,
em 20/10/2009, 20:04, Leamartine Pinheiro de Souza escreveu:
|
Primeiro sistema operacional 100% livre de erros está pronto Redaçăo do Site Inovaçăo Tecnológica - 20/10/2009
Gráficos de funçőes do kernel do sistema operacional livres de erros. Cada ponto representa uma funçăo escrita em linguagem C. As conexőes representam as chamadas entre as diversas funçőes. [Imagem: UNSW] Inovaçăo radical em software Programas de computador representam o melhor exemplo de um produto que usufrui de inovaçőes tecnológicas contínuas - daquelas que năo chamam muito a atençăo e geralmente năo viram manchete, mas que estăo melhorando continuamente os aplicativos, incorporando novas funcionalidades e atendendo ŕs novas necessidades dos usuários. Mas será que é possível que os programas de computador experimentem também inovaçőes tecnológicas disruptivas - daquelas radicais, que viram manchete e mudam o caminho de uma determinada área? Certamente que sim. A criaçăo dos protocolos de comunicaçăo que viabilizaram a Internet, sistemas operacionais com interfaces gráficas, o primeiro navegador de páginas web, protocolos da computaçăo distribuída, todos săo exemplos que tecnologias que mudaram o rumo da informática. Software 100% livre de erros É muito possível que estejamos agora frente a mais uma inovaçăo nessa categoria de revolucionária na área de software. Pesquisadores australianos relataram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional - tecnicamente conhecido como kernel - está 100% livre de erros de programaçăo (bugs). Isto significa que a parte principal do sistema operacional năo estará sujeito a falhas, travamentos e nem a ataques que explorem falhas de segurança, que simplesmente năo existem. Mundo completamente novo O avanço deverá ter implicaçőes diretas no funcionamento e na segurança de computadores que controlam equipamentos que devem apresentar altíssima confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missăo crítica. "Eu acredito que năo é um exagero afirmar que nosso sistema abre um mundo completamente novo no que diz respeito ŕ construçăo de novos sistemas altamente confiáveis e seguros," diz o Dr. Gernot Heiser, coordenador da equipe que desenvolveu a nova técnica. Năo se trata apenas de uma verificaçăo intensiva do código contra erros específicos. O sistema de verificaçăo garante que o kernel atende inteiramente a toda a sua especificaçăo, năo se desviando dela em todos os aspectos, incluindo a funcionalidade e a segurança Software livre de erros Uma regra no mundo do software - năo-científica, mas largamente citada - é que há 10 bugs para cada mil linhas de código de um programa. Programas mais maduros e mantidos por grandes equipes certamente tęm menos, mas nenhum engenheiro ou programador em bom juízo se arriscaria a dizer que seu sistema é 100% livre de erros. Isto mostra o significado do feito alcançado pelos pesquisadores australianos, comprovando matematicamente a correçăo de um kernel desenvolvido em linguagem C por uma equipe de seis pessoas ao longo de seis anos. Esta é a primeira vez que se demonstra de forma conclusiva que é possível construir programas de computador totalmente livres de erros. A correçăo do programa também significa que ele está imune a todos os tipos mais comuns de ataques, como os chamados buffer overflows, um forma de ataque na qual os hackers tomam controle dos programas injetando pequenas porçőes de código malicioso. Sistema operacional embarcado O usuário de computadores tradicionais deverá esperar um pouco antes de poder usufruir do acréscimo de segurança e confiabilidade oferecido por um sistema operacional livre de erros. O kernel 100% correto pertence a um sistema operacional do tipo embarcado (embedded system), que roda em computadores dedicados a tarefas específicas. A nova técnica de verificaçăo, contudo, poderá ser utilizada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer. |
--
Grande abraço,
Roger Chadel
--------
//// O TSE deve voltar a ser um tribunal
|---//---|
| / | Se a urna não imprimir, seu voto pode sumir!
|--------| www.votoseguro.org
--------
Extraido de minha coleção de taglines:
Não existem mulheres frígidas; apenas mal esquentadas (Lucio Amorim)
/"\
\ / Campanha da fita ASCII - contra mail html
X ASCII ribbon campaign - against html mail
/ \
--~--~---------~--~----~------------~-------~--~----~
__________________________________________________
O texto acima e' de inteira e exclusiva responsabilidade de seu
autor, conforme identificado no campo "remetente", e nao
representa necessariamente o ponto de vista do Forum do Voto-E
O Forum do Voto-E visa debater a confibilidade dos sistemas
eleitorais informatizados, em especial o brasileiro, e dos
sistemas de assinatura digital e infraestrutura de chaves publicas.
__________________________________________________
Pagina, Jornal e Forum do Voto Eletronico
http://www.votoseguro.org
__________________________________________________
Você recebeu esta mensagem porque está inscrito no Grupo "VotoEletronico" em Grupos do Google.
Para postar neste grupo, envie um e-mail para [email protected]
Para cancelar a sua inscrição neste grupo, envie um e-mail para [email protected]
Para ver mais opções, visite este grupo em http://groups.google.com/group/votoeletronico?hl=pt-
-~----------~----~----~----~------~----~------~--~---
