Publication Details: UM-CS-2005-056

Model Checking a Real-Time Foveate Controller using Timed Automata

Publication Type:Technical Report
Author(s):G. F. Holness
Abstract:Research activity in the area of smart spaces strives to endow an environment with a myriad of sensory-motor and computational devices which, together with, various learning algorithms may discern useful information about activity within the environment. Computer vision has proved an important sensory mode for uncovering features and dynamics associated with the events that occur. Tracking is an important task in visual sensing. The literature is full of many examples of real-time trackers.

The proliferation of embedded computation grounded in physical systems will continue for the foreseeable future. Helping to increase the correctness of such systems means provable validation of real-time constraints. In this paper we present a system that employs the Timed Automata formalism to verify a foveate controller designed as a processing pipeline.