Jump to ContentJump to Main Navigation
Show Summary Details
More options …

at - Automatisierungstechnik

Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik

[AT - Automation Technology: Methods and Applications of Control, Regulation, and Information Technology
]

Editor-in-Chief: Jumar, Ulrich

12 Issues per year


IMPACT FACTOR 2016: 0.675

CiteScore 2016: 0.55

SCImago Journal Rank (SJR) 2016: 0.262
Source Normalized Impact per Paper (SNIP) 2016: 0.645

Online
ISSN
2196-677X
See all formats and pricing
More options …
Volume 61, Issue 2

Issues

Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken

Jan Krause / Christian Diedrich
Published Online: 2013-02-22 | DOI: https://doi.org/10.1524/auto.2013.0013

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.

Keywords: SPENAT; Petrinetzentfaltung; formale Verifikation; modellbasierte Entwicklung; modellbasiertes Testen

About the article

* Correspondence address: Universität Magdeburg, Institut für Automation und Kommunikation e.V., Werner-Heisenberg-Str. 1, 39106 Magdeburg, Deutschland,


Published Online: 2013-02-22

Published in Print: 2013-02-01


Citation Information: at - Automatisierungstechnik Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik, Volume 61, Issue 2, Pages 114–121, ISSN (Print) 0178-2312, DOI: https://doi.org/10.1524/auto.2013.0013.

Export Citation

© by Oldenbourg Wissenschaftsverlag, München, Germany. Copyright Clearance Center

Comments (0)

Please log in or register to comment.
Log in