航空电子系统综合调度理论与方法
作者：何锋 著
出版时间：2017年版
内容简介
为了构建先进的航空电子系统，当前的航空电子系统强调开放式架构、商用货架技术和统一网络，由此综合模块化航空电子系统（IMA）概念应运而生。为了实现任务关键和安全关键的航空电子系统，综合调度技术广泛应用于航空电子体系结构中，并成为IMA架构优势使能的关键技术。
《航空电子系统综合调度理论与方法》立足于当前航空电子系统研究现状，跟踪体系架构的新发展趋势和技术难点，讨论航电系统综合调度模型及其没计方法，并结合交换式网络组网特征，深入讨论IMA架构的系统综合调度方案和实时性评价方法。
《航空电子系统综合调度理论与方法》的读者对象为从事航空电子系统以及其他综合电子系统设计的研究人员和工程技术人员，也可作为高等院校信息与通信工程、计算机等专业师生从事实时系统、实时网络研究的参考书。
目录
第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．3 AFDX组网技术
2．5．4 TTE组网技术
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．2 M．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．2 G．Lipari及G．Lipari+模型
6．2．1 G．Lipari模型
6．2．2 G．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．3 AFDX网络模型
9．2 释放抖动影响分析
9．3 网络演算理论
9．3．1 网络演算基本概念
9．3．2 网络演算端到端延迟计算
9．3．3 网络演算紧性方法
9．4 消息端到端延迟分析
9．4．1 端到端延迟分解
9．4．2 AFDX端系统排队延迟
9．4．3 端到端延迟求解
9．5 任务序列响应时间上界
9．6 实例分析
9．7 本章小结
第10章 时间触发系统分区综合设计
10．1 网络分区综合模型
10．1．1 分区隔离机制
10．1．2 TTE时钟同步过程
10．1．3 时间触发架构同步方法
10．1．4 分区综合模型
10．2 网络分区综合模型调度设计
10．2．1 核心处理系统分区调度
10．2．2 统一网络调度
10．2．3 DIMA系统时刻调度
10．3 实验与分析
10．3．1 算例说明
10．3．2 调度结果分析
10．4 本章小结
第11章 结论与展望
11．1 主要结论
11．2 研究展望
参考文献
术语索引
