This report is concerned with the role time plays within any structural description of a complex computer-based system. Indeed this report explores the benefits of placing time at the centre of any description of system structure. 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. A system model based on a finite set of distinct time bands is developed in the report.

BibTex Entry

@techreport{Burns2005,
 author = {A. Burns and I.J. Hayes and G.Baxter and C.J. Fidge},
 institution = {University of York},
 number = {YCS 390},
 title = {Modelling Temporal Behaviour in Complex Socio-Technical Systems},
 year = {2005}
}