Abstract
The tendency to design the system-software of modern Programmable Logic Controllers (PLCs) on the basis of the features of well known realtime operating systems has influenced the IEC 1131 Standard for PLCs with respect to the inclusion of an explicit task model. This is a signiflcant step towards the inclusion of fault-tolerance, e.g. tolerating the missing of task-deadlines. The constructs for exception-handling and reconßguration of modern realtime-languages, e.g. PEARL 90, are well suited for a transparent and dependable implementation of fault-tolerance mechanisms in PLCs.
On the basis of these concepts, this paper discusses solutions for the integration of fault-tolerance with respect to the function-block diagram (FBD)-language, which is of particular interest with respect to the certification of realtime-software for PLCs in safety critical systems. A prototype implementation of the PEARL-PLC will be used for the verification of the outlined mechanisms using adaptive control as typical task-scenario.
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
Ada 95 (1995). Ada 95 Reference Manual. Intermetrics, Inc., Cambridge, Mass.
Beestermöller, HJ., Trost, J. (1992). Erweiterung eines PEARL-basierten Automatisierungsgeräts zur blockorientierten Konfigurierung konkurrierender Regler- und Steuer-Tasks. Diplomarbeit, IAT, Universität Bremen.
Beestermöller,HJ., Thiele, G., Balcke, I., Trittin, T., Popovic, D. (1994). An online and offline programmable Multi-Loop Controller for Distributed-Systems. In Proc.: 3rd IEEE Conference on Control Applications. Glasgow 24-26 August 1994, Vol. 1, pp. 15 - 20.
Beestermöller, HI, (1997). Software-Fohlertoleranzverfahren für eingebettete verteilte Automatisierungssysteme. Dissertation, Universität Bremen, Institut für Automatisierungstechnik, (wird veröffentlicht).
Buttazo, GC., Stankovic, JA. (1995). Adding Robustness in dynamic preemptive Scheduling,. In Fussel DS., Malek, M. (Eds.): Responsive Computer Systems: Steps toward Faul-tolerant Real-Time Systems. Kluwer Academic Publishers, pp. 67 - 88.
DIN 66253 (1989). Programmiersprache PEARL, Teü 3: Mehrrechner PEARL. Beuth-Verlag, Berlin.
DIN 66253 (1996). Programmiersprache PEARL, Teil 2: PEARL 90 (Entwurf). Beuth-Verlag, Berlin.
Dix, A., Stone, R., Zedan, HSM. (1990). Design Issues for Reliable Time-Critical Systems. In Zedan, HSM (Ed.): Realtime Systems - Theory and Applications, North- Holland, pp. 305 - 322.
Frevert, L. (1994). Gedanken zur Zeitüberwachung von PEARL-Tasks. PEARL-News 2/94, Mitteilungen der GI-Fachgruppe 4.4. 2, pp. 4 - 6.
Frevert, L. (1995). Kritik an der ON-Einplanung in PEARL 90. Diskussionspapier der GI-Fachgruppe 4.4.2.
Halang, WA., Mangold, K. (1992). Real-Time Programming Languages. In Schiebe, M., Pferrer, S. ( Eds. ): Realtime Systems -Engineering and Applications. Kluwer Academic Publishers, pp. 141 - 200.
Halang, WA., Jung, S-H., Krämer, BJ, Scheepstra, JJ. (1993). A safety licensable Computing Architecture. World Scientific Publishing.
Hilbert, Chr. (1988). Deadline Scheduling in PEARL. Proc. PEARL 88 Workshop über Realzeitsysteme, Boppard 1988, pp. 67 - 79.
IEC 1131-3 (1993). International Standard IEC 1131-3. Programmable Controllers-Part 3: Programming Languages. First Edition. Bureau Central de la Commission Electrotechnique Internationale, Genf, Schweiz.
ISO 8802-4 (1990). Information Processing Systems - Local Area Networks - Part 4: Token Passing Bus Access Method and Physical Layer Specification. IEEE Standards Press, New Jersey, USA.
Kronawitter, G. (1987). Ein systemtheoretisch begründetes Software-Konzept für eine fehlertolerierende Multi-Mikrorechner-Automatisierungsstation. IDEA-Verlag, Puchheim.
M—ncher, H (1987). Fehlertolerante dezentrale Proze—automatisierung. Informatik Fachberichte 160, Springer-Verlag.
Marlowe, TJ., Stoyenko, AD., Masticola, SP., Welch, LR. (1994) Schedulability-Analysable Exception Handling for Fault-Tolerant Real-Time Languages. Real-Time Systems, Vol 7, No. 2, Sept. 1994, pp. 183 - 212.
PEARL 90 (1995). Sprachreport, Vers. 2.0. GI-Fachgruppe 4.4.2 “Echzeitprogrammierung, PEARL”. Gesellschaft für Informatik, Bonn.
H-P Preuß (1992). Fuzzy-Control - heuristische Regelung mittels unscharfer Logik. Teil 1: pp. 176-184, atp 34 (4). Teil 2: pp. 239-246, atp 34 (5). Oldenbourg-Verlag, München.
Stoll, J (1990). Fehlertoleranz in verteilten Automatisierungssystemen . Informatik Fachberichte 236, Springer-Verlag.
Thiele, G. (1993). Software-Entwurf in PEARL-orientierter Form. Realzeit-Anwendungen aus der Proze—automatisierung. Teubner-Verlag.
Thiele, G., Beesterm—ller, HJ., Renner, L., Domo, M., Popovic, D. (1995). Task-Configuration of a PEARL-based Programmable Controller for Process Automation. In: Control Engineering Practice, Vol. 3, No. 6, Pergamon-Press, pp. 843-848.
Wehler, A., Heidepriem, J. (1994). Sicherung von Echtzeitbedingungen durch Task-Lastmanagement unter UNIX. In P. Holleczek (Hrsg.): PEARL 94 Workshop über Realzeitsysteme. Informatik Aktuell, Springer-Verlag, pp. 130 - 138.
Welter, R., Thiele, G., Popovic, D., Wendland, E., Renner, L., Beestermöller, HJ, Trost, J. (1992). PEARL-Implementierung eines konfigurierbaren und parametrierbaren Automatisierungsgeräts. In P. Holleczek (Hrsg.): PEARL 92 Workshop über Realzeitsysteme. Informatik Aktuell, Springer-Verlag, pp. 108 - 124
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beestermöller, H.J., Thiele, G. (1997). Wirtschaftliche Fehlertoleranz in Funktionsblock-konfigurierbaren Feldstationen. In: Holleczek, P. (eds) Pearl 96. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60535-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-60535-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61641-2
Online ISBN: 978-3-642-60535-2
eBook Packages: Springer Book Archive