Jan Krause

Test generation for model based fieldbus profiles

This paper introduces a model based procedure of automatic test generation for fieldbus profile specification. Based on a tool based creation of a specification model of the fieldbus profile requirements, two test generation methods are applied. With these methods, test cases for testing the parameters and the expected behaviour can be generated. Dependent on the specified test goals, these test generation methods can achieve a high coverage of the profile specification. The practical use of these methods is exemplarily demonstrated with an existing UML profile for fieldbus devices in the PROFIBUS area. Thereby a possible tool chain from modelling to test generation, test formatting and test execution with a suitable test tool is briefly described.

SUPPORT OF CONTROL APPLICATION DESIGN USING DIGITAL DESIGN AND PLANING OF MANUFACTURING CELLS

Abstract The paper deals with automation aspects of digital planning processes. It describes the integration procedure of controller and SCADA systems into digital planning and simulation. This integration is an extension to the current situation where the simulation is organised within the planning tools and the generation of programs is restricted to robots. The generation of controller programs and SCADA system configuration are described in detail.

Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG

Abstract Today a lot of information is shared using communication platforms like Twitter (https://twitter.com/). This also includes information useful for traffic management. To use this information for automatic processing it has to be saved in a structured way. Therefore the messages have to be analysed and transferred into a database structure. In this process the special characteristics of communication platforms as data sources containing different user content need to be taken into consideration. This results in a concept which is based primarily on machine learning and largely independent of the grammar used in the messages shared by the communication platforms.

Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse

Zusammenfassung Die automatische Testdurchführung und die modellbasierte Testgenerierung als Teil der Testautomatisierung verbessern den Testprozess und letztendlich die Qualität von Produkten. Der Grund sind die automatisierte Wiederholbarkeit der Testfälle sowie eine höhere Testabdeckung. In diesem Beitrag werden zu diesem Zweck eine anforderungsbasierte Systembeschreibung und eine Modellsynthese zu einem Spezifikationsmodell dargestellt. Sie haben das Ziel, eine vorgelagerte Unterstützung und somit eine Reduzierung der Einstiegshürde für die modellbasierte Testgenerierung zu ermöglichen. Ebenso wird in diesem Beitrag eine Methode zur Netzwerkanalyse und -manipulation aufgezeigt, um die Testdurchführung mit der Überprüfung des Sollverhaltens von relevantem Netzwerkverkehr zu automatisieren und zu verbessern. Dazu wird eine prototypisch implementierte Toolkette vorgestellt, die von der Anforderungsbeschreibung bis zum Testen einer Anlage reicht.

Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung

Zusammenfassung Der Einsatz von Modellen als Grundlage für eine automatisierte Testfallerzeugung bietet einen wesentlichen Vorteil durch eine Erhöhung der Testabdeckung, eine vereinfachte Wiederholbarkeit der Testerstellung und damit verbunden einer Qualitätssteigerung der Produkte. In diesem Beitrag wird eine Methode zur Modellsynthese vorgestellt. Dabei wird aus formalisierten Anforderungen automatisiert ein Spezifikationsmodell für den Zweck der automatisierten Testfallerzeugung generiert. Im Zuge der Modellgenerierung erfolgt eine Verifizierung des Modells, um widersprüchliche oder redundante Beschreibungen aufzudecken.

Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation

Simulation technology is widely used in the engineering process of manufacturing plants, which promises the benefits such as debugging the programs of Programmable Logic Controller (PLC) in the early design phase, validating the co-working of the associated machines and accelerating the commissioning time. Although many researches have been made on this topic in recent years, the high cost of simulation model development compensates most benefits mentioned above which could be gained Furthermore, the validation of the simulation model is mostly done manually because of the lack of a systematical testing method This paper proposes a concept to extend the IEC 61131-3 standard library for simulation modeling and testing of behavior of mechatronic components. Furthermore, this approach will be prototypical implemented and illustrated.

Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken

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.