A general and useful model of a real-time system is one which is organised as a network of concurrent processing elements, where these processing elements interact with one another through shared data within intermediate connection elements. Interaction timing effects can be characterised by a set of protocols, based on the distinction as to whether the shared data in a connection is written and read destructively or non destructively. Real Time Logic (RTL) can then be used to derive an axiomatic specification for each protocol, so defining and revealing the protocol's essential behaviour. Practical realisation of the protocols is straightforward, requiring minimal support from a real-time operating system. It can be seen that the precise RTL definition of protocol properties has played a key role in the development of new insights into, and practical techniques for, process interaction in real-time systems.
P.S. Hugo will be arriving at 10:30am on 30th Nov. Please contact DK Arvind (dka@dcs.ed.ac.uk) if you wish to talk to him about your research.