Skip to main content
SpringerLink
Log in

Modeling Quality Aspects: Real-Time

  • Chapter
  • First Online:
Model-Based Engineering of Embedded Systems

Abstract

The meaning of real-time computing is overloaded and ambiguous. Often it is associated with a quick and immediate system response to an external event or it is used to describe the performance of multimedia systems that achieve more than 25 frames per second.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 84.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Alur 1999] R. Alur: Timed automata. In: Theoretical Computer Science, Vol. 126, No. 2, 1999, pp. 183-235.

    Article  MathSciNet  Google Scholar 

  2. [Buckl et al. 2010] C. Buckl, I. Gaponova, M. Geisinger, A. Knoll, E. A. Lee: Model-based specification of timing requirements. In: Proceedings of the tenth ACM International conference on Embedded software. ACM, New York, 2010, pp. 239-248.

    Google Scholar 

  3. [Buttazzo 2004] G. C. Buttazzo: Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications. 2nd Edition, Springer, Santa Clara, CA, USA, 2004, pp. 4-9.

    Google Scholar 

  4. [Henzinger et al. 2003] T. A. Henzinger, B. Horowitz, C. M. Kirsch: Giotto: A time-triggered language for embedded programming. In: Proceedings of the IEEE, Vol. 91, No. 1, 2003. pp. 84-99.

    Google Scholar 

  5. [Hilbrich 2011] R. Hilbrich, H.-J. Goltz: Model-based generation of static schedules for safety critical multi-core systems in the avionics domain. In: Proceeding of the 4th international workshop on Multicore software engineering, Waikiki, Honolulu, HI, USA, 2011, pp. 9-16.

    Google Scholar 

  6. [Jette 1997] Jette, M. A: Performance characteristics of gang scheduling in multiprogrammed environments. In: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), ACM, 1997, pp. 1-12.

    Google Scholar 

  7. [Kopetz 1991] H. Kopetz: Event-triggered versus time-triggered real-time systems. In: Operating Systems of the 90s and Beyond, Lecture Notes in Computer Science Vol. 563, 1991, pp. 86-101.

    Google Scholar 

  8. [Ousterhout 1982] Ousterhout, J. K.: Scheduling techniques for concurrent systems. In: Proceedings of 3rd International Conf. on Distributed Computing systems, 1982, pp. 22 – 30.

    Google Scholar 

  9. [Zhao et al. 2007] Y. Zhao, E. A. Lee, J. Liu: A programming model for time-synchronized distributed real-time systems. In: Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, Bellevue, WA, USA 2007. pp. 259-268.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer Institute for Computer Architecture and Software Technology (FIRST), Kekuléstr. 7, 12489, Berlin, Germany

    Robert Hilbrich & J. Reinier van Kampenhout

  2. paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Gerlingstr. 16, 45127, Essen, Germany

    Marian Daun & Dr. Thorsten Weyer

  3. Department of Informatics, Technische Universität München (TUM), Boltzmannstr. 3, 85748, Garching, Germany

    Dominik Sojer

Authors
  1. Robert Hilbrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Reinier van Kampenhout
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marian Daun
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dr. Thorsten Weyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Dominik Sojer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Inst. Informatik und, Wirtschaftsinformatik, Universität Duisburg-Essen, Gerlingstr. 16, Essen, 45127, Germany

    Klaus Pohl

  2. Robert Bosch GmbH, Robert-Bosch-Platz 2, Schwieberdingen, 71701, Germany

    Harald Hönninger

  3. , Corporate Technology, Siemens AG, Otto-Hahn-Ring 6, München, 81739, Germany

    Reinhold Achatz

  4. Fak. Informatik, LS für Software & Systems Engineering, TU München, Boltzmannstr. 3, Garching, 85748, Germany

    Manfred Broy

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hilbrich, R., van Kampenhout, J.R., Daun, M., Weyer, T., Sojer, D. (2012). Modeling Quality Aspects: Real-Time. In: Pohl, K., Hönninger, H., Achatz, R., Broy, M. (eds) Model-Based Engineering of Embedded Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34614-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34614-9_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34613-2

  • Online ISBN: 978-3-642-34614-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation