Zusammenfassung
Um einen hohen Automatisierungsgrad erreichen zu können, wird der Einsatz von Software in der Prozessautomatisierung immer wichtiger. Allerdings hat Software bis heute nicht das Maß an Verlässlichkeit erreicht, das zur Umsetzung sicherheitsgerichteter Automatisierungssysteme erforderlich ist. Von den bisherigen Forschungsergebnissen ausgehend erscheint dieses Maß jedoch erreichbar, wenn zum Programmentwurf eine grafische Programmiersprache in Verbindung mit einer vorab verifizierten Funktionsblockbibliothek genutzt wird. Frühere Versuche, eine Bibliothek geeigneten Umfangs zu verifizieren, sind allerdings an der Kompliziertheit der eingesetzten Verfahren sowie der Komplexität rechnergestützter Automatisierungssysteme gescheitert. Basierend auf den Ergebnissen aus [1] wird in diesem Beitrag deshalb ein entwurfsbegleitendes Verifikationsverfahren vorgestellt, dem Einfachheit als Entwurfsprinzip zugrunde liegt und mit dem es schließlich gelungen ist, eine vollständige Funktionsblockbibliothek für die Prozessautomatisierung mathematisch streng zu verifizieren. In Verbindung mit der in [2] vorgeschlagenen Datenverarbeitungsanlage für sicherheitsgerichtete Automatisierungsaufgaben schafft diese Bibliothek die Grundlage zur Realisierung verlässlicher sicherheitsgerichteter Automatisierungssysteme.
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
1. M. L. Schulz: Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung. Fortschr.-Ber. VDI Reihe 08 Nr. 1264, Düsseldorf: VDI Verlag 2019.
2. W. A. Halang und M. Sniezek: Digitale Datenverarbeitungsanlage für sicherheitsgerichtete Automatisierungsaufgaben zur Ausführung als Funktions- und Ablaufpläne. Deutsches Patent DE19841194, 2000.
3. W. A. Halang und B. Krämer: Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification. Software Engineering Journal 7, 1, 53–64, 1992.
4. H. Krebs und U. Haspel: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 2, 73–78, 1984.
5. J. S. B. T. Evans: Deductive Reasoning. In The Cambridge Handbook of Thinking and Reasoning, Hrsg. von K. J. Holyoak und R. G. Morrison, S. 169–184, New York: Cambridge University Press 2005.
6. VDI/VDE 3696: Herstellerneutrale Konfiguration von Prozeßleitsystemen, Standard-Funktionsbausteine. Richtlinie, Berlin: Beuth Verlag 1995.
7. I. Lakatos: Mathematik, empirische Wissenschaft und Erkenntnistheorie. Hrsg. von J. Worrall und G. Currie, Bd. 2, Philosophische Schriften, Wiesbaden: Vieweg+Teubner Verlag 1982.
8. R. A. De Millo et al.: Social Processes and Proofs of Theorems and Programs. Communications of the ACM 22, 5, 271–280, 1979.
9. A. Benveniste und G. Berry: The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE 79, 9, 1270–1281, 1991.
10. W. A. Halang und R. M. Konakovsky: Sicherheitsgerichtete Echtzeitsysteme. 2., vollst. überarb. Aufl. Berlin-Heidelberg: Springer 2013.
11. E. W. Dijkstra: A Constructive Approach to the Problem of Program Correctness. BIT 8, 3, 174–186, 1968.
12. M. Knorrenschild: Numerische Mathematik. Eine beispielorientierte Einführung. 5., aktual. Aufl. Mathematik-Studienhilfen, München: Hanser Verlag 2013.
13. DIN 66253: Echtzeitprogrammiersprache SafePEARL. Berlin: Beuth Verlag 2018.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this paper
Cite this paper
Schulz, M.L. (2019). Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung. In: Unger, H. (eds) Echtzeit 2019. Informatik aktuell. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-27808-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-658-27808-3_13
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-27807-6
Online ISBN: 978-3-658-27808-3
eBook Packages: Computer Science and Engineering (German Language)