Timed circus: Timed CSP with the miracle

TY - GEN

T1 - Timed circus

T2 - 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011

AU - Wei, Kun

AU - Woodcock, Jim

AU - Burns, Alan

PY - 2011/7/25

Y1 - 2011/7/25

N2 - Timed Circus is a compact extension to Circus; that is, it inherits only the CSP part of Circus while introducing time. Although it looks much like timed CSP from the viewpoint of syntax, its semantics is very different from that of timed CSP because it uses a complete lattice in the implication ordering instead of the complete partial order of the standard failures-divergences model of CSP. The complete lattice gives rise to a number of strange processes which violate some axioms of CSP, especially when the miracle (the top element) and SKIP meet time. In this paper, compared with timed CSP, we will extensively explore such strange processes which turn out to be very useful in specifying a distinct property that 'something must occur'. Finally, we use a simple example to demonstrate how our model can contribute to modelling temporal behaviours with multiple time scales in complex systems.

AB - Timed Circus is a compact extension to Circus; that is, it inherits only the CSP part of Circus while introducing time. Although it looks much like timed CSP from the viewpoint of syntax, its semantics is very different from that of timed CSP because it uses a complete lattice in the implication ordering instead of the complete partial order of the standard failures-divergences model of CSP. The complete lattice gives rise to a number of strange processes which violate some axioms of CSP, especially when the miracle (the top element) and SKIP meet time. In this paper, compared with timed CSP, we will extensively explore such strange processes which turn out to be very useful in specifying a distinct property that 'something must occur'. Finally, we use a simple example to demonstrate how our model can contribute to modelling temporal behaviours with multiple time scales in complex systems.

UR - http://www.scopus.com/inward/record.url?scp=79960475984&partnerID=8YFLogxK

U2 - 10.1109/ICECCS.2011.13

DO - 10.1109/ICECCS.2011.13

M3 - Conference contribution

AN - SCOPUS:79960475984

SN - 9781612848532

SP - 55

EP - 64

BT - 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011

A2 - Perseil, Isabelle

A2 - Breitman, Karin

A2 - Sterritt, Roy

PB - IEEE Computer Society

Y2 - 27 April 2011 through 29 April 2011

ER -