Metrologia temporal na verificação de integridade de software em instrumentos de medição

9 p. : il.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