Personal tools
You are here: Home Events Title: Spatial model-checking of vehicle location data

Title: Spatial model-checking of vehicle location data

Speaker: Stephen Gilmore



I'll present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action.  Data correctness is essential to ensure correct functionality in systems which adapt in response to data and our categorisation influences the degree of caution which should be used in acting in response to this received data.  Vehicle location data is visualised symbolically on a street map, and categories of problems  identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours.

This is joint work with Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti and Mieke Massink


Document Actions