Verifying QoS properties of trusted data sensing

Abstract

Voting among replicated data collection devices achieves trusted data delivery to the end-user in a hostile environment. Failures may occur during data collection process: such as data corruptions by malicious devices and security/bandwidth attacks on data paths. How often a correct data is delivered to the user in a timely manner depicts the voting QoS. We study a model-based approach to inject faults in a data collection system for verification purposes. We advocate a stress-test of the system, i.e., subjecting the system to harsh conditions, to assess its resilience. The paper provides experimental studies of a voting system under injected faults, with message & time complexity analysis.