Primeiro sistema operacional 100% livre de erros está pronto

É 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.

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]




Fonte: Inovação Tecnológica