A comparison of timed CSP and time basic nets for the specification of time constraints

M. Kutar

    Research output: Book/ReportOther report

    43 Downloads (Pure)

    Abstract

    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.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1998

    Publication series

    NameUH Computer Science technical Report
    PublisherUniversity of Hertfordshire
    Volume311

    Fingerprint

    Dive into the research topics of 'A comparison of timed CSP and time basic nets for the specification of time constraints'. Together they form a unique fingerprint.

    Cite this