| 提要 | 第4-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 第1章 绪论 | 第15-31页 |
| 1.1 研究背景与意义 | 第15-21页 |
| 1.1.1 调度优化 | 第19-20页 |
| 1.1.2 轻量级消息认证 | 第20-21页 |
| 1.1.3 支持消息认证的调度优化 | 第21页 |
| 1.2 国内外研究现状 | 第21-27页 |
| 1.2.1 调度优化问题的研究现状 | 第22-24页 |
| 1.2.2 消息认证问题的研究现状 | 第24-27页 |
| 1.2.3 信息安全与功能安全协同优化设计问题的研究现状 | 第27页 |
| 1.3 本文的主要研究工作 | 第27-29页 |
| 1.4 本文的组织结构 | 第29-31页 |
| 第2章 基于FLEXRAY总线的车载控制系统调度优化 | 第31-51页 |
| 2.1 引言 | 第31-32页 |
| 2.2 系统模型与问题定义 | 第32-41页 |
| 2.2.1 硬件架构 | 第32页 |
| 2.2.2 软件架构 | 第32页 |
| 2.2.3 应用模型 | 第32-33页 |
| 2.2.4 Flex Ray总线通信协议 | 第33-39页 |
| 2.2.5 问题定义 | 第39页 |
| 2.2.6 简单的调度方案和动机例子 | 第39-41页 |
| 2.3 基于整数线性规划的调度优化方法 | 第41-46页 |
| 2.3.1 定义 | 第41-43页 |
| 2.3.2 约束 | 第43-45页 |
| 2.3.3 目标函数 | 第45-46页 |
| 2.4 实验结果 | 第46-50页 |
| 2.4.1 车载线控系统案例研究 | 第46-48页 |
| 2.4.2 扩展性分析 | 第48-50页 |
| 2.5 本章小结 | 第50-51页 |
| 第3章 基于TTETHERNET的车载控制系统调度优化 | 第51-71页 |
| 3.1 引言 | 第51-52页 |
| 3.2 系统模型与问题定义 | 第52-58页 |
| 3.2.1 硬件架构 | 第52页 |
| 3.2.2 软件架构 | 第52页 |
| 3.2.3 应用模型 | 第52-54页 |
| 3.2.4 TTEthernet通信协议 | 第54-56页 |
| 3.2.5 问题定义 | 第56页 |
| 3.2.6 简单的调度方案和动机例子 | 第56-58页 |
| 3.3 基于整数线性规划的调度优化方法 | 第58-65页 |
| 3.3.1 定义 | 第58-61页 |
| 3.3.2 约束 | 第61-65页 |
| 3.3.3 目标函数 | 第65页 |
| 3.4 实验结果 | 第65-69页 |
| 3.4.1 实验设置 | 第66页 |
| 3.4.2 实验结果及分析 | 第66-69页 |
| 3.5 本章小结 | 第69-71页 |
| 第4章 面向时间触发网络的车载控制系统轻量级消息认证协议 | 第71-91页 |
| 4.1 引言 | 第71-72页 |
| 4.2 模型与定义 | 第72-76页 |
| 4.2.1 系统模型与应用模型 | 第72-73页 |
| 4.2.2 设计约束 | 第73-74页 |
| 4.2.3 攻击模型 | 第74页 |
| 4.2.4 认证 | 第74-76页 |
| 4.3 基于单层单向密钥链的TESLA消息认证协议 | 第76-77页 |
| 4.3.1 基于单层单向密钥链的TESLA消息认证协议 | 第76-77页 |
| 4.3.2 TESLA协议在车载控制系统中的不足 | 第77页 |
| 4.4 基于多层分级密单向密钥链的轻量级消息认证协议 | 第77-82页 |
| 4.4.1 发送方设置 | 第77-80页 |
| 4.4.2 发送方多播认证的消息 | 第80-81页 |
| 4.4.3 接收方认证接收的消息 | 第81-82页 |
| 4.4.4 发送方分布初始密钥 | 第82页 |
| 4.5 基于多层分级单向密钥链的消息认证协议优化执行 | 第82-87页 |
| 4.5.1 底层密钥揭露间隔长度的有效值计算 | 第83-84页 |
| 4.5.2 控制应用与认证应用的协同调度设计 | 第84-85页 |
| 4.5.3 多层分级单向密钥链的参数配置 | 第85-87页 |
| 4.6 性能评估 | 第87-90页 |
| 4.6.1 计算性能 | 第87页 |
| 4.6.2 资源开销 | 第87-90页 |
| 4.7 本章小结 | 第90-91页 |
| 第5章 支持消息认证机制的基于FLEXRAY总线的车载控制系统调度优化 | 第91-113页 |
| 5.1 引言 | 第91页 |
| 5.2 系统模型与问题定义 | 第91-97页 |
| 5.2.1 系统模型 | 第91-93页 |
| 5.2.2 支持消息认证机制的应用模型 | 第93-94页 |
| 5.2.3 问题定义 | 第94页 |
| 5.2.4 简单的协同调度方案和动机例子 | 第94-97页 |
| 5.3 基于整数线性规划的协同调度优化方法 | 第97-107页 |
| 5.3.1 定义 | 第97-100页 |
| 5.3.2 约束 | 第100-106页 |
| 5.3.3 目标函数 | 第106-107页 |
| 5.4 实验结果 | 第107-111页 |
| 5.4.1 车载线控系统案例研究 | 第107-109页 |
| 5.4.2 扩展性分析 | 第109-111页 |
| 5.5 本章小结 | 第111-113页 |
| 第6章 支持消息认证机制的基于TTETHERNET的车载控制系统调度优化 | 第113-135页 |
| 6.1 引言 | 第113-114页 |
| 6.2 系统模型与问题定义 | 第114-119页 |
| 6.2.1 系统模型 | 第114-116页 |
| 6.2.2 支持消息认证机制的应用模型 | 第116-117页 |
| 6.2.3 问题定义 | 第117页 |
| 6.2.4 简单的协同调度方案和动机例子 | 第117-119页 |
| 6.3 基于整数线性规划的协同调度优化方法 | 第119-128页 |
| 6.3.1 定义 | 第119-123页 |
| 6.3.2 约束 | 第123-128页 |
| 6.3.3 目标函数 | 第128页 |
| 6.4 实验结果 | 第128-133页 |
| 6.4.1 实验设置 | 第129-130页 |
| 6.4.2 实验结果及分析 | 第130-133页 |
| 6.5 本章小结 | 第133-135页 |
| 第7章 总结与展望 | 第135-139页 |
| 7.1 工作总结 | 第135-137页 |
| 7.2 下一步的工作展望 | 第137-139页 |
| 参考文献 | 第139-147页 |
| 作者简介及在学期间所取得的科研成果 | 第147-149页 |
| 致谢 | 第149页 |
