Modelling real time systems functional requirements using existing data flow methods

D.A. Fensome

    Research output: Book/ReportOther report

    49 Downloads (Pure)

    Abstract

    This report summarises the data flow models from existing real time systems development methodologies, and describes some of the problems with using them to define real-time system functional requirements. The motivation for this report is to establish a suitable model for prototyping real-time systems. A vending machine case study is used to model various system properties, and Z was used to describe the functional properties. The report shows that there is a case for a new data flow model to define system requirements.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1993

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume160

    Fingerprint

    Dive into the research topics of 'Modelling real time systems functional requirements using existing data flow methods'. Together they form a unique fingerprint.

    Cite this