It is generally accepted that development of requirement models for real-time systems benefits from formal specifications. In order to be able to evaluate notations for use in the development of real-time software systems, we are performing a comparative review of some selected specification notions. The study focuses on the use of the notations in the domain of real-time (control) applications. Our review will be based on a specification from a simple railroad controller model. This case contains data modelling aspects, functional aspects as well as temporal aspects. A (toy) railroad with a computer interface, is available in our laboratory, used for lab assignments.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Astral Specification for a Railroad Controller


    Contributors:
    L. Bun (author) / J. van Katwijk (author)

    Publication date :

    1995


    Size :

    50 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    An Astral specification for a railroad controller

    Bun, Leon / Katwijk, Jan | TIBKAT | 1995


    Astral aircraft navigation

    Melson, J.W. | Engineering Index Backfile | 1942



    Astral Koerper. Fahrbericht Opel Coupe Turbo

    Stier,M. / Opel,Ruesselsheim,DE | Automotive engineering | 2000


    Mobil astral 95,685-ton d.w. tanker

    Engineering Index Backfile | 1964