第一个书签之前
摘 要
ABSTRACT
绪论
研究背景及意义
实时系统简介
实时系统的主要特点
实时系统的基本概念
实时操作系统
论文主要工作及创新点
论文结构
实时系统可调度性分析研究综述
典型的实时任务模型
周期性和偶发性任务模型
多帧任务模型
广义多帧任务模型
无环广义多帧任务模型
重复分支、重复实时和无环重复实时任务模型
有向图实时任务模型
同步有限状态机任务模型
自适应变化速率任务模型
有向图实时任务模型的可调度性分析研究
引言
有向图实时任务模型
基于负载函数的响应时间分析
负载函数
帧分离特性下的响应时间分析
任意时限特性下的响应时间分析
确定ibf的线性周期
任务图转换
ibf的周期性
计算强连通任务有向图的周期参数
基于ibf的线性上界的响应时间上界
实验评估
线性周期特性导致的计算效率提高
近似响应时间评估
本章小结
同步有限状态机任务模型的可调度性分析研究
引言
有限状态机
基于有向图实时任务模型的可调度性分析
基于带有动作的有向图模拟FSM
基于带有动作实例的有向图模拟FSM
RBF,IBF 和DBF 的比较
有向图实时任务的执行矩阵
严格响应时间分析
同步FSM的可调度性问题的复杂性
有向图实时任务模型的可调度性问题的复杂性
从有向图实时任务到FSM的伪多项式时间归约
基于RBF 和IBF 的近似响应时间分析
近似分析
支配关系和加速因子
计算RBF 和IBF 函数的方法
执行请求矩阵
极大加代数和周期矩阵幂序列
rbf[s,f)的计算
实验结果
严格分析方法
近似分析方法
利用周期性的长繁忙周期的分析
可扩展性
本章小结
动态自适应变化速率任务模型的可调度性分析研究
引言
系统模型
周期性任务的可调度性分析
从dAVR到dDRT的转换方法
转换方法的安全性和悲观性
发现关键dDRT任务实例序列
动态AVR任务的可调度性分析
实验评估
本章小结
动态自适应变化速率任务模型的性能优化研究
引言
动态自适应变化速率任务模型的分析方法具有限定的悲观性
基于动态切换转速重配的发动机性能优化
问题定义
优化算法
实验评估
随机任务系统生成
案例研究
本章小结
总结与展望
论文工作总结
课题研究展望
致谢
参考文献
作者在学期间取得的学术成果
国防科学技术大学国防科技大学;