Algorithmdesignandanalysis; Clocks; Educationalinstitutions; Modelchecking; Real-timesystems; Scheduling; Timefactors; Rate-MonotonicScheduler; TMSVL; modelchecking; real-timesystems;
机译:带有实时Maude的速率单调调度实现的形式化建模和验证
机译:速率 - 单调调度的综合性调度测试和最优设计研究
机译:单处理器速率单调调度的可调度性测试的综合比较
机译:具有TMSVL的μC/OS-Ⅲ多任务系统模型检查
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:1单处理器速率 - 单调调度的可调度性测试的综合比较