Systematischer modellgestützter Entwurf von Steuerungen für Fertigungssysteme

Hallenser Schriften zur Automatisierungstechnik, Bd. 4

Sirko Karras

ISBN 978-3-8325-2236-0
190 pages, year of publication: 2009
price: 36.00 €
Systematischer modellgestützter Entwurf von Steuerungen für Fertigungssysteme

Bei der Fertigungsautomatisierung stellt die wachsende Komplexität der Abläufe eine besondere Herausforderung für Ingenieure dar. Zur Absicherung qualitativ hochwertiger Steuerungssoftware wird in dieser Arbeit ein Konzept zum modellgestützten Steuerungsentwurf vorgestellt. Im Mittelpunkt steht die Integration formaler Methoden in den Entwurfsprozess. Dies eröffnet neben simulativen Tests auch die Möglichkeit zur Analyse und Verifikation des spezifizierten Verhaltens.