• DocumentCode
    275727
  • Title

    Modelling real-time constraints

  • Author

    Berryman, S.J. ; Sommerville, I.

  • Author_Institution
    Lancaster Univ., UK
  • fYear
    1991
  • fDate
    16-18 Sep 1991
  • Firstpage
    164
  • Lastpage
    169
  • Abstract
    The objective of the work described is to provide a software tool to assist real-time system specifiers and designers to predict, at an early stage of the development process, the timing behaviour of the system developed. The tool (simulation of real-time systems (SRT)) is used to model the timing aspects of a real-time system and then simulate the system to predict its behaviour
  • Keywords
    formal specification; real-time systems; software tools; virtual machines; development process; real-time constraints; real-time system specifiers; software tool; timing aspects; timing behaviour;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Software Engineering for Real Time Systems, 1991., Third International Conference on
  • Conference_Location
    Cirencester
  • Print_ISBN
    0-85296-526-5
  • Type

    conf

  • Filename
    140066
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=275727