Eclipse 4diac: Modeling Implicit Assumptions within IEC 61499 Software

Automated software engineering helps developers of control software to manage complex industrial applications. Eclipse 4diac has, in recent years, advanced in terms of providing tool support for domain experts. The control software is typically executed in real-time and distributed across devices. Designing such systems is complex due to the need for communication between devices. To detect faults early, modeling implicit assumptions within IEC 61499 software can provide the basis for automated checks. Such assumptions are typically described in constraint languages, which are difficult to use by automation experts. Therefore, this project provides the infrastructure for tool-assisted communication engineering. Where user interactions are required, graphical visualizations are provided. Current infrastructure for generating automated communication does not support the variety of communication protocols that is observed in modern automation systems.