SISTEMA DE COMPUTADOR, E, MÉTODO DE MELHORIA DA INTEGRIDADE DE UM SISTEMA DE COMPUTADOR

Classificação IPC

Prioridades unionistas

Resumo técnico

É descrito um método de melhoria da integridade de um sistema de computador que inclui executar as aplicações de software certificáveis e qualificáveis. A aplicação de software certificável é composta por instruções de programa estáticas executadas sequencialmente para processar os dados de entrada para produzir uma saída, e a aplicação de software qualificável usa um modelo iterativamente construído usando um algoritmo de aprendizado de máquina para processar os dados de entrada para produzir uma saída correspondente. A aplicação de software certificável é certificável para o sistema de computador de acordo com um padrão de certificação, e a aplicação de software qualificável sendo não certificável para o sistema de computador de acordo com o padrão de certificação. O método também inclui a realização da verificação cruzada da saída pela comparação com a saída correspondente para verificar a saída e, desse modo, melhorar a integridade do sistema de computador. E o método inclui gerar um alerta de que a saída está não verificada quando a comparação indicar que a saída difere da saída correspondente em mais do que um limite.