Technologies for Engineering Manufacturing Systems Control in Closed Loop (Hallenser Schriften zur Automatisierungstechnik, Band 10) - Softcover

Preuße, Sebastian

 
9783832536008: Technologies for Engineering Manufacturing Systems Control in Closed Loop (Hallenser Schriften zur Automatisierungstechnik, Band 10)
Softcover
ISBN 10: 3832536000 ISBN 13: 9783832536008
Verlag: Logos Berlin, 2013

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Logos Berlin
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3832536000
ISBN 13 
9783832536008
Einband
Taschenbuch
Anzahl der Seiten
145
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar