论文标题
混合批判性计划的依赖保证规范
A Rely-Guarantee Specification of Mixed-Criticality Scheduling
论文作者
论文摘要
所考虑的应用程序是混合批判性计划。所使用的核心形式方法是依赖保证条件和时带框架。这些应用用于对工作计划进行分层描述，其中包括对工作超越预期执行时间的弹性。提出了一种新颖的形式建模想法来处理实际时间与其在硬件时钟中其近似之间的关系。
The application considered is mixed-criticality scheduling. The core formal approaches used are Rely-Guarantee conditions and the Timeband framework; these are applied to give a layered description of job scheduling which includes resilience to jobs overrunning their expected execution time. A novel formal modelling idea is proposed to handle the relationship between actual time and its approximation in hardware clocks.
