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.
|Name||UH Computer Science Technical Report|
|Publisher||University of Hertfordshire|