Zusammenfassung
Zweck diese Kapitels ist es, die formalen und technischen Voraussetzungen zu schaffen, damit in den nachfolgenden Kapiteln die Konzepte und Verfahren der Planung bei Echtzeitsystemen in konsistenter und einleuchtender Weise dargestellt werden können. Dazu geht es zunächst um Begrifflichkeiten, Notationen und Abläufe, die mit dem Planen verbunden sind (siehe Abschn. 2.1). Im Anschluss daran erfolgt eine umfangreiche Beschäftigung mit der Zeit und ihrer Erfassung, beginnend mit der Sicht der Physik, dann aus verschieden Sichten, die die Informatik auf die Zeit hat (siehe Abschn. 2.2). Der nachfolgende Abschnitt befasst sich mit zwei für die Planung wichtigen Prozessparametern: der Ausführungszeit und der Frist (siehe Abschn. 2.3). Aufbauend auf dem Prozessbegriff wird die Parallelausführung von Prozessen und in der Folge die Notwendigkeit der Beschränkung der Parallelität thematisiert (siehe Abschn. 2.4). Schließlich werden vernetzte Rechensysteme betrachtet, die mittels Nachrichten miteinander kommunizieren (siehe Abschn. 2.5).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Zöbel, D.: Hogenkamp, Horst: Konzepte der parallelen Programmierung. Teubner, Stuttgart (1988)
Liu, J.S.W.: Real-Time Systems. Prentice Hall, New Jersey (2000)
Buttazzo, G.C.: Hard Real-Time Computing Systems: Predictable Scheduling, Algorithms and Applications. Kluwer Academic Publishers, Boston (2005)
Herrtwich, R.G.: Betriebsmittelvergabe unter Echtzeitgesichtspunkten. Informatik-Spektrum 14(2), 123–136 (1991)
Cottet, F., Delacroix, J., Mammeri, Z., Kaiser, C.: Scheduling in Real-Time Systems. Wiley, Chichester (2002)
Krishna, C.M., Shin, K.G.: Real-Time Systems. McGraw-Hill Companies, New York (1997)
Shaw, A.C.: Real-Time Systems and Software. Wiley, New York (2001)
Shen, C., Ramamritham, K., Stankovic, J.A.: Resource reclaiming in multiprocessor real-time systems. IEEE Trans. Parallel Distrib. Syst. 4(4), 382–397 (1993)
Cooling, J.: Software Engineering for Real-Time Systems. Addison Wesley, Harlow (2003)
Kopetz, H.: Real-Time Systems – Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Boston (1997)
Biondi, A., Melani, A., Marinoni, M., Di Natale, M., Buttazzo, G.: Exact interference of adaptive variable-rate tasks under fixed-priority scheduling. In: 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, 8–11 July 2014. S. 165–174 (2014)
Feld, T., Slomka, F.: Exact interference of tasks with variable rate-dependent behavior. IEEE Trans. CAD Integr. Circuits Syst. 37(5), 954–967 (2018)
Becker, M., Dasari, D., Mubeen, S., Behnam, M., Nolte, T.: End-to-end timing analysis of cause-effect chains in automotive embedded systems. J. Syst. Archit. Embed. Syst. Des. 80, 104–113 (2017)
Martinez, J., Sanudo, I., Bertogna, M.: Analytical characterization of end-to-end communication delays with logical execution time. IEEE Trans. CAD Integr. Circuits Syst. 37(11), 2244–2254 (2018)
Biondi, A., Di Natale, M.: Achieving predictable multicore execution of automotive applications using the LET paradigm. In: IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, 11–13 April 2018, Porto, Portugal, S. 240–250 (2018)
Ogawa, M., Honda, S., Takada, H.: Efficient approach to ensure temporal determinism in automotive control systems. In: 8th International Symposium on Embedded Computing and System Design, ISED 2018, Cochin, India, 13–15 December 2018, S. 53–57 (2018)
Zhang, H., Knightly, E.W.: RCSP and stop-and-go: a comparison of two non-work-conserving disciplines for supporting multimedia communication. Multimedia Syst. 4(6), 346–356 (1996)
Braunstein, S.L., Caves, C.M.: Statistical distance and the geometry of quantum states. Phys. Rev. Lett. 72(22), 3439–3443 (1994)
Buz̆ek, V., Derka, R., Massar, S.: Optimal quantum clocks. Phys. Rev. Lett. 82(10), 2207–2210 (1999)
Bettini, C., Wang, X.S., Jajodia, S.: A general framework and time granularity and its application to temporal reasoning. Ann. Math. Artif. Intell. 22(1–2), 29–58 (1998)
Schmid, U.: Orthogonal accuracy clock synchronization. Projektbericht Nr. 183/1-77, Technische Universität Wien, Institut für Automation, March 1997
Allan, D.W., Ashby, N., Hodge, C.C.: The science of timekeeping. Application note 1289, Hewlett Packard (1997)
Gallmeister, B.O.: POSIX.4: Programming for the Real World. O’Reilly and Associates, Inc., Sebastopol (1995)
Randy, B.: Calender queues: a fast O(1) priority queue implementation. Commun. ACM 31(10), 1220–1227 (1988)
Savage, S., Tokuda, H.: Real-time Mach timers: exporting time to the user. In: USENIX-MACH III Symposium, Santa Fe, New Mexico, S. 111–118, April 1993
Varghese, G., Lauck, T.: Hashed and hierarchical timing wheels. IEEE/ACM Trans. Networking 5(6), 824–834 (1997)
Karlsson, J.: On Data structures and memory models. Doctoral thesis, Luleå University of Technology, Sweden, May 2006
Hajnicz, E.: Time Structures – Formal Description and Algorithmic Representation. LNAI, Bd. 1047. Springer, Berlin (1996)
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Taft, S.T., Duff, R.A., Brukardt, R.L., Leroy, P., Ploedereder, E.: Ada 2005 Reference Manual. Language and Standard Libraries, LNCS, Bd. 4348. Springer, New York (2005)
Lundqvist, T.: A WCET analysis method for pipelined microprocessors with cache memories. Ph.d. thesis, Chalmers University of Technology, Göteborg, Sweden (2002)
Stewart, D.B.: Measuring execution time and real-time performance. In: Embedded Systems, Embedded Systems Conference, Boston, S. 1–15, September 2006
Kirner, R.: Extending optimising compilation to support worst-case execution time analysis. Ph.D. thesis, Technische Universität Wien, May 2003
Wilhelm, R., et al.: The worst case execution time problem - overview of methods and survey of tools. ACM Trans. Program. Lang. Syst. 7(3), 1–36 (2008)
Stappert, F., Altenbernd, P.: Complete worst-case execution time analysis of straight-line hard real-time programs. J. Syst. Archit. 46(4), 339–355 (2000)
Bagnara, R., Bagnara, A., Hill, P.M.:The MISRA C coding standard and its role in the development and analysis of safety- and security-critical embedded software. In: Static Analysis – 25th International Symposium, SAS 2018, Freiburg, Germany, 29–31 August 2018, Proceedings, S. 5–23 (2018)
Lundberg, L.: Utilization based schedulability bounds for age constraint process sets in real-time systems. Real-Time Syst. 23, 273–295 (2002)
Bouyssounouse, B., Sifakis, J.: Tools for Verification and Validation. LNCS, Bd. 3436. Springer, Berlin (2005)
Colin, A., Puaut, I., Rochange, C., Sainrat, P.: Calcul de majorants de pire temps d’exécution: état de l’art. Technical report, Institut de Recherche en Informatique et Système Aléatoires (IRISA), Rennes, France, May 2002
Li, X., Roychoudhury, A., Mitra, T.: Modeling out-of-order processors for WCET analysis. Real-Time Syst. 34, 195–227 (2006)
Lokuciejewski, P., Marwedel, P.: Worst-Case Execution Time Aware Compilation Techniques for Real-time Systems. Springer, Cham (2011)
Maroneze, A.O.: Certified compilation and worst-case execution time estimation. (Compilation formellement vérifiée et estimation du pire temps d’éxécution). Ph.D. thesis, University of Rennes 1, France (2014)
Abella, J., Hernández, C., Quiñones, E., Cazorla, F.J., Conmy, P.R., Azkarate-Askasua, M., Pérez, J., Mezzetti, E., Vardanega, T.: WCET analysis methods: pitfalls and challenges on their trustworthiness. In: 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, 8–10 June 2015, S. 39–48 (2015)
Schulz, A.: Temporale Prüfung von Software-Funktionen. Ph.D. thesis, Universität Carolo Wilhelmina, Braunschweig, August 2011
Abella, J., Padilla, M., Castillo, J.D., Cazorla, F.J.: Measurement-based worst-case execution time estimation using the coefficient of variation. ACM Trans. Design Autom. Electr. Syst., 22(4), 72:1–72:29 (2017)
Hahn, S., Reineke, J., Wilhelm, R.: Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12(1), 28–36 (2015)
Cervin, A., Eker, J.: Control-scheduling codesign of real-time systems: the control server approach. J. Embed. Comput. 1(2), 209–224 (2005)
Castané, R., Marti, P., Velasco, M., Cervin, A., Henriksson, D.. Resource management for control tasks based on the transient dynamics of closed-loop systems. In: 18th Euromicro Conference on Real-Time Systems (ECRTS), S. 171–180. IEEE Computer Society, Dresden, Germany, July 2006
Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity analysis for fixed-priority real-time systems. In: 18th Euromicro Conference on Real-Time Systems (ECRTS), Dresden, Germany, July 2006, S. 13–22. IEEE Computer Society (2006)
Balbastre, P., Ripoll, I., Crespo, A.: Optimal deadline assignment for periodic real-time tasks in dynamic priority systems. In: 18th Euromicro Conference on Real-Time Systems, S. 65–74. IEEE, Dresden, Germany, July 2006
Kim, T., Shin, H., Chang, N.: Deadline assignment to reduce output jitter of real-time tasks. In: 16th IFAC Workshop on Distributed Computer Control Systems, Sidney, Australia, S. 67–72, November 2000
Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings Absolute and relative temporal constraints in hard real-time databases. In: Proceedings of IEEE Euromicro Workshop on Real Time Systems, February 1992
Zöbel, D.: Canonical approach to derive and enforce real-time conditions. In: 1st International ECRTS Workshop on Real-Time and Control (RTC 2005). Euromicro, Palma de Mallorca, July 2005
Faulk, S., Brackett, J., Ward, P., Kirby, J.: The core method for real-time requirements. IEEE Software 9, 22–33 (1992)
Stallings, W.: Operating Systems – Internals and Design Principles. Addison-Wesley, Reading (2001)
Mckenney, P.E.: Memory barriers: a hardware view for software hackers (2009)
Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. 28(9), 690–691 (1979)
Lochbihler, A.: Making the java memory model safe. ACM Trans. Program. Lang. Syst. 35(4), 12:1–12:65 (2014)
Molka, D., Hackenberg, D., Schöne, R., Nagel, W.E.: Cache coherence protocol and memory performance of the intel haswell-ep architecture. In: 44th International Conference on Parallel Processing, ICPP 2015, Beijing, China, 1–4 September 2015, S. 739–748 (2015)
Vajda, A.: Programming Many-core Chips. Springer, New York (2011)
Nürnberger, S., Drescher, G., Rotta, R., Nolte, J., Schröder-Preikschat, W.: Shared memory in the many-core age. In: Euro-Par 2014: Parallel Processing Workshops – Euro-Par 2014 International Workshops, Porto, Portugal, 25–26 August 2014, Revised Selected Papers, Part II, S. 351–362 (2014)
Christgau, S., Schnor, B.: Exploring one-sided communication and synchronization on a non-cache-coherent many-core architecture. Concurrency Comput. Pract. Experience 29(15), e4113 (2017)
Cheng, S.-W., Chang, C.-W., Chen, J.-J., Kuo, T.-W., Hsiu, P.-C.: Many-core real-time task scheduling with scratchpad memory. IEEE Trans. Parallel Distrib. Syst. 27(10), 2953–2966 (2016)
Rihani, H., Moy, M., Maiza, C., Davis, R.I., Altmeyer, S.: Response time analysis of synchronous data flow programs on a many-core processor. In: Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, 19–21 October 2016, S. 67–76 (2016)
Perret, Q., Maurère, P., Noulard, É., Pagetti, C., Sainrat, P., Triquet, B.: Mapping hard real-time applications on many-core processors. In: Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, 19–21 October 2016, S. 235–244 (2016)
Flynn, M.: Very high speed computing systems. Proc. IEEE 54(9), 1901–1909 (1966)
Andrews, G.R.: Concurrent Programming. The Benjamin/Cummings Publishing Company, Redwood City (1991)
Peterson, G.L.: Myths about the mutual exclusion problem. Inf. Process. Lett. 12(3), 115–116 (1981)
Dijkstra, E.W.: Cooperating sequential processes. In: Genuys, F. (Hrsg.) Programming Languages, S. 43–112. Academic Press, New York (1968)
Hoare, C.A.R.: Towards a theory of parallel programming. In: Hoare, C.A.R., Perrot, R.H. (Hrsg.) Operating Systems Techniques, S. 61–71. Academic Press, London (1972)
Hansen, P.B.: Concurrent programming concepts. ACM Comput. Surv. 5(5), 223–245 (1973)
Ghassemi-Tabrizi, A.: Realzeit-Programmierung. Springer Verlag, Heidelberg (2000)
Brich, P., Hinsken, G., Krause, K.H.: Echtzeitprogrammierung in Java. Publicis MCD Verlag (2000)
Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages. Addison Wesley, Boston (2001)
Kameda, T.: Testing deadlock-freedom of computer systems. J. Assoc. Comput. Mach. 27(2), 270–280 (1980)
Taylor, R.N.: Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica 19, 57–84 (1983)
Stone, H.S.: High-Performance Computer Architecture. Addison-Wesley, Boston (1987)
Amdahl, G.: Validity of the single-processor approach to achieving large scale capabilities. In: AFIPS Conference Proceedings, Atlantic City, NJ, Bd. 30, S. 483–485, April 1967
Leung, J.Y.-T., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic, real-time tasks. Perform. Eval. 2(4), 237–250 (1982)
Brandenburg, B.B., Gul, M.: Global scheduling not required: Simple, near-optimal multiprocessor real-time scheduling with semi-partitioned reservations. In: 2016 IEEE Real-Time Systems Symposium, RTSS 2016, Porto, Portugal, 29 November–2 December 2016, S. 99–110 (2016)
Kumar, S., Raghavan, V.S., Deng, J.: Medium access control protocols for ad hoc wireless networks: a survey. Ad Hoc Networks, Elsevier 4, 326–358 (2006)
Akyildiz, I.F., Melodia, T., Chowdhury, K.R.: A survey on wireless multimedia sensor networks. Comput. Netw. 51(4), 921–960 (2007)
International Standard Organization: Basic Reference Model for Open Systems Interconnection (1984)
Tanenbaum, A.S.: Computer Networks. 2. Aufl. Prentice-Hall International Editions, Englewood Cliffs (1988)
Halsall, F.: Data Communications, Computer Networks, and Open Systems, 3. Aufl. Addison-Wesley, Boston (1992)
Stankovic, J.A., Abdelzaher, T.F., Lu, C., Sha, L., Hou, J.C.: Real-time communication and coordination in embedded sensor networks. Proc. IEEE 91(7), 1002–1022 (2003)
Navet, N., Song, Y., Simonot-Lion, F., Wilwert, C.: Trends in automotive communication systems. Proc. IEEE 93(6), 1204–1223 (2005). (special issue on Industrial Communications Systems)
Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Schwabl, W., Senft, C., Reisinger, J., Zainlinger, R.: Distributed fault-tolerant real-time systems: the MARS approach. IEEE Micro 9(1), 25–40 (1989)
Kopetz, H.: Software engineering for real-time: a roadmap. In: IEEE Software Engineering Conference (ICSE) - Future of SE track, Limmerick, Ireland, S. 2001–2211 (2000)
Kern, A.: Ethernet and IP for Automotive E/E-Architectures – Technology Analysis, Migration Concepts and Infrastructure. Ph.d. thesis, Universität Erlangen-Nürnberg (2012)
Steinbach, T., Lim, H.T., Korf, F., Schmidt, T.C., Herrscher, D., Wolisz, A.: Tomorrow’s in-car interconnect? A competitive evaluation of IEEE 802.1 AVB and time-triggered ethernet (AS6802). In: Proceedings of the 76th IEEE Vehicular Technology Conference, VTC Fall 2012, Quebec City, Canada, 3–6 September 2012, S. 1–5 (2012)
Li, X.: Worst-case delay analysis of real-time switched Ethernet networks with flow local synchronization. Ph.D. thesis. Institut National Polytechnique de Toulouse, September 2013
Coelho, R., Fohler, G., Scharbarg, J.L.: Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links. In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Marocco, 3–7 April 2017, S. 586–593 (2017)
Li, M., Zhu, G., Savaria, Y., Lauer, M.: Reliability enhancement of redundancy management in AFDX networks. IEEE Trans. Industr. Inf. 13(5), 2118–2129 (2017)
Dombrowski, Ch., Gross, J.: Echoring: a low-latency, reliable token-passing MAC protocol for wireless industrial networks. In: European Wireless. Verband der Elektrotechnik, Elektronik und Informationstechnik, Budapest, Hungary, May 2015
Silvo, J., Eriksson, L.M., Björkbom, M., Nethi, S.: Ultra-reliable and real-time communication in local wireless applications. In: Proceedings of the IEEE IECON 2013-39th Annual Conference, Wien, Austria, S. 5611–5616, January 2013
Jacob, R., Zimmerling, M., Huang, P., Beutel, J., Thiele, L.: End-to-end real-time guarantees in wireless cyber-physical systems. In: 2016 IEEE Real-Time Systems Symposium, RTSS 2016, Porto, Portugal, 29 November–2 December 2016, S. 167–178 (2016)
Beomsu Kim, Hosung Park, Kyong Hoon Kim, Daniel Godfrey, and Ki-Il Kim. A survey on real-time communications in wireless sensor networks. Wireless Communications and Mobile Computing, 2017, 2017
Oliver, R.S., Fohler, G.: Timeliness in wireless sensor networks: common misconceptions. In: Proceedings of the 9th International Workshop on Real-Time Networks (RTNS), Toulouse, France, November 2010
Mills, D.L.: A brief history of NTP time: memoirs of an internet timekeeper. Comput. Commun. Rev. 33(2), 9–21 (2003)
IEEE Standard 1588-2008: IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems (2002)
Chen, W., Sun, J., Zhang, L., Liu, X., Hong, L.: An implementation of IEEE 1588 protocol for IEEE 802.11 WLAN. Wireless Netw. 21(6), 2069–2085 (2015)
Seetharaman, S.: Fixed Priority Scheduling for Hard Real-Time Systems. Degree project in electrical engineering, KTH Royal Institute of Technology, Stockholm (2017)
Marques, R.S.: Méthodologie développement des services de communication temps-réel d’un intergiciel embarqué dans l’automobile. Thesis, Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National Polytechnique de Lorraine, Nancy, Septembre 2006
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this chapter
Cite this chapter
Zöbel, D. (2020). Methodische und technische Grundlagen. In: Echtzeitsysteme. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-60421-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-60421-2_2
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-60420-5
Online ISBN: 978-3-662-60421-2
eBook Packages: Computer Science and Engineering (German Language)