M. Wang, Varun Subramanian, A. Doboli, D. Curiac, D. Pescaru
{"title":"面向大规模分布式嵌入式系统可视化编程的模型与规范","authors":"M. Wang, Varun Subramanian, A. Doboli, D. Curiac, D. Pescaru","doi":"10.1109/ROSE.2008.4669185","DOIUrl":null,"url":null,"abstract":"Massively distributed embedded systems are rapidly emerging as a key concept for many modern applications. However, providing efficient and scalable decision making capabilities to such systems is currently a significant challenge. This paper proposes a model and a specification language to allow automated synthesis of distributed controllers, which implement and interact through formalisms of different semantics. The paper refers to a case study to illustrate the main capabilities of the proposed concept.","PeriodicalId":331909,"journal":{"name":"2008 International Workshop on Robotic and Sensors Environments","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Towards a model and specification for visual programming of massively distributed embedded systems\",\"authors\":\"M. Wang, Varun Subramanian, A. Doboli, D. Curiac, D. Pescaru\",\"doi\":\"10.1109/ROSE.2008.4669185\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Massively distributed embedded systems are rapidly emerging as a key concept for many modern applications. However, providing efficient and scalable decision making capabilities to such systems is currently a significant challenge. This paper proposes a model and a specification language to allow automated synthesis of distributed controllers, which implement and interact through formalisms of different semantics. The paper refers to a case study to illustrate the main capabilities of the proposed concept.\",\"PeriodicalId\":331909,\"journal\":{\"name\":\"2008 International Workshop on Robotic and Sensors Environments\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-11-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 International Workshop on Robotic and Sensors Environments\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ROSE.2008.4669185\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Workshop on Robotic and Sensors Environments","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ROSE.2008.4669185","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Towards a model and specification for visual programming of massively distributed embedded systems
Massively distributed embedded systems are rapidly emerging as a key concept for many modern applications. However, providing efficient and scalable decision making capabilities to such systems is currently a significant challenge. This paper proposes a model and a specification language to allow automated synthesis of distributed controllers, which implement and interact through formalisms of different semantics. The paper refers to a case study to illustrate the main capabilities of the proposed concept.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
