User manual for Timed-CSP Simulator
Contents
1. User manual for Timed CSP Simulator Hoang Nga Nguyen Markus Roggenbach Swansea University UK April 13 2012 1 Introduction Timed Csp Simulator is based on the presentation of Timed CsP in 3 For a brief discussion of the tool architecture see 1 The semantical questions regarding simulating Timed CsP are discussed in 2 2 Supported operators In addition to CSP M operators already defined in ProB Timed CSP Simu lator supports several timed operators of Timed CSP These extra operators are listed in Table 1 where e d denotes a time delay which is either an integer 7 or a rational number j where 7 and j are integers e P Q are Timed CSP processes Name Pretty print ASCII Delay event prefix a L P a lt d gt gt P Wait WAIT d WAIT d Timed timeout P Q P lt d gt gt Q Timed interrupt P A Q P lt d gt Q Table 1 Timed Operators in Timed CSP Simulators 3 Timed CSP mode There are two ways to activate Timed CSP mode in ProB while opening files Explicit Files are named with the extension tcsp Implicit Files contain one of the timed operators listed in Table 1 4 Timed CSP animation Timed CSP simulators supports two animation strategy Random At each step of the animation the simulator randomly selects an event or timed progress available from the interface to perform Maximal progress At each step of the animation the simulator selects an event or2. timed progress available from the interface to perform with respect to the following priority 1 Randomly select an external event 2 Select an internal event 3 Select a maximal timed progress 4 Select a random timed progress References 1 Mare Dragon Andy Gimblett and Markus Roggenbach A Simulator for Timed CSP In Jens Bendisposto Cliff Jones Michael Leuschel and Alexander Romanovsky editors AVoC S 11 Proceedings of the Eleventh International Workshop on Automated Verification of Critical Systems Newcastle University 2011 2 Faron Moller Hoang Nga Nguyen and Markus Roggenbach Theoret ical foundations for simulating timed csp Technical report Swansea University 3 2012 3 S Schneider Concurrent and real time systems the CSP approach Citeseer 2000
Download Pdf Manuals
Related Search