Pesquisadores do laboratório de Ciência da Computação e Inteligência Artificial do MIT criaram o primeiro computador totalmente à prova de erros críticos que resultam em dados perdidos.
O estudo provou conseguiu criar um sistema de arquivos que é incapaz de perder acidentalmente informações. O projeto visa construir um processo conhecido como “verificação formal”, que consiste em delimitar limites operacionais para o computador e evitar que ele os burle.
Esclarecendo que o computador não é incapaz de “dar tela azul”, mas sim de evitar que os seus dados sejam perdidos durante os erros graves do sistema.
Segundo os desenvolvedores do projeto, atualmente este sistema é lento demais para ser distribuído ao público em geral. No entanto, o estudo abre portas para futuras descobertas que possam gerar sistemas aptos os produtos disponíveis para o consumidor.
Fontes
Categorias
