Zusammenfassung
Im vorliegenden Beitrag wird eine einfache Methode zum strukturierten Entwurf von Systemen paralleler Prozesse vorgestellt, die besonders vorteilhaft für die hohen Anforderungen an Sicherheit und Zuverlässigkeit bei autonomen Systemen erscheint. Sie besteht im Wesentlichen aus fünf Grundkonstrukten, die sich auch für grafische Programmentwicklung eignen. Um die Funktionsfähigkeit und Brauchbarkeit des Vorschlags nachzuweisen, wurde an der TUC im Rahmen einer Studienarbeit eine Testimplementation vorgenommen. Diese bestätigte voll die in den Entwurf gesetzten Erwartungen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Trenkel S., Gollub M.: Implementation von Methoden zur zuverlässigen Programmierung von Echtzeitsystemen. Studienarbeit im Fachbereich Mathematik und Informatik der TUC, Dez. 2004.
Elzer P.: Ein Mechanismus zur Erstellung strukturierter Prozeßautomatisierungsprogramme. Informatik Fachberichte Nr.7, GMR-GI-GfK Fachtagung Prozeßrechner, Springer, Berlin, Heidelberg, New York: 137–148, 1977.
Elzer P.: Strukturierte Beschreibung von Prozesssystemen. Dissertation, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung der Universität Erlangen-Nürnberg: Bd.12, Nr.1, 1979.
Elzer P.: Missed Opportunities in Real Time Programming? in: Wolfinger B. (Hrsg.): Innovationen bei Rechen-.und Kommunikationssystemen. 24. Jahrestagung der GI zusammen mit dem 13. IFIP Weltkongress, Hamburg, 28.August bis 2.September 1994: 328–339, Springer, 1994.
Elzer P.: A Method for the Construction of Reliable Real-Time Programs. Embedded in Munich Conference with Embedded Systems Conference 2004, München, Nov. 2004.
Nassi B., Shneiderman A.: Flowchart Techniques for Structured Programming. SIGPLAN Notices, Bd.8, Nr.8, 12–26, Aug. 1973.
Dennis J.B., Van Horn E.C.: Programming Semantics for Multiprogrammed Computations. CACM, Bd.9, Nr.3, 143–155, März 1966.
Van Wijngarden A., Mailloux B.J., Peck J.E.L., Koster C.H.A.: Report on the Algorithmic Language ALGOL 68. Num. Math. 14, 79–218, 1969.
Jones G.: Programming in OCCAM. Prentice Hall International, Englewood Cliffs, London, 1987.
Goodenough J.B.: Exception Handling — Issues and a Proposed Notation. CACM, Bd.18, Nr. 12, 683–696, Dez. 1975.
Habermann N.: Prevention of System Deadlocks. CACM, Bd.12, Nr.7, 373–385, Juli 1969.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elzer, P.F. (2005). Eine Technik zur Konstruktion sicherer und zuverlässiger Echtzeitsysteme. In: Holleczek, P., Vogel-Heuser, B. (eds) Echtzeitaspekte bei der Koordinierung Autonomer Systeme. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-29595-X_8
Download citation
DOI: https://doi.org/10.1007/3-540-29595-X_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29594-5
Online ISBN: 978-3-540-29595-2
eBook Packages: Computer Science and Engineering (German Language)