.png){kind=icon}
返回
A Specification Framework for Mixed-Criticality Scheduling Protocols
.png){kind=icon}
PRE
AI
DOI：10.1145/3765522.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文提出了一种通用的形式化框架，用于描述临界性感知调度器、被分配不同临界性级别的应用作业集以及生成工作负载和故障的环境之间的关系，这些工作负载和故障是运行时系统必须控制的。所提出的形式化方法扩展了依赖-保证（rely-guarantee）方法，该方法便于对并发系统的功能行为进行形式化推理，以处理实时属性。通用框架的阐述由一个七步方法补充，该方法使其能够实例化，以提供任何拟议的混合临界性调度协议的形式化规范。通过一个非平凡的实例化来探索该方法的表达力。
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.6
论文数:
227
被引数:
2.3K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
查看更多内容