Ebook: Technologies for Engineering Manufacturing Systems Control in Closed Loop

Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur #65533;berpr#65533;fung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierf#65533;r werden die verwendeten Formalismen weitestehend durch dom#65533;nenspezifische Beschreibungsm#65533;glichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterst#65533;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 #65533;berpr#65533;ft. Auf diese Weise l#65533;sst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten f#65533;r die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.