Formal analysis of sporadic overload in real-time systems
Formal analysis of sporadic overload in real-time systems
复制标题
实时系统中偶发过载的形式分析
DOI：
10.1109/date.2012.6176523
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
R. Ernst
中科院分区：
文献类型：
--
作者：
Sophie Quinton;M. Hanke;R. Ernst
本文提出了一种新的组合方法，提供安全的定量信息的实时系统。我们的方法是基于一个新的模型来描述偶发性过载在系统的输入。我们将展示如何从这样一个模型中获得安全的定量信息，每个任务的响应时间。实验证明了这种方法的效率在现实生活中的例子。此外，我们提高了最先进的合成性能分析，通过引入执行时间模型，考虑到几个连续的执行，并通过使用更严格的边界计算输出事件模型。
This paper presents a new compositional approach providing safe quantitative information about real-time systems. Our method is based on a new model to describe sporadic overload at the input of a system. We show how to derive from such a model safe quantitative information about the response time of each task. Experiments demonstrate the efficiency of this approach on a real-life example. In addition we improve the state of the art in compositional performance analysis by introducing execution time models which take into account several consecutive executions and by using tighter bounds for computing output event models.