Metrologia Temporal na Verificação de Integridade de Software em Instrumentos de Medição

Abstract

Este artigo descreve uma metodologia de verificação da integridade de software apoiada na medição de “efeitos colaterais”, eventos físicos associados ao processamento de dados. Mostramos que a “metrologia de efeitos colaterais” aumenta a confiança no processo de verificação de integridade. Apresentamos duas abordagens para uso de metrologia temporal em verificação de integridade. A primeira abordagem permite a avaliação do comportamento temporal de um software sem que seja necessário interromper o funcionamento do equipamento onde o software em verificação está embarcado. Na segunda abordagem, o funcionamento do equipamento deve ser interrompido e os módulos que armazenam o software em verificação devem ser removidos, de forma a obter maior certeza acerca dos resultados obtidos.