- Bliv medlem
-
Du er ikke logget ind
Log ind Opret dig
Du er ikke logget ind
Beskrivelse
Bei der Fertigungsautomatisierung stellt die wachsende Komplexitat der Ablaufe eine besondere Herausforderung fur Ingenieure dar. Zur Absicherung qualitativ hochwertiger Steuerungssoftware wird in dieser Arbeit ein Konzept zum modellgestutzten Steuerungsentwurf vorgestellt. Im Mittelpunkt steht die Integration formaler Methoden in den Entwurfsprozess. Dies eroffnet neben simulativen Tests auch die Moglichkeit zur Analyse und Verifikation des spezifizierten Verhaltens.