覃志东 杨霞 古幼鹏 常政威 雷航 雷剑 桑楠 张宁 江维

时空隔离 EDF调度 内存需求 安全关键软件 两级调度机制 静态模型 可靠性验证 调度算法 ARINC-653 非周期任务 风险 软件可靠性 算法 调度 软件测试 安全关键 嵌入式安全关键系统 贝叶斯方法 GC 实时系统

电子科技大学计算机科学与工程学院