University of Hertfordshire

A level crossing case study was specified in times CSP. The same case study was then specified using Time Basic Nets. To provide an element of control a second case study, the secure room, was specified first using Time Basic Nets and then times CSP. Neither Timed CSP nor Time Basic Nets were adequate for the specification of the time constraints contained within the level crossing case study, although both techniques proved suitable for the specification of the secure room. The report concludes with a critique of the two techniques, both as ‘ordinary’ specification languages and in relation to their suitability for the specification of time constraints.