QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System

Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau
{"title":"QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System","authors":"Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau","doi":"10.1109/ISORC.2018.00014","DOIUrl":null,"url":null,"abstract":"To improve the quality, the performance and the real-time correctness of embedded real-time systems, one main design activity is the deployment consisting on mapping functions to tasks and tasks to processors. Several deployment strategies have been proposed by the literature. Each of them is well adapted for one deployment step, one optimization criterion and one type of application. But for realistic systems and general case, none of them is optimal. This paper presents a model-based approach to facilitate the integration and the composition of different deployment strategies. The framework allows to combine different strategies for different parts of the system, and to apply consecutively different strategies. To compare different compositions of strategies, evaluations are proposed based on a set of real-time, performance and design quality criteria. The library of strategies and evaluation criteria may be easily extended by respecting a generic API. Evaluation on case studies shows the interest of combining several strategies to optimize different criteria like real-time and quality of design criteria.","PeriodicalId":395536,"journal":{"name":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2018.00014","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

To improve the quality, the performance and the real-time correctness of embedded real-time systems, one main design activity is the deployment consisting on mapping functions to tasks and tasks to processors. Several deployment strategies have been proposed by the literature. Each of them is well adapted for one deployment step, one optimization criterion and one type of application. But for realistic systems and general case, none of them is optimal. This paper presents a model-based approach to facilitate the integration and the composition of different deployment strategies. The framework allows to combine different strategies for different parts of the system, and to apply consecutively different strategies. To compare different compositions of strategies, evaluations are proposed based on a set of real-time, performance and design quality criteria. The library of strategies and evaluation criteria may be easily extended by respecting a generic API. Evaluation on case studies shows the interest of combining several strategies to optimize different criteria like real-time and quality of design criteria.
QuaRTOS-DSE:嵌入式实时系统设计空间探索的工具
为了提高嵌入式实时系统的质量、性能和实时性,一个主要的设计活动是部署,包括将功能映射到任务和将任务映射到处理器。文献中提出了几种部署策略。它们中的每一个都适合于一个部署步骤、一个优化标准和一种类型的应用程序。但对于现实系统和一般情况,它们都不是最优的。本文提出了一种基于模型的方法来促进不同部署策略的集成和组合。该框架允许为系统的不同部分组合不同的策略,并连续应用不同的策略。为了比较不同的策略组合,提出了基于一套实时性、性能和设计质量标准的评估。通过遵循通用API,可以很容易地扩展策略和评估标准库。对案例研究的评估表明,需要结合多种策略来优化不同的标准,如设计标准的实时性和质量。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信