The PROSIT tool: Toward the optimal design of probabilistic soft real‐time systems
The PROSIT tool: Toward the optimal design of probabilistic soft real‐time systems
复制标题
PROSIT 工具：概率软实时系统的优化设计
DOI：
10.1002/spe.2604
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
D. Fontanelli
中科院分区：
文献类型：
--
作者：
Bernardo Villalba Frias;L. Palopoli;Luca Abeni;D. Fontanelli
近年来，一系列重要的成果为概率分析在软实时系统设计领域的引入铺平了道路。在这篇文章中，我们介绍了一个可扩展的设计工具，称为ProSIT，它为潜在的大量研究人员和工业从业者访问这项技术提供了便利。该工具能够对固定优先级和资源预留调度算法下的实时任务的时间性能进行概率分析。对于资源预留，该工具还提供了用于合成调度参数的自动过程，该调度参数优化了与任务的概率行为相关的质量度量。
In recent years, series of important achievements have paved the way for the introduction of probabilistic analysis in the area of soft real‐time systems design. In this article, we present an extensible design tool, called PROSIT, which facilitates the access to this technology for a potentially large number of researchers and industrial practitioners. The tool enables the probabilistic analysis of the temporal performance of a real‐time task under fixed‐priority and resource reservations scheduling algorithms. For resource reservations, the tool also offers an automatic procedure for the synthesis of scheduling parameters that optimize a quality metric related to the probabilistic behavior of the tasks.