Zusammenfassung
Rechenprozessorientierte Echtzeitverarbeitung ohne Verwendung asynchroner Unterbrechungen wird als drittes, inhärent sicheres Paradigma des Echtzeitbetriebes vorgestellt, das die Vorteile synchroner und asynchroner Programmierung vereint. Zur Behebung fehlerhafter Zustände wird es kombiniertmit der Fähigkeit von Rechnerknoten zum Neuaufsetzen der Verarbeitung im laufenden Betrieb durch Kopieren des internen Zustands redundanter Knoten. Diese Zustandsdaten brauchen nur protokolliert zu werden, um im Testbetrieb nachträgliche Ablauf- und für den Normalbetrieb Postmortem- Analysen zu ermöglichen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Bolton, W.: Programmable Logic Controllers. Elsevier Books, Oxford (2003)
Buttazzo, G.C.: Hard Real Time Systems, Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Boston (2002)
Dertouzos, M.L.: Control robotics: the procedural control of physical processes. Information Processing 74 (1974)
Früh, K.F.: Handbuch der Prozeautomatisierung. Auflage 2.2. R. Oldenbourg Verlag, München-Wien (1997)
Halang, W.A. und Stoyenko, A.D.: Constructing Predictable Real Time Systems. Kluwer Academic Publishers, Boston (1991)
Hamuda, G. und Tsai, G.: Formal specification of a real-time operating systems component. In: Real-Time Programming 2003. Elsevier Science, Oxford (2003)
Henn, R.: Deterministische Modelle für die Prozessorzuteilung in einer harten Realzeit-Umgebung. Dissertation, Technische Universität München (1975)
Skambraks, M. und Halang, W.A.: Einheit zur Verwaltung von Echtzeitprozessen ohne asynchrone Unterbrechungen. Deutsches Patent Nr. 102005039771 seit dem 24. August 2005
Skambraks, M. und Halang, W.A.: Schaltungstechnisch realisierte Einheit zur nahezu verzögerungsfreien, nach Altersklassen sortierten Ausgabe zuvor sequentiell zugeführter Datenwortmengen. Deutsches Patent Nr. 102005054081 seit dem 13. November 2005
Rabiee, M.: Programmable Logic Controllers: Hardware and Programming. Ingram, New Orleans (2002)
Sha, L., Abdelzaher, T., Årzén, K.E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J. und Mok, A.: Real-time scheduling theory: A historical perspective. Real-Time Systems 28(2/3), 101–155 (2004)
Shaw, A.C.: Real-Time Systems and Software. John Wiley, New York (2001)
Spuri, M.: Analysis of deadline scheduled real-time systems. Rapport the Recherche RR-2873, INRIA, Le Chesnay (1996)
Stankovic, J.A., Spuri, M., Ramamritham, K. und Buttazzo, G.C.: Deadline Scheduling for Real-Time Sytems, EDF and Related Algorithms. Kluwer Academic Publishers, Boston (1998)
VDI/VDE-GMR: Richtlinie VDI/VDE 3554: Funktionelle Beschreibung von Prozessrechner-Betriebssystemen. Beuth Verlag, Berlin-Köln (1982)
Zhang, Q.: Konzepte für die Kommunikation zwischen Automatisierungsgeräten. Dissertation, Technische Universität Berlin (2002)
Yuhua, Z., Zhou, C.: A formal proof of the deadline driven scheduler. In Proc. 3rd Intl. Symp. Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 756–775. Springer-Verlag, London (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Halang, W.A., Konakovsky, R.M. (2013). Unterbrechungsfreie asynchrone Echtzeitverarbeitung mit Zustandswiederherstellung zur Laufzeit. In: Sicherheitsgerichtete Echtzeitsysteme. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37298-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-37298-8_13
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-642-37297-1
Online ISBN: 978-3-642-37298-8
eBook Packages: Computer Science and Engineering (German Language)