HeRTA: Heaviside 实时分析
摘要:事件边界函数的数学性质的研究及其在最坏情况响应时间分析和利用率测试中的应用。发现了这两种方法之间的差异和相似之处。基于这种分析,我们导出了一种更一般的形式来描述事件和事件边界。这种新的统一方法为实时系统的研究提供了清晰的新视角,简化了模型,并将在未来的工作中支持代数证明。最后,我们提出了一种统一分析方法,允许对任何调度器进行代数定义。将这些函数引入实时调度理论将使整合新概念和应用于理论的方式更加系统化。最后但并非最不重要的是,我们展示了如何改进动态调度中的响应时间分析。
作者:Frank Slomka and Mohammadreza Sadeghi
论文ID:2007.12112
分类:Operating Systems
分类简称:cs.OS
提交时间:2020-07-24