For many systems, timeliness is a very important dependability property. The right input at the wrong time can be as much of a problem as the wrong input at the right time. While a lot of work on modelling timing in real-time systems has been done, this has not been extended to socio-technical systems. The aim of this activity is to address this problem and to develop concepts, methods and representations for specifying and reasoning about time in systems involving both computers and people.

For more information see DIRC web site