SynthML: Controller Synthesis of UML Activities
article
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. The activity synthesis algorithm combines supervisory controller synthesis with Petri net synthesis to capture concurrency, and computes control flow guards to ensure that any activity execution adheres to the synthesized controlled behavior. This multi-step algorithm provides correct-by-construction, deadlock-free, and maximallyparallelized UML activities, presented in a familiar UML notation that intuitively represents concurrent behavior.
TNO Identifier
1029689
Files
To receive the publication files, please send an e-mail request to TNO Repository.