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.
@article{arxiv.2302.03503,
title = {Tool interoperability for model-based systems engineering},
author = {Sander Thuijsman and Gökhan Kahraman and Alireza Mohamadkhani and Ferry Timmers and Loek Cleophas and Marc Geilen and Jan Friso Groote and Michel Reniers and Ramon Schiffelers and Jeroen Voeten},
journal= {arXiv preprint arXiv:2302.03503},
year = {2023}
}