Estimado Colega Régis C M, Cumpre-me acrescentar que esta informação fora obtida na página INOVAÇÃO TECNOLÓGICA que, em minha modesta capacidade de avaliação, não me parece publicar coisas que não sejam efetivamente válidas.
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-pronto&id=010150091020&ebol=sim POR UMA URNA ELETRÔNICA REALMENTE SEGURA, Leamartine Pinheiro de Souza 21 2558-9814 - [email protected] Rua Conde de Baependi 78, Ap 1310 Flamengo, Rio de Janeiro, RJ 22231-140 -----Mensagem original----- De: [email protected] [mailto:[email protected]] Em nome de Leamartine Pinheiro de Souza Enviada em: terça-feira, 20 de outubro de 2009 22:10 Para: [email protected]; [email protected] Assunto: RES: [Voto Seguro] Re: {VotoEletronico} Re: - Primeiro sistema operacional 100% livre de erros está pronto Estimado Colega Régis C M Postei esta mensagem para exaltar o fato de que somente agora ter-se-ia conseguido um SO a prova de erros, demonstrando que, qualquer projeto anterior, seria reconhecidamente falho. POR UMA URNA ELETRÔNICA REALMENTE SEGURA, Leamartine Pinheiro de Souza 21 2558-9814 - [email protected] Rua Conde de Baependi 78, Ap 1310 Flamengo, Rio de Janeiro, RJ 22231-140 -----Mensagem original----- De: [email protected] [mailto:[email protected]] Em nome de Régis CM Enviada em: terça-feira, 20 de outubro de 2009 20:58 Para: [email protected]; Fórum do Voto Seguro Assunto: [Voto Seguro] Re: {VotoEletronico} Re: - Primeiro sistema operacional 100% livre de erros está pronto O SO referido tinha 7500 linhas e demorou +5 anos com 6 pessoas. O windows tem 50 milhões, o que levaria 200 mil homens ano, assumindo nenhum aumento de complexidade. http://www.schneier.com/blog/archives/2009/10/proving_a_compu.html Régis 2009/10/20 Roger Chadel <[email protected]> > 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: > > > > > > > http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-pronto&id=010150091020&ebol=sim > > > 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 > > / \ > > > > > [As partes desta mensagem que não continham texto foram removidas] ------------------------------------ _____________________________________________ 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 Seguro O Forum do Voto Seguro visa debater a confiabilidade dos sistemas eleitorais informatizados, em especial o brasileiro, nos seus aspectos técnicos e jurídicos. _____________________________________________ Pagina, Jornal e Forum do Voto-E http://www.votoseguro.org _____________________________________________ Para cancelar sua assinatura neste grupo, envie um e-mail para: [email protected] Links do Yahoo! Grupos ------------------------------------ _____________________________________________ 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 Seguro O Forum do Voto Seguro visa debater a confiabilidade dos sistemas eleitorais informatizados, em especial o brasileiro, nos seus aspectos técnicos e jurídicos. _____________________________________________ Pagina, Jornal e Forum do Voto-E http://www.votoseguro.org _____________________________________________ Para cancelar sua assinatura neste grupo, envie um e-mail para: [email protected] Links do Yahoo! Grupos <*> Para visitar o site do seu grupo na web, acesse: http://br.groups.yahoo.com/group/votoseguro/ <*> Para sair deste grupo, envie um e-mail para: [email protected] <*> O uso que você faz do Yahoo! Grupos está sujeito aos: http://br.yahoo.com/info/utos.html --~--~---------~--~----~------------~-------~--~----~ __________________________________________________ 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- -~----------~----~----~----~------~----~------~--~---
