基于多核RTOS模型的形式化可调度性分析

伊曼·霍尔,珍妮·卢克·贝切内克,奥利维尔·亨利·鲁克斯.基于多核RTOS模型的形式化可调度性分析.奥黛丽·奎德特,伊恩·贝特,朱塞佩·利帕里,编辑,RTNS’2021:第29届实时网络和系统国际会议,法国南特,2021年4月7日至9日.216-225、ACM、,2021 [美国国防部]

摘要

缺少摘要。