Output details
11 - Computer Science and Informatics
University of York
A process algebraic framework for specification and validation of real-time systems
<07>Originality: This is the first timed model developed in the context of Hoare and He's unifying theories of programming (UTP). Rigour: Soundness is established by isomorphisms to existing UTP theories, and by calculating definitions for programming operators via these isomorphisms. Significance: The UTP is a model for design languages that integrate several paradigms; timing is an important addition due to its central role in control systems. This work has been taken forward by researchers all over the world to give semantics to other notations: RAISE, TCOZ, and synchronous languages. A co-author, He Jifeng, is one of the UTP designers.