Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken
-
Jan Krause
Zusammenfassung
Für einen erfolgreichen Einsatz modellbasierter Methoden muss die semantische Korrektheit der jeweiligen Modelle bzgl. der spezifizierten Anforderungen gewährleistet sein. Die Qualität auf Modellen basierender, automatisierter Methoden hängt wesentlich von der Qualität und Korrektheit dieser Modelle ab. In diesem Beitrag wird eine Methode zur Modellanalyse vorgestellt. Dabei werden etablierte Methoden der constraintbasierten Programmierung und Petrinetztechniken kombiniert, wodurch offene, reaktive und ereignisbasierte Systemmodelle analysiert werden können.
Abstract
For a successful using of model based methods it is necessary to ensure the semantic correctness of the relevant models regarding the specified requirements. The quality of models is an essential parameter for the quality of model based methods. In this paper a method for model analysis is introduced. Establish methods of constraint programming are combined with Petri net techniques in order to analyse open, reactive and event driven system models.
© by Oldenbourg Wissenschaftsverlag, München, Germany
Artikel in diesem Heft
- Entwurf komplexer Automatisierungssysteme
- Erweiterung des V-Modells® für den Entwurf von verteilten Automatisierungssystemen
- Durchgängiges Engineering von der Anforderungserhebung bis zur Anlagenstrukturbeschreibung
- Wissensbasiertes Assistenzsystem für modulares Engineering
- Konsistenzprüfung im frühen mechatronischen Entwurf
- Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken
- Systematischer Entwurf fehlertoleranter Steuerungen
- OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme
Artikel in diesem Heft
- Entwurf komplexer Automatisierungssysteme
- Erweiterung des V-Modells® für den Entwurf von verteilten Automatisierungssystemen
- Durchgängiges Engineering von der Anforderungserhebung bis zur Anlagenstrukturbeschreibung
- Wissensbasiertes Assistenzsystem für modulares Engineering
- Konsistenzprüfung im frühen mechatronischen Entwurf
- Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken
- Systematischer Entwurf fehlertoleranter Steuerungen
- OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme
