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框架的“分析即服务”，以连接这些工具并使其实现互操作。通过面向服务的架构实现了工具的无缝集成：工程师可以轻松地从单一界面访问各工具的功能，因为各工具之间等效模型的转换步骤已实现自动化。