Technologies for Engineering Manufacturing Systems Control in Closed Loop
Sebastian Preuße
Diese Publikation zitieren
Sebastian Preuße, Technologies for Engineering Manufacturing Systems Control in Closed Loop (2013), Logos Verlag, Berlin, ISBN: 9783832593636
7
Accesses
Accesses
Beschreibung / Abstract
Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Überprüfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfür werden die verwendeten Formalismen weitestehend durch domänenspezifische Beschreibungsmöglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstützen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms überprüft. Auf diese Weise lässt sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten für die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.
Inhaltsverzeichnis
- BEGINN
- 1 Introduction
- 2 Basic Principles
- 2.1 Technologies for studying Behavior
- 2.2 Plants
- 2.3 Controllers
- 2.4 System Models
- 2.5 Basics of Specifications
- 2.6 Closed-Loop Composition
- 2.7 Model Checking
- 2.8 Summary
- 3 Formal Modeling of Plant, Controller, and the Closed Loop
- 3.1 Demonstration Example
- 3.2 Formal Plant Modeling
- 3.3 Formal Controller Modeling
- 3.4 Formal Closed-Loop Modeling
- 3.5 Summary
- 4 Specification
- 4.1 Safety-Oriented Technical Language
- 4.2 Symbolic Timing Diagrams
- 4.3 Summary
- 5 Analysis of the Closed-Loop Behavior
- 5.1 Simulation in Closed Loop
- 5.2 Verification in Closed Loop
- 5.3 Summary
- 6 Conclusion and Outlook
- 6.1 Conclusion
- 6.2 Outlook
- A Temporal Logics
- B SOTL Grammar
- C Algorithms
- D Example for Model Checking
- Bibliography
- Index