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
Link To Document