A Calculus for Shapes in Time and Space

We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for discrete and continuous domains and present a decidable fragment.

• Type: Conference
• Year: 2004
• Where: ICTAC
• Authors: Andreas Schäfer
• Keywords: Duration Calculus, ICTAC 2004, Pure Duration Calculus, Spatial