Acquiring and incorporating state-dependent timing requirements | Requirements Engineering Skip to main content
Springer Nature Link
Log in

Acquiring and incorporating state-dependent timing requirements

  • Original Article
  • Published:
Requirements Engineering Aims and scope Submit manuscript

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. In general, the timing requirements of the system may change when the states of the objects monitored by the system change. Such a system may fail if the timing requirements which it is designed to meet are erroneous. It may underutilize resources and consequently be costly or unreliable if the requirements are too stringent. Hence, one must identify how changes in object states call for changes in system requirements and how these changes should be incorporated into the design and implementation of the system. This paper first describes a methodology to determine timing requirements and to take into account 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. The paper then discusses how to incorporate this methodology in the system architecture and in the development process.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

Notes

  1. For each job J i , δ i ( t) is an indexed set of random variables, where the indexed set is the set of positive real numbers. Hence, by definition, δ i ( t) is a random process. We do not assume any property of the random process.

  2. A negative speed means the device moves in the opposite direction.

  3. This algorithm is optimal for scheduling jobs on one processor.

References

  1. Buttazzo G, Lipari G, Abeni L (1998) Elastic task model for adaptive rate control. In: Proceedings of the IEEE real-time systems symposium, Dec 1998, pp 286–295

  2. Liu CL, Layland J (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20:46–61

    Article  Google Scholar 

  3. Han C, Lin K (1992) Scheduling distance-constrained real-time tasks. In: Proceedings of the IEEE real-time systems symposium, Dec 1992, pp 300–308

  4. Sprunt B, Sha L, Lehoczky J (1989) Aperiodic task scheduling for hard-real-time systems. Real-time Syst J 1:27–60

  5. Liu JWS, Shih WK, Lin KJ, Bettati R, Chung JY (1994) Imprecise computations. Proc IEEE 82:83–94

    Article  Google Scholar 

  6. Tai TS, Deng Z, Shankarand M, Storch M, Sun J, Wu LC, Liu JWS (1995) Probabilistic performance guarantee for real-time tasks with varying computation times. In: Proceedings of the IEEE real-time technology and application symposium, 1995, pp 164–173

  7. Shih CS, Liu JWS (2002) State-dependent deadline scheduling. In: Proceedings of the IEEE real-time systems symposium, Austin, TX, USA, 2002, pp 3–14

  8. Stankovic JA, Lu C, Son SH, Tao G (1999) The case for feedback control real-time scheduling. In: Proceedings of the 11th Euromicro conference on real-time systems, 1999, pp 11–20

  9. Caccamo M, Buttazzo G, Sha L (2000) Elastic feedback control. In: Proceedings of the 12th Euromicro conference on real-time systems, 2000, pp 121–128

  10. Caccamo M, Buttazzo G, Sha L (2000) Capacity sharing for overrun control. In: Proceedings of the IEEE real-time systems symposium, Orlando, FL, USA, 2000, pp 295–304

  11. Abeni L, Butazzo G (1999) QoS guarantee using probabilistic deadlines. In: Proceeding of the 11th Euromicro conference on real-time systems (ECRTS99), York, England, 1999, pp 242–251

  12. Martin RC (2002) Agile software development, principles, patterns, and practices. Prentice Hall, Upper Saddle River, NJ

  13. Lutz RR, Mikulski IC (2003) Resolving requirements discovery in testing and operations. In: Proceedings of the 11th IEEE international requirements engineering conference (RE’03), 2003, Monterey Bay, CA, USA, , pp 33–41

  14. Dubois E, Pohl K (2003) RE 02: A major step toward a mature requirements engineering community. IEEE Software 20:14–15

    Article  Google Scholar 

  15. Perkins CE, Wang KY (1999) Optimized smooth handoffs in Mobile IP. In: Proceedings of the IEEE international symposium on computers and communications, July 1999, pp 340–346

  16. Lee KD, Kim S (1999) Traffic model and analysis for handoff performance in microcellular networks with directed retry. In: Proceedings of the IEEE TENCON’99, vol 1, 1999, pp 39–42

  17. Ghazalie TM, Baker TP (1995) Aperiodic servers in a deadline scheduling environment. Real-Time Syst J 9:31--67

    Google Scholar 

Download references

Acknowledgements

This work is supported in part by a grant from the MURI program N00014-01-0576, in part by ONR N0004-02-0102, and in part by Lockheed Martin Corporation 1-5-36137.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, 61801, USA

    C. S. Shih

  2. Microsoft Corporation, Redmond, WA, 98052, USA

    J. W. S. Liu

Authors
  1. C. S. Shih
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. W. S. Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. W. S. Liu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shih, C.S., Liu, J.W.S. Acquiring and incorporating state-dependent timing requirements. Requirements Eng 9, 121–131 (2004). https://doi.org/10.1007/s00766-004-0190-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00766-004-0190-8

Keywords

Search

Navigation