分形中的可组合控制器:实现与干扰分析

2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2011-08-30 DOI:10.1109/SEAA.2011.18

Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel

{"title":"分形中的可组合控制器:实现与干扰分析","authors":"Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel","doi":"10.1109/SEAA.2011.18","DOIUrl":null,"url":null,"abstract":"Fractal component model provides controllers for adding extra-functional capabilities to component behaviors. However, controllers may interfere one with another and their composition is still a challenge. In this article, we extend Fractal with a support for composing controllers with reusable operators. Then, we discuss how to formally model and analyze, in Uppaal, Fractal systems with several controllers. This enables us to detect when controllers interfere and to check whether their composition is interference-free.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Composable Controllers in Fractal: Implementation and Interference Analysis\",\"authors\":\"Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel\",\"doi\":\"10.1109/SEAA.2011.18\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Fractal component model provides controllers for adding extra-functional capabilities to component behaviors. However, controllers may interfere one with another and their composition is still a challenge. In this article, we extend Fractal with a support for composing controllers with reusable operators. Then, we discuss how to formally model and analyze, in Uppaal, Fractal systems with several controllers. This enables us to detect when controllers interfere and to check whether their composition is interference-free.\",\"PeriodicalId\":107972,\"journal\":{\"name\":\"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-08-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEAA.2011.18\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEAA.2011.18","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

分形组件模型提供了用于向组件行为添加额外功能的控制器。然而，控制器可能会相互干扰，它们的组合仍然是一个挑战。在本文中，我们扩展了Fractal，支持使用可重用操作符组合控制器。然后，我们讨论了如何在Uppaal中形式化地建模和分析具有多个控制器的分形系统。这使我们能够检测控制器何时干扰，并检查它们的组成是否无干扰。

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

查看原文本刊更多论文

Composable Controllers in Fractal: Implementation and Interference Analysis

Fractal component model provides controllers for adding extra-functional capabilities to component behaviors. However, controllers may interfere one with another and their composition is still a challenge. In this article, we extend Fractal with a support for composing controllers with reusable operators. Then, we discuss how to formally model and analyze, in Uppaal, Fractal systems with several controllers. This enables us to detect when controllers interfere and to check whether their composition is interference-free.

求助全文

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

来源期刊

2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications

自引率

0.00%

发文量