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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Astral Specification for a Railroad Controller


    Beteiligte:
    L. Bun (Autor:in) / J. van Katwijk (Autor:in)

    Erscheinungsdatum :

    1995


    Format / Umfang :

    50 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 | Kraftfahrwesen | 2000



    The Astral Highway: A National Space Infrastructure

    Snead, J. M. / American Society of Civil Engineers | British Library Conference Proceedings | 2000