航空电子系统综合调度理论与方法

第1章绪论
1.1航空电子系统及其发展历程
1.1.1航空电子系统层次结构
1.1.2航空电子系统发展历程
1.1.3航空电子系统设计特点
1.2航空电子系统发展挑战
1.2.1网络中心战的挑战
1.2.2从IMA到DIMA
1.2.3混合关键性发展
1.3航空电子分区管理模型
1.3.1分区管理概念
1.3.2分区管理模型
1.4分区管理研究现状
1.4.1基本概念
1.4.2可调度性
1.4.3分区设计
1.4.4混合关键性
1.5研究工作和结构安排
1.5.1研究内容与贡献
1.5.2全文结构安排
1.6本章小结
第2章航空电子系统结构及分区管理
2.1航空电子系统结构
2.1.1开放式系统
2.1.2模块化航空电子系统
2.1.3核心处理系统
2.1.4航空电子系统软件模型
2.1.5蓝印系统
2.1.6通用功能模块加载软件映射
2.2分区管理
2.2.1分区属性
2.2.2分区操作模式转换
2.2.3分区调度
2.2.4分区控制
2.3进程管理
2.3.1进程属性
2.3.2进程状态切换
2.3.3进程控制
2.3.4进程调度
2.4分区调度基本模型
2.4.1分区和实时任务
2.4.2调度策略和理论
2.5机载互连网络
2.5.1机载网络发展历程
2.5.2网络分区
2.5.3AFDX组网技术
2.5.4TTE组网技术
2.6本章小结
第3章基于轮转调度策略分区设计
3.1轮转调度模型
3.2下层调度器采用固定优先级策略
3.2.1可调度性分析
3.2.2分区设计
3.3下层调度器采用动态优先级策略
3.3.1可调度性分析
3.3.2分区设计
3.4实例分析
3.5本章小结
第4章基于固定优先级调度策略分区设计
4.1固定优先级调度模型
4.2下层调度器采用固定优先级策略
4.2.1可调度性分析
4.2.2分区设计
4.3下层调度器采用动态优先级策略
4.3.1可调度性分析
4.3.2分区设计
4.4实例分析
4.5本章小结
第5章基于动态优先级调度策略分区设计
5.1动态优先级调度模型
5.2M.Spuri 的算法
5.3下层调度器采用固定优先级策略
5.3.1可调度性分析
5.3.2分区设计
5.4下层调度器采用动态优先级策略
5.4.1可调度性分析
5.4.2分区设计
5.5本章小结
第6章航空电子分区设计综合评价
6.1可设计性评价
6.1.1评价模型
6.1.2评价结果
6.2G.Lipari及G.Lipari 模型
6.2.1G.Lipari模型
6.2.2G.Lipari 模型
6.3分区设计解
6.4分区设计参数评价
6.4.1评价模型
6.4.2评价结果
6.5本章小结
第7章混合关键性分区综合设计
7.1混合关键性系统分层调度架构
7.1.1混合关键性任务模型
7.1.2混合关键性分区模型
7.1.3分区资源重配置机制
7.2调度策略及可调度性分析基础
7.2.1任务时间需求函数
7.2.2资源供给界限函数
7.2.3混合关键性可调度判定
7.3高效可调度性分析
7.3.1待考查区间边界
7.3.2可调度判定问题等效转化
7.3.3快速收敛分析 QPA
7.4虚拟相对截止期限分配及分区参数设计
7.4.1问题分析与形式化描述
7.4.2基于禁忌搜索的虚拟相对截止期限分配算法
7.4.3分区参数设计
7.5实例分析
7.6实验仿真与结果分析
7.6.1任务集生成方法
7.6.2分区可调度性分析
7.6.3虚拟相对截止期限分配
7.7本章小结
第8章分布式任务分配与分区设计
8.1核心处理系统模型与分析
8.1.1平台模型
8.1.2任务与消息模型
8.1.3实时性分析
8.2多层资源分配构架
8.3平台层任务分配算法
8.3.1任务分配问题的形式化分析
8.3.2遗传模拟退火算法
8.3.3基于GSA的核心处理系统任务分配算法
8.4节点层分区参数优化
8.5实验与分析
8.5.1实例分析
8.5.2性能对比
8.6本章小结
第9章基于IMA系统的任务序列实时性分析
9.1基于AFDX网络的IMA系统模型
9.1.1任务模型
9.1.2消息模型
9.1.3AFDX网络模型
9.2释放抖动影响分析
9.3网络演算理论
9.3.1网络演算基本概念
9.3.2网络演算端到端延迟计算
9.3.3网络演算紧性方法
9.4消息端到端延迟分析
9.4.1端到端延迟分解
9.4.2AFDX端系统排队延迟
9.4.3端到端延迟求解
9.5任务序列响应时间上界
9.6实例分析
9.7本章小结
0章时间触发系统分区综合设计
10.1网络分区综合模型
10.1.1分区隔离机制
10.1.2TTE时钟同步过程
10.1.3时间触发架构同步方法
10.1.4分区综合模型
10.2网络分区综合模型调度设计
10.2.1核心处理系统分区调度
10.2.2统一网络调度
10.2.3DIMA系统时刻调度
10.3实验与分析
10.3.1算例说明
10.3.2调度结果分析
10.4本章小结
第11章结论与展望
11.1主要结论
11.2研究展望
参考文献
术语索引