论文标题
HERTA:Heaviside实时分析
HeRTA: Heaviside Real-Time Analysis
论文作者
论文摘要
我们研究了事件结合函数的数学特性,因为它们在最坏情况响应时间分析和利用测试中使用。我们找出两种方法之间的差异和相似性。基于此分析,我们得出更通用的形式确实描述了事件和事件界限。这种新的统一方法为实时系统调查提供了明确的新见解,简化了模型,并将支持未来工作中代数证明。最后,我们提出了一个统一分析,该分析允许对任何调度程序的代数定义。将这种功能引入实时调度理论将导致两个更系统的方式将新的概念和应用程序整合到理论中。最后但并非最不重要的一点是,我们展示了如何改善动态调度中的响应时间分析。
We investigate the mathematical properties of event bound functions as they are used in the worst-case response time analysis and utilization tests. We figure out the differences and similarities between the two approaches. Based on this analysis, we derive a more general form do describe events and event bounds. This new unified approach gives clear new insights in the investigation of real-time systems, simplifies the models and will support algebraic proofs in future work. In the end, we present a unified analysis which allows the algebraic definition of any scheduler. Introducing such functions to the real-time scheduling theory will lead two a more systematic way to integrate new concepts and applications to the theory. Last but not least, we show how the response time analysis in dynamic scheduling can be improved.