University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        Modelling real time systems functional requirements using existing data flow methods

        View/Open
        CSTR 160.pdf (PDF, 4Mb)
        Author
        Fensome, D.A.
        Attention
        2299/4736
        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.
        Publication date
        1993
        Other links
        http://hdl.handle.net/2299/4736
        Metadata
        Show full item record
        Keep in touch

        © 2019 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan