Zusammenfassung
Die leichte Interpretierbarkeit von Funktionsblock-Diagrammen nach IEC 61131-3 ermöglicht eine weitgehend direkte Umsetzung regelungstechnischer Blockschaltbilder in Realzeit-Software, so daß insbesondere auch Fach-Experten der verschiedenen Disziplinen, die an einem Projekt beteiligt sind, an einer “Verifikation durch Inspektion” mitwirken können. Dies gilt insbesondere auch für Fehlertoleranz-gerichtete Komponenten der Realzeit-Software für SIL 3 und höher nach IEC 61508, deren Zertifizierung von herausragender Bedeutung ist, da Fehler in Fehlertoleranz-gerichteten Komponenten ein erhöhtes Gefahrenpotential darstellen und damit die Akzeptanz solcher Komponenten erschweren bzw. sogar verhindern. Vor dem Hintergrund des Fallbeispiels der Regelung eines chemischen Prozesses werden Voraussetzungen und Möglichkeiten der Zertifizierung Fehlertoleranz-gerichteter Software, u.a. in der Ausprägung nichtlinearer Zustands-Beobachter als analytische Redundanz, für verläßliche, insbesondere sichere Prozesse auf der Basis der “Verifikation durch Inspektion”, diskutiert. Dabei werden Funktionsblock-Diagramm-Architekturen mit “abgeleiteten” Funktionsblöcken zur Beherrschung der Komplexität auf Task-Ebene vorgestellt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
IEC (1999). International Standard IEC 61131–3. Programmable Controllers - Part 3: Programming Languages. 2nd ed., IEC, Geneva.
R. Neimeier, Y. Elobaid, A. Partschefeid, G. Thiele, G. Schulz-Ekloff (2001). Zertifizierbare Fehlertoleranz-gerichtete Realzeit-Software zur verläßlichen Fuzzy-Regelung eines CSTR-Prozesses. A. Gräser, B. Lohmann (Hrsg.): Proc. 21. Kolloquium der Automatisierungstechnik, Salzhausen 2000 (im Druck).
E. L. Ding (1999). Modellgestützte Sensorüberwachung eines ESP-Systems. Atp 41, H. 7, pp.35–42.
R. Neimeier, G. Thiele, G. Schulz-Ekloff, T. Vielhaben, B. Höpfner (1998). Objekt-basierte Simulation und Implementation der Regelung eines chemischen Prozesses mittels SPS nach IEC 1131. In P. Holleczek (Hrsg.): Proc. PEARL 98, Echtzeitsysteme im Netz. Springer-Verlag, pp. 59–69.
G. Thiele, L. Renner, R. Neimeier (2001). Programmable Logic Controllers. In H. Unbehauen (Theme Ed.): Encyclopedia of Life Support Systems (EOLSS). UNESCO (wird veröffentlicht).
W. A. Halang (2000). Programmable Control on the Safety Integrity Levels 3 and 4. In TÜV Nord, EWICS TC 7 und TÜV Rheinland (Hrsg.): Proc. 4. Int. Symp. für sicherheitsgerichtete Anwendungen, Köln, 3.-4. Mai 2000.
S. Zacher (2000). SPS-Programmierung mit Funktionsbausteinsprache. Automatisierungstechnische Anwendungen. VDE-Verlag, Berlin.
IEC (1998). IEC 61508–3. Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements. IEC, Geneva.
DIN (1994). DIN 19226–1: Leittechnik, Regelungstechnik und Steuerungstechnik, Allgemeine Grundbegriffe. Beuth-Verlag, Berlin.
S. Bologna (1999). Safety Applications of Programmable Electronic Systems in the Process Industry. Prepr. of 14th IFAC World Congress, Beijing, P. R. China, Paper No. Q-9e-o1-2, pp. 515–518.
L. L. Pullum (1997). Software Fault Tolerance. Int. Symp. of System Science, Tutorial Notes, Albuquerque, NM, USA, 1997.
M. Blanke, C. W. Frei, F. Kraus, R. J. Patton, M. Staroswiecki (2000). What is Fault-Tolerant Control? In A. M. Edelmayer, C. Banyasz (Eds.): Proc. SAFEPROCESS 2000, Budapest, pp. 40–51.
J.-C. Laprie (1995). Dependability - Its Attributes, Impairments and Means. In B. Randell, J.-C. Laprie, H. Kopetz, B. Littlewood (Eds.): Predictably Dependable Computing Systems. Springer-Verlag, pp. 3–24.
U. Enste, U. Epple (2001). Technical Application of Hybrid Modelling Methods to specify Function Block Systems, at 49, H. 2, pp. 52–59.
K. Kolahi (1999). Selbstdiagnose von Prozeß-Sensorsystemen. Vortrag DFMRS Jahrestagung, Bremen, 1999.
Smart Software Solutions GmbH (1999). Handbuch zur SPS-Programmentwicklung mit CoDeSys 2.1. CoDeSys for Automation Alliance, CD-Vers.2.11 (2001), 306 pp.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thiele, G., Neimeier, R., Renner, L., Wendland, E., Schulz-Ekloff, G. (2001). Zur Entwicklung zertifizierbarer fehlertoleranter Realzeit-Software mit Funktionsblock-Diagrammen für die Automatisierung. In: Holleczek, P., Vogel-Heuser, B. (eds) Echtzeitkommunikation und Ethernet/Internet. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56450-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-56450-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42706-3
Online ISBN: 978-3-642-56450-5
eBook Packages: Springer Book Archive