实时组件的参数化定时接口之路
摘要：使用参数化时态自动机提出了一个框架来建模由并发实时任务组成的实时组件，这些任务在单处理器上运行。我们的框架是通用和模块化的，以便可以轻松适应不同的调度器和更复杂的任务模型。我们首先使用逆方法对组件进行参数化可调度性分析。我们发现，当任务周期被视为参数时，该方法不会提供令人满意的结果。在确定并解释问题之后，我们提出了一种解决方案，通过在可调度性分析中使用最坏情况来调整模型。我们表明，当系统负载严格小于100\%时，倒数方法的分析始终收敛于修改后的模型。最后，我们展示了如何在组成系统设计中使用我们的参数化分析来生成时态接口。
作者：Youcheng Sun, Giuseppe Lipari, ''Etienne Andr''e, Laurent Fribourg
论文ID：1404.0088
分类：Operating Systems
分类简称：cs.OS
提交时间：2014-04-02