WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints
WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints
复制标题
WeaklyHard.jl：弱硬约束的可扩展分析
DOI：
10.1109/rtas54340.2022.00026
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
M. Maggio
中科院分区：
文献类型：
--
作者：
Nils Vreman;R. Pates;M. Maggio
弱硬模型已用于分析受截止日期命中和错过模式影响的实时系统。然而，文献中可用的工具有一系列缺点。他们提供的分析仅限于单个弱硬约束和指定未命中次数而不是命中次数的模式。此外，这些工具的可扩展性是有限的，这实际上使得很难解决那些偶尔发生错过最后期限的系统。在本文中，我们提出了 WeaklyHard.jl，这是一个可扩展的工具，用于分析属于所有四种类型的弱硬模型的一组弱硬约束。为了实现可扩展性，我们基于截止日期，利用弱硬约束之间的新颖的主导关系。我们提供了该工具可扩展性的实验证据，与单个约束的最新技术相比，对基于命中的弱硬约束进行了彻底的研究，并对约束集参数进行了敏感性分析。
Weakly-hard models have been used to analyse real-time systems subject to patterns of deadline hits and misses. However, the tools that are available in the literature have a set of shortcomings. The analysis they offer is limited to a single weaklyhard constraint and to patterns that specify the number of misses, rather than the number of hits. Furthermore, the scalability of the tools is limited, effectively making it hard to address systems where deadline misses are really sporadic events. In this paper we present WeaklyHard.jl, a scalable tool to analyse a set of weakly hard constraints belonging to all the four types of weakly hard models. To achieve scalability, we exploit novel dominance relations between weakly-hard constraints, based on deadline hits. We provide experimental evidence of the tool’s scalability, compared to the state-of-the-art for a single constraint, a thorough investigation of hit-based weakly-hard constraints, and a sensitivity analysis to constraint set parameters.
DOI：
10.1145/3313151.3313165
发表时间：
2019-04
期刊：
Proceedings of the Workshop on Design Automation for CPS and IoT
影响因子：
--
作者：
Chao Huang;Kacper Wardega;Wenchao Li;Qi Zhu
通讯作者：
Chao Huang;Kacper Wardega;Wenchao Li;Qi Zhu
为弱硬实时系统的未指定任务制定预算
DOI：
10.4230/lipics.ecrts.2017.17
发表时间：
2017
期刊：
影响因子：
--
作者：
Hammadeh;Zain A. H;Quinton;Sophie;Panunzio;Rioux Laurent
通讯作者：
Rioux Laurent