Output details
11 - Computer Science and Informatics
University of York
A timeband framework for modelling real-time systems
<03>This paper is the culmination of an extensive thread of collaborative research, undertaken as part of the EPSRC funded IRC DIRC (see http://www.dirc.org.uk/research/DIRC-Results/TimeBands.html). It subsequently formed the foundational technology for the EPSRC grants: INDEED and Tempo. Timeband notions have been utilised in hierarchical reasoning, software architectures, modelling emergent properties of systems and the recent development (primarily in the US) of Cyber-Physical Systems. Paper contains motivation for the Timeband Framework and includes a Z-based model. Subsequent work has produced a CSP-based model and a formalism using Cliff Jones' Rely/Guarantee conditions.