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.

翻译：网络物理系统监督控制设计面临诸多挑战。基于模型的系统工程可借助源自不同学科的解决方案应对这些挑战。我们探讨了多种工具，每类工具在其所属学科均为前沿技术，具备规约、综合与验证等功能。将此类单一学科工具集成至多学科工作流中是一项重大挑战。我们提出基于Arrowhead框架的分析即服务方案，以连接这些工具并实现互操作性。通过面向服务架构实现了工具的无缝集成：工程师可通过单一界面轻松访问各工具功能，同时针对各工具等效模型间的转换步骤已实现自动化。