Skip to main content
Erschienen in:
Buchtitelbild

2011 | OriginalPaper | Buchkapitel

1. The Real-Time Environment

verfasst von : Hermann Kopetz

Erschienen in: Real-Time Systems

Verlag: Springer US

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The purpose of this introductory chapter is to describe the environment of real-time computer systems from a number of different perspectives. A solid understanding of the technical and economic factors that characterize a real-time application helps to interpret the demands that the system designer must cope with. The chapter starts with the definition of a real-time system and with a discussion of its functional and meta-functional requirements. Particular emphasis is placed on the temporal requirements that are derived from the well-understood properties of control applications. The objective of a control algorithm is to drive a process such that a performance criterion is satisfied. Random disturbances occurring in the environment degrade system performance and must be taken into account by the control algorithm. Any additional uncertainty that is introduced into the control loop by the control system itself, e.g., a non-predictable jitter of the control loop, results in a degradation of the quality of control.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
[Avi04]
Zurück zum Zitat Avizienis, A., et al., (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing. Vol. 1(1). (pp. 11-33).CrossRef Avizienis, A., et al., (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing. Vol. 1(1). (pp. 11-33).CrossRef
[Bur09]
Zurück zum Zitat Burns, A. & A. Wellings. (2009). Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. Addison-Wesley. Burns, A. & A. Wellings. (2009). Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. Addison-Wesley.
[But04]
Zurück zum Zitat Buttazzo, G. (2004). Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Verlag. Buttazzo, G. (2004). Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Verlag.
[Deg95]
Zurück zum Zitat Degani, A., Shafto, M. & Kirlik, A. (1995). Mode Usage in Automated Cockpits: some Initial Observations. Proc. of IFAC 1995. IFAC Press. (pp. 1-13). Degani, A., Shafto, M. & Kirlik, A. (1995). Mode Usage in Automated Cockpits: some Initial Observations. Proc. of IFAC 1995. IFAC Press. (pp. 1-13).
[Joh92]
Zurück zum Zitat Johnson, S. C., & Butler, R. W. (1992). Design for Validation. IEEE Aerospace and Electronic Systems Magazine. Vol. 7(1). (pp. 38-43).CrossRef Johnson, S. C., & Butler, R. W. (1992). Design for Validation. IEEE Aerospace and Electronic Systems Magazine. Vol. 7(1). (pp. 38-43).CrossRef
[Kop09]
Zurück zum Zitat Kopetz, H. (2009). Temporal Uncertainties in Cyber-Physical Systems. Institute für Technische Informatik, TU Vienna, Report 1/2009. Vienna. Kopetz, H. (2009). Temporal Uncertainties in Cyber-Physical Systems. Institute für Technische Informatik, TU Vienna, Report 1/2009. Vienna.
[Lee10]
Zurück zum Zitat Lee, E.A. & Seshia, S. A. (2010). Introduction to Embedded Systems – A Cyber-Physical Systems Approach. http://LeeSeshia.org, 2010. Lee, E.A. & Seshia, S. A. (2010). Introduction to Embedded SystemsA Cyber-Physical Systems Approach. http://​LeeSeshia.​org, 2010.
[Lev95]
Zurück zum Zitat Leveson, N.G. (1995). Safeware: System Safety and Computers. Addison Wesley Company. Reading, Mass. Leveson, N.G. (1995). Safeware: System Safety and Computers. Addison Wesley Company. Reading, Mass.
[Liu00]
Zurück zum Zitat Liu, J.W.S. (2000). Real-Time Systems. Prentice Hall. Liu, J.W.S. (2000). Real-Time Systems. Prentice Hall.
[Neu96]
Zurück zum Zitat Neumann, P.G. (1996). Risks to the Public in Computers and Related Systems. Software Engineering Notes, Vol. 21(5). ACM Press. p. 18. Neumann, P.G. (1996). Risks to the Public in Computers and Related Systems. Software Engineering Notes, Vol. 21(5). ACM Press. p. 18.
[Pow95]
Zurück zum Zitat Powell, D. (1995). Failure Mode Assumptions and Assumption Coverage In: B. Randell, J. C. Laprie, H. Kopetz, & B. Littlewood (Ed.), Predictably Dependable Computing Systems. Springer Verlag. Berlin. (pp. 123-140). Powell, D. (1995). Failure Mode Assumptions and Assumption Coverage In: B. Randell, J. C. Laprie, H. Kopetz, & B. Littlewood (Ed.), Predictably Dependable Computing Systems. Springer Verlag. Berlin. (pp. 123-140).
[SAE95]
Zurück zum Zitat SAE. (1995). Class C Application Requirements, Survey of Known Protocols, J20056. In: SAE Handbook. SAE Press. (pp. 23.437-23.461). SAE. (1995). Class C Application Requirements, Survey of Known Protocols, J20056. In: SAE Handbook. SAE Press. (pp. 23.437-23.461).
[Sal84]
Zurück zum Zitat Saltzer, J., Reed, D. P., & Clark, D. D. (1984). End-to-End Arguments in System Design. ACM Trans. on Computer Systems. Vol. 2(4). (pp. 277-288).CrossRef Saltzer, J., Reed, D. P., & Clark, D. D. (1984). End-to-End Arguments in System Design. ACM Trans. on Computer Systems. Vol. 2(4). (pp. 277-288).CrossRef
[Mar10]
Zurück zum Zitat Marwedel, P. (2010). Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Springer Verlag Marwedel, P. (2010). Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Springer Verlag
[Tas03]
Zurück zum Zitat Task Force. (2004). Final Report on the August 14, 2003 Blackout in the United States and Canada. US Department of Energy. Task Force. (2004). Final Report on the August 14, 2003 Blackout in the United States and Canada. US Department of Energy.
Metadaten
Titel
The Real-Time Environment
verfasst von
Hermann Kopetz
Copyright-Jahr
2011
Verlag
Springer US
DOI
https://doi.org/10.1007/978-1-4419-8237-7_1

Premium Partner