Technologies for Engineering Manufacturing Systems Control in Closed Loop: 10 - Brossura

Preusse, Sebastian

 
9783832536008: Technologies for Engineering Manufacturing Systems Control in Closed Loop: 10
Brossura
ISBN 10: 3832536000 ISBN 13: 9783832536008
Casa editrice: Logos Verlag Berlin, 2013

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Logos Verlag Berlin
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3832536000
ISBN 13 
9783832536008
Rilegatura
Copertina flessibile
Numero di pagine
145
Contatto del produttore
non disponibile
Persona responsabile
non disponibile