Primeiro sistema operacional 100% livre de erros está pronto e foi escrito em C
Página 1 de 1
Primeiro sistema operacional 100% livre de erros está pronto e foi escrito em C
Primeiro sistema operacional 100% livre de erros está pronto
Pesquisadores australianos afirmaram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional, o kernel, está 100% livre de erros de programação. Ou seja, a parte principal do sistema operacional não terá falhas, travamentos ou ataques que explorem falhas de segurança.
Na prática, o avanço poderá ser usado em computadores que controlam equipamentos de alta confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missão crítica.
De acordo com o site Inovação Tecnológica, uma regra no mundo do software, não-científica, mas muito citada, é que há 10 bugs para cada mil linhas de código de um programa. Mas nenhum engenheiro ou programador se arriscaria a afirmar que seu sistema é 100% livre de erros. O feito da equipe dos pesquisadores australianos mostra, pela primeira vez, de forma conclusiva, que é possível construir programas de computador totalmente livres de erros.
Com a correção do programa, ele está imune aos 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.
O usuário comum de computadores vai ter que esperar um pouco antes de poder usufruir do sistema livre de erros. Ele pertence a um sistema operacional do tipo embarcado, que roda em computadores dedicados a tarefas específicas. Mas a nova técnica de verificação poderá ser usada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer.
O kernel foi desenvolvido em linguagem C por uma equipe de seis pessoas ao longo de seis anos.
Para saber mais acesse o site Fonte: Inovação Tecnológica
Pesquisadores australianos afirmaram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional, o kernel, está 100% livre de erros de programação. Ou seja, a parte principal do sistema operacional não terá falhas, travamentos ou ataques que explorem falhas de segurança.
Na prática, o avanço poderá ser usado em computadores que controlam equipamentos de alta confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missão crítica.
De acordo com o site Inovação Tecnológica, uma regra no mundo do software, não-científica, mas muito citada, é que há 10 bugs para cada mil linhas de código de um programa. Mas nenhum engenheiro ou programador se arriscaria a afirmar que seu sistema é 100% livre de erros. O feito da equipe dos pesquisadores australianos mostra, pela primeira vez, de forma conclusiva, que é possível construir programas de computador totalmente livres de erros.
Com a correção do programa, ele está imune aos 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.
O usuário comum de computadores vai ter que esperar um pouco antes de poder usufruir do sistema livre de erros. Ele pertence a um sistema operacional do tipo embarcado, que roda em computadores dedicados a tarefas específicas. Mas a nova técnica de verificação poderá ser usada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer.
O kernel foi desenvolvido em linguagem C por uma equipe de seis pessoas ao longo de seis anos.
Para saber mais acesse o site Fonte: Inovação Tecnológica
brujah999- Iniciante
- Mensagens : 228
Data de inscrição : 14/10/2009
Idade : 42
Localização : São Paulo
Tópicos semelhantes
» Haleron anuncia novo sistema operacional que roda aplicativos Linux, Windows e Android
» Windows 8 pronto em 2012?
» O Techguru está contratando um estagiário
» Google Wave - A Nova Onda está por vir!
» Rapido está chegando a ferramenta Constellation
» Windows 8 pronto em 2012?
» O Techguru está contratando um estagiário
» Google Wave - A Nova Onda está por vir!
» Rapido está chegando a ferramenta Constellation
Página 1 de 1
Permissões neste sub-fórum
Não podes responder a tópicos