Skip to main content
SpringerLink
Log in

Real-Time Task Models

  • Living reference work entry
  • First Online:
Handbook of Real-Time Computing

  • 256 Accesses

Abstract

In safe-critical real-time systems, it is required that the timing constraints must be respected under any circumstance at runtime. To provide such guarantees, the designers need to describe the system behaviors with formal models, based on which timing correctness of the system can be proved. There have been many different real-time task models developed over the years describing different timing behaviors of real-time systems. This article briefly reviews some of the representative real-time task models, focusing on the expressiveness aspect. In particular, this article will cover the basic periodic/sporadic task models with extensions of bursts and jitters, the graph-based real-time task models which can model different possible workload release patterns in a compact model, the parallel real-time task models that can describe the internal parallel workload structures, and the arrival curves in real-time calculus as a general workload representation.

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  • M. Anand, A. Easwaran, S. Fischmeister, I. Lee, in ISORC, Orlando, 5–7 May 2008

    Google Scholar 

  • N. Audsley, A. Burns, M. Richardson, K. Tindell, A.J. Wellings, Softw. Eng. J. 8, 284 (1993)

    Article  Google Scholar 

  • M. Bamakhrama, T. Stefanov, in EMSOFT, Taipei, 9–14 Oct 2011

    Google Scholar 

  • M. Bamakhrama, T. Stefanov, Des. Autom. Embed. Syst. 17, 221 (2013)

    Article  Google Scholar 

  • S.K. Baruah, in ECRTS, Berlin, 17–19 June 1998a

    Google Scholar 

  • S.K. Baruah, in RTSS, Madrid, 2–4 Dec 1998b

    Google Scholar 

  • S.K. Baruah, Real-Time Syst. 24, 93 (2003)

    Article  Google Scholar 

  • S.K. Baruah, in RTCSA, Macau, 23–25 Aug 2010a

    Google Scholar 

  • S.K. Baruah, in RTSS, San Diego, 30 Nov–3 Dec 2010b

    Google Scholar 

  • S.K. Baruah, in EMSOFT, Amsterdam, 4–9 Oct 2015

    Google Scholar 

  • S.K. Baruah, A.K. Mok, L.E. Rosier, in RTSS, Lake Buena Vista, Dec 1990

    Google Scholar 

  • S.K. Baruah, D. Chen, S. Gorinsky, A. Mok, Real-Time Syst. 17, 5 (1999)

    Article  Google Scholar 

  • J. Bengtsson, W. Yi, in Lectures on concurrency and petri nets (Springer, New York, 2003), pp. 87–124

    Google Scholar 

  • J.-Y. L. Boudec, P. Thiran, in Network Calculus: A Theory of Deterministic Queuing Systems for the Internet (Springer, Berlin/Heidelberg, 2001)

    Book  Google Scholar 

  • V. Berten, P. Courbin, J. Goossens, in RTNS, Nantes, 29–30 Sept 2011

    Google Scholar 

  • V. Bonifaci, A.M. Spaccamela, S. Stiller, A. Wiese, in ECRTS, Paris, 9–12 July 2013

    Google Scholar 

  • S. Chakraborty, T. Erlebach, L. Thiele, in WADS, Providence, 15–17 Aug 2001

    Google Scholar 

  • S. Chakraborty, S. Knzli, L. Thiele, in DATE, Munich, 3–7 Mar 2003

    Google Scholar 

  • Z. Dong, C. Liu, in RTSS, Paris, 5–8 Dec 2017

    Google Scholar 

  • D.G. Feitelson, L. Rudolph, J. Parallel Distrib. Comput. 16, 306 (1992)

    Article  Google Scholar 

  • E. Fersman, P. Pettersson, W. Yi, in TACAS, Grenoble, 8–12 Apr 2002

    Google Scholar 

  • N. Guan, Y. Tang, Y. Wang, W. Yi, in DATE, Grenoble, 9–13 Mar 2015

    Google Scholar 

  • X. Jiang, X. Long, N. Guan, H. Wan, in RTSS, Porto, 29 Nov–2 Dec 2016

    Google Scholar 

  • X. Jiang, N. Guan, X. Long, W. Yi, in RTSS, Paris, 5–8 Dec 2017

    Google Scholar 

  • K. Lakshmanan, S. Kato, R. Rajkumar, in RTSS, San Diego, 30 Nov–3 Dec 2010

    Google Scholar 

  • E.A. Lee, D.G. Messerschmitt, Proc. IEEE 75, 1235 (1987)

    Article  Google Scholar 

  • E.A. Lee, S.A. Seshia, in Introduction to Embedded Systems, a Cyber-Physical Systems Approach (MIT Press, 2011)

    Google Scholar 

  • J.P. Lehoczky, L. Sha, J.K. Strosnider, in RTSS, San Jose, 1–3 Dec 1987

    Google Scholar 

  • J.Y.-T Leung, M. Merrill, Inf. Process. Lett. 11, 115 (1980)

    Google Scholar 

  • J.Y.-T Leung, J. Whitehead, Perform. Eval. 2, 237 (1982)

    Google Scholar 

  • C.L. Liu, J.W. Layland, J. ACM (JACM) 20, 46 (1973)

    Google Scholar 

  • A. Melani, M. Bertogna, V. Bonifaci, A.M. Spaccamela, in ECRTS, Lund, 7–10 July 2015

    Google Scholar 

  • M. Mohaqeqi, J. Abdullah, N. Guan, W. Yi, in ECRTS, Toulouse, 5–8 July 2016

    Google Scholar 

  • A.K. Mok, Dissertation, Massachusetts Institute of Technology, 1983

    Google Scholar 

  • A.K. Mok, D. Chen, IEEE Trans. Softw. Eng. 23, 635 (1997)

    Article  Google Scholar 

  • N.T. Moyo, E. Nicollet, F. Lafaye, C. Moy, in ECRTS, Brussels, 6–9 July 2010

    Google Scholar 

  • OpenMP (2018) http://openmp.org

  • J.C. Palencia, M.G. Harbour, in RTSS, Madrid, 2–4 Dec 1998

    Google Scholar 

  • J.C. Palencia, M.G. Harbour, in ECRTS, Porto, 2–4 July 2003

    Google Scholar 

  • K. Richter, R. Racu, R. Ernst, in RTSS, Cancun, 3–5 Dec 2003

    Google Scholar 

  • A. Saifullah, K. Agrawal, C. Lu, C. Gill, in RTSS, Vienna, 29 Nov–2 Dec 2011

    Google Scholar 

  • A. Saifullah, D. Ferry, C. Lu, C. Gill. Technical report, Washington University, 2012

    Google Scholar 

  • A. Singh, S.K. Baruah, in RTSS, Paris, 5–8 Dec 2017

    Google Scholar 

  • A. Singh, P. Ekberg, S.K. Baruah, in ECRTS, Dubrovnik, 27–30 June 2017

    Google Scholar 

  • J. Spasic, D. Liu, E. Cannella, T. Stefanov, in CODES+ISSS, Amsterdam, 4–9 Oct 2015

    Google Scholar 

  • B. Sprunt, L. Sha, J. Lehoczky, Real-Time Syst. 1, 27 (1989)

    Article  Google Scholar 

  • J.A. Stankovic, Technical report, University of Massachusetts, 1992

    Google Scholar 

  • M. Stigge, W. Yi, in ECRTS, Pisa, 11–13 July 2012

    Google Scholar 

  • M. Stigge, W. Yi, in RTSS, Vancouver, 3–6 Dec 2013

    Google Scholar 

  • M. Stigge, W. Yi, in ECRTS, Madrid, 8–11 July 2014

    Google Scholar 

  • M. Stigge, P. Ekberg, N. Guan, W. Yi, in RTAS, Chicago, 11–14 Apr 2011a

    Google Scholar 

  • M. Stigge, P. Ekberg, N. Guan, W. Yi, in ECRTS, Porto, 6–9 July 2011b

    Google Scholar 

  • M. Stigge, P. Ekberg, W. Yi, ACM SIGBED Rev. 10, 20 (2012)

    Article  Google Scholar 

  • M. Stigge, Dissertation, Uppsala University, 2014

    Google Scholar 

  • J. Sun, N. Guan, Q. Deng, P. Zeng, W. Yi, ACM Trans. Embed. Comput. Syst. (TECS) 15, 14:1 (2016)

    Google Scholar 

  • J. Sun, N. Guan, Y. Wang, Q. He, W. Yi, in RTSS, Paris, 5–8 Dec 2017

    Google Scholar 

  • H. Takada, K. Sakamura, in RTCSA, Taipei, 27–29 Oct 1997

    Google Scholar 

  • L. Thiele, S. Chakraborty, M. Naedele, in ISCAS, Geneva, 28–31 May 2000

    Google Scholar 

  • K. Tindell, Technical report, University of York, 1994

    Google Scholar 

  • K.W. Tindell, A. Burns, A.J. Wellings, Real-Time Syst. 6, 133 (1994)

    Article  Google Scholar 

  • E. Wandeler, Dissertation, ETH Zurich, 2006

    Google Scholar 

  • Y. Wang, N. Guan, J. Sun, M. Lv, Q. He, T. He, W. Yi, in RTCSA, Hsinchu, 16–18 Aug 2017

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Hong Kong Polytechnic University, Kowloon, Hong Kong

    Yue Tang & Nan Guan

  2. Department of Information Technology, Uppsala University, Uppsala, Sweden

    Wang Yi

Authors
  1. Yue Tang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nan Guan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wang Yi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nan Guan .

Editor information

Editors and Affiliations

  1. School of Electrical Engineering and Computer Science, Queensland University of Technology, Brisbane, QLD, Australia

    Yu-Chu Tian

  2. School of Electrical and Information Engineering, The University of Sydney, Sydney, NSW, Australia

    David Charles Levy

Section Editor information

  1. School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore

    Arvind Easwaran

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Tang, Y., Guan, N., Yi, W. (2020). Real-Time Task Models. In: Tian, YC., Levy, D. (eds) Handbook of Real-Time Computing. Springer, Singapore. https://doi.org/10.1007/978-981-4585-87-3_29-1

Download citation

  • DOI: https://doi.org/10.1007/978-981-4585-87-3_29-1

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-4585-87-3

  • Online ISBN: 978-981-4585-87-3

  • eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation