WP1: Timing and Structure
This workpackage is concerned with the role time plays within any structural description of complex computer-based systems, for example, socio-technical systems. Its aim is to explore the benefits of placing time at the centre of any description of system structures. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirement for new or modified systems to be specified.
This research primarily involved Alan Burns, Jim Woodcock and Kun Wei at York.