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.

Via Inovação Tecnológica