Systematischer modellgestützter Entwurf von Steuerungen für Fertigungssysteme
Hallenser Schriften zur Automatisierungstechnik, Bd. 4
Sirko Karras
ISBN 978-3-8325-2236-0
190 Seiten, Erscheinungsjahr: 2009
Preis: 36.00 €
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.