Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis

Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, M. Gu, Jiaguang Sun
{"title":"Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis","authors":"Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, M. Gu, Jiaguang Sun","doi":"10.1109/TASE.2014.32","DOIUrl":null,"url":null,"abstract":"Architecting real-time embedded systems is of the top significance during the design phase, especially in complex applications. Due to limited time and resource, to guarantee scheduling eminence without violating application-specific constraints is a challenging problem in architecture level. In this paper, we firstly present an enhanced transformation from AADL models to Cheddar input for schedulability analysis. With subprogram and delayed connection, this transformation is feasible for complex system designs. Based on schedulability analysis, we further propose a novel architecture selection engine, which evaluates scheduling performance through selection standards and application-specific constraints via satisfaction functions. With the proposed selection engine, information from both schedulability and real-time constraints are captured to pick up an optimal architecture. We apply the proposed approach on the architecture selection of an industrial control system in railway applications. Four candidate AADL architectures are transformed and analyzed for schedulability. Then in the selection engine, candidates are ranked within two application constraints. Compared to the selection of general criteria and traditional AHP, our engine excels at better schedulability and satisfaction on real-time application-specific constraints. Moreover, with adjustment on constraints, our engine shows delicate sensitivity by generating a modified selection. We believe the proposed approach can facilitate architecture design of real-time embedded systems.","PeriodicalId":371040,"journal":{"name":"2014 Theoretical Aspects of Software Engineering Conference","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Theoretical Aspects of Software Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TASE.2014.32","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Architecting real-time embedded systems is of the top significance during the design phase, especially in complex applications. Due to limited time and resource, to guarantee scheduling eminence without violating application-specific constraints is a challenging problem in architecture level. In this paper, we firstly present an enhanced transformation from AADL models to Cheddar input for schedulability analysis. With subprogram and delayed connection, this transformation is feasible for complex system designs. Based on schedulability analysis, we further propose a novel architecture selection engine, which evaluates scheduling performance through selection standards and application-specific constraints via satisfaction functions. With the proposed selection engine, information from both schedulability and real-time constraints are captured to pick up an optimal architecture. We apply the proposed approach on the architecture selection of an industrial control system in railway applications. Four candidate AADL architectures are transformed and analyzed for schedulability. Then in the selection engine, candidates are ranked within two application constraints. Compared to the selection of general criteria and traditional AHP, our engine excels at better schedulability and satisfaction on real-time application-specific constraints. Moreover, with adjustment on constraints, our engine shows delicate sensitivity by generating a modified selection. We believe the proposed approach can facilitate architecture design of real-time embedded systems.
基于可调度性分析的嵌入式系统特定应用架构选择
构建实时嵌入式系统在设计阶段具有重要意义,特别是在复杂应用中。由于时间和资源的限制,如何在不违反应用特定约束的情况下保证调度优势是一个具有挑战性的体系结构问题。在本文中,我们首先提出了一种从AADL模型到Cheddar输入的增强转换,用于可调度性分析。通过子程序和延时连接,这种转换对于复杂的系统设计是可行的。在可调度性分析的基础上,我们进一步提出了一种新的架构选择引擎,该引擎通过选择标准和应用特定约束通过满足函数来评估调度性能。使用建议的选择引擎,可以捕获来自可调度性和实时约束的信息,以选择最佳体系结构。我们将所提出的方法应用于铁路工业控制系统的结构选择。对四种候选AADL体系结构进行了转换和可调度性分析。然后在选择引擎中,根据两个应用程序约束对候选人进行排序。与一般标准和传统AHP的选择相比,我们的引擎在更好的可调度性和满足实时应用特定约束方面表现出色。此外,通过对约束的调整,我们的引擎通过生成修改后的选择显示出微妙的灵敏度。我们相信所提出的方法可以方便实时嵌入式系统的架构设计。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术文献互助群
群 号:481959085
Book学术官方微信