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

Charles Hartsell, N. Mahadevan, Harmon Nine, T. Bapty, A. Dubey, G. Karsai
{"title":"网络物理系统开发过程的工作流程自动化","authors":"Charles Hartsell, N. Mahadevan, Harmon Nine, T. Bapty, A. Dubey, G. Karsai","doi":"10.1109/DESTION50928.2020.00007","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Workflow Automation for Cyber Physical System Development Processes\",\"authors\":\"Charles Hartsell, N. Mahadevan, Harmon Nine, T. Bapty, A. Dubey, G. Karsai\",\"doi\":\"10.1109/DESTION50928.2020.00007\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":318438,\"journal\":{\"name\":\"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DESTION50928.2020.00007\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DESTION50928.2020.00007","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

摘要

网络物理系统(cps)的开发需要在许多领域具有专业知识的开发人员之间进行密切的交互,以实现对改进性能、降低成本和更多系统自治的不断增长的需求。每个工程规程通常依赖于领域特定的建模语言,并且这些模型的分析和执行通常使用适当的工具自动化。然而,这些异构模型和工具之间的集成通常是缺乏的,并且这些工具的互操作的大部分负担都放在了系统开发人员身上。为了解决这个问题,我们引入了一种用于复杂CPS开发过程自动化的工作流建模语言,并在基于保证的支持学习的CPS (ALC)工具链中实现了一个执行这些模型的平台。本文提供了几个示例,说明这些工作流模型如何能够自动执行以前由系统开发人员手动执行的许多耗时的集成任务。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Workflow Automation for Cyber Physical System Development Processes
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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
The UCEF Approach to Tool Integration for HLA Co-Simulations DESTION 2020 TOC Intelligent Intersection Management with Non-Connected and Non-Autonomous Motorcycles Workflow Automation for Cyber Physical System Development Processes Streaming computation algorithms for spatiotemporal micromobility service availability
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1