Tool interoperability for model-based systems engineering
Authors:
Sander Thuijsman,
Gökhan Kahraman,
Alireza Mohamadkhani,
Ferry Timmers,
Loek Cleophas,
Marc Geilen,
Jan Friso Groote,
Michel Reniers,
Ramon Schiffelers,
Jeroen Voeten
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…
▽ More
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.
△ Less
Submitted 22 September, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
