Modellbasierte Entwicklung

Modellbasiertes Engineering variantenreicher, interdisziplinärer Fertigungssysteme


Modellbasiertes Engineering

In this field of research, the institute AIS investigates concepts and methods that address the model-based development of industrial production automation systems of different domains such as discrete manufacturing processes as well as continuous (chemical) production processes. A special focus is put on the interdisciplinary character of the design of industrial automation systems as well as on increasing the transparency and handling the complexity throughout the workflow of automation systems’ design and operation. In addition, concepts for the integration of energy aspects with the modeling of the operating performance (behavior) of production systems and automotive systems are explored. Therefore, different modeling languages are investigated and adapted for these different classes of mechatronic systems and corresponding editors and tool environments have been developed. For the coupling and synchronization of heterogeneous models model transformations as well as formal methods for consistency checking have been successfully investigated. Concerning the transfer of research results into industrial applications, a major outcome of this field of research is the successful realization of approaches for model-based automation software development, code generation, and model-based debugging as well as software testing inside a development environment for automation software that is widely used in industry.


SFB 768 - SFB 768/ TP A6: Disziplinübergreifendes Modulmanagement von IT-Zyklen in Innovationsprozessen

SPP1593 - Design For Future

Artemis - Anforderungsbasierte Testfallentwicklung

AutoMES - Automatische Generierung von Fertigungsmanagementsystemen

EfiMA - Effiziente Fehlersuche für sichere variantenreiche Maschinen- und Anlagenautomatisierung

MASSIVE - Modellsynthese aus sequenzbasierten Verhaltensanforderungen zur modellbasierten Testfallgenerierung

MoBaTeSt - Modell-basiertes Testen von SPS-Steuerungs-softwarevarianten für den Sondermaschinenbau

V&V Artemis - Variabilität und Versionierung bei der anforderungsbasierten Testfallentwicklung und -auswahl für mechatronische Systeme

ZuMaTra - Steigerung der Zuverlässigkeit von Maschinen und Anlagen durch automatisiertes Testen von Fehlerbehandlungsroutinen in der Steuerungssoftware