• DocumentCode
    2088345
  • Title

    Acquiring and incorporating state-dependent timing requirements

  • Author

    Shih, Chi-Sheng ; Liu, Jane W S

  • Author_Institution
    Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
  • fYear
    2003
  • fDate
    8-12 Sept. 2003
  • Firstpage
    87
  • Lastpage
    94
  • Abstract
    Some real-time systems are designed to deliver services to objects that are controlled by external sources. Their services must be delivered on a timely basis, and the system fails when some services are delivered too late. Such a system may fail if the timing requirements, which it is designed to meet are erroneous. It may under-utilize resources and, consequently, be costly or unreliable if the requirements are too stringent. In general, the timing requirements of the system may change when the states of the objects monitored by the system change. Hence, one must identify how changes in object states call for changes in system requirements and how these changes should be incorporated in the design and implementation of the system. We first describe a methodology to determine timing requirements and to take into account of requirement changes at runtime. The method is based on several timing requirement determination schemes. Simulation data show that these schemes are effective for applications such as mobile IP hand-offs. We then discuss how to incorporate this methodology in the design of such systems and in the development process.
  • Keywords
    formal specification; real-time systems; software architecture; systems analysis; data simulation; mobile IP hand-off; real-time system; run-time requirement changes; software architecture; state-dependent timing requirements; system design; Computer science; Condition monitoring; Control systems; Design methodology; Job design; Real time systems; Road accidents; Runtime; Time factors; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering Conference, 2003. Proceedings. 11th IEEE International
  • ISSN
    1090-705X
  • Print_ISBN
    0-7695-1980-6
  • Type

    conf

  • DOI
    10.1109/ICRE.2003.1232740
  • Filename
    1232740