论文标题

网络物理系统开发过程的工作流程自动化

Workflow Automation for Cyber Physical System Development Processes

论文作者

Hartsell, Charles, Mahadevan, Nagabhushan, Nine, Harmon, Bapty, Ted, Dubey, Abhishek, Karsai, Gabor

论文摘要

网络物理系统(CPS)的开发需要在许多领域具有专业知识的开发人员之间进行密切的互动,以达到不断提高的性能,降低成本和更多系统自主权的需求。每种工程学科通常都依赖于特定领域的建模语言,并且这些模型的分析和执行通常是通过适当的工具自动化的。但是,这些异质模型和工具之间通常缺乏整合,并且这些工具间操作的大部分负担都放在系统开发人员上。为了解决此问题,我们引入了一种工作流建模语言,以自动化复杂的CPS开发过程,并在基于保证的基于保证的学习CPS(ALC)工具链中实现了执行这些模型的平台。提供了一些说明性示例,这些示例显示了这些工作流模型如何能够自动化系统开发人员先前手动执行的许多耗时的集成任务。

Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering discipline commonly relies on domain-specific modeling languages, and analysis and execution of these models is often automated with appropriate tooling. However, integration between these heterogeneous models and tools is often lacking, and most of the burden for inter-operation of these tools is placed on system developers. To address this problem, we introduce a workflow modeling language for the automation of complex CPS development processes and implement a platform for execution of these models in the Assurance-based Learning-enabled CPS (ALC) Toolchain. Several illustrative examples are provided which show how these workflow models are able to automate many time-consuming integration tasks previously performed manually by system developers.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源