WODES 2026

Wodes: 18th workshop on discrete event systems

Presentation by Wytse Oortwijn, TNO-ESI:
SynthML: Controller Synthesis of UML Activities

How to integrate controller synthesis in UML

To ease the adoption of controller synthesis, we integrate it in UML

Controller synthesis for cyber-physical systems is a powerful technique to ensure safe and correct behavior, yet its application in industrial settings remains limited. Its adoption is hindered by practical issues, such as the lack of specialized tooling, unfamiliar specification languages, and modeling paradigms that differ from engineers’ established workflows. We present SynthML, a tool that addresses these challenges by integrating synthesis-based engineering into existing practices: it automatically synthesizes UML activities, a widely used modeling formalism in industry, from abstract specifications also expressed in UML. This synthesis workflow provides correct-by-construction, deadlock-free, and maximally parallelized UML activities, presented in a familiar UML notation.