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 :
بازگشت