Tool interoperability for model-based systems engineering

Sander Thuijsman,Gökhan Kahraman,Alireza Mohamadkhani,Ferry Timmers,Loek Cleophas,Marc Geilen,Jan Friso Groote,Michel Reniers,Ramon Schiffelers,Jeroen Voeten
2023-09-22
Abstract:Supervisory control design of cyber-physical systems has many challenges. Model-based systems engineering can address these, with solutions originating from various disciplines. We discuss several tools, each state-of-the-art in its own discipline, offering functionality such as specification, synthesis, and verification. Integrating such mono-disciplinary tools in a multi-disciplinary workflow is a major challenge. We present Analytics as a Service, built on the Arrowhead framework, to connect these tools and make them interoperable. A seamless integration of the tools has been established through a service-oriented architecture: The engineer can easily access the functionality of the tools from a single interface, as translation steps between equivalent models for the respective tools are automated.
Software Engineering
What problem does this paper attempt to address?