网络物理系统的构成挑战和方法

2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications Pub Date : 2010-12-30 DOI:10.1109/NESEA.2010.5678065

Kaiyu Wan, D. Hughes, K. Man, Tomas Krilavičius

{"title":"网络物理系统的构成挑战和方法","authors":"Kaiyu Wan, D. Hughes, K. Man, Tomas Krilavičius","doi":"10.1109/NESEA.2010.5678065","DOIUrl":null,"url":null,"abstract":"A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.","PeriodicalId":348247,"journal":{"name":"2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications","volume":"486 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"42","resultStr":"{\"title\":\"Composition challenges and approaches for cyber physical systems\",\"authors\":\"Kaiyu Wan, D. Hughes, K. Man, Tomas Krilavičius\",\"doi\":\"10.1109/NESEA.2010.5678065\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.\",\"PeriodicalId\":348247,\"journal\":{\"name\":\"2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications\",\"volume\":\"486 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"42\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NESEA.2010.5678065\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NESEA.2010.5678065","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 42

摘要

各种各样的编程抽象已经为网络物理系统开发出来。这些方法为应用程序功能的通用单元组合网络物理系统提供了支持。本文调查了当前网络物理系统中最先进的组合机制，并从其对组合分析、重用和适应的支持方面回顾了每种方法。然后，我们回顾了建模和验证网络物理应用组合的方法，并提出了解决这些缺点的有前途的研究方向。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Composition challenges and approaches for cyber physical systems

A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications

自引率

0.00%

发文量