Cientistas australianos garantem que desenvolveram um kernel (núcleo) de sistema operacional totalmente livre de erros. Segundo eles, problemas relacionados ao SO, como os famosos buffer overflow ou falhas de segurança, foram eliminados e existe uma prova matemática para isso. Com uma prova matemática e não apenas uma prova empírica é possível afirmar com 100% de certeza que esse sistema realmente é livre de bugs.
Atualmente o sistema está disponível apenas para equipamentos de software embarcado, e seu uso tem como maior objetivo controlar equipamentos que não podem cometer falhar, por exemplo máquinas cirúrgicas.
FONTE: http://www.inovacaotecnologica.com.br
Nenhum comentário:
Postar um comentário
Enforque-se nas cordas da liberdade.