文摘
英文文摘
声明
第一章 绪论
1.1课题的背景及意义
1.2国内外的研究现状
1.2.1国外研究现状
1.2.2国内研究现状
1.3主要工作及论文结构安排
第二章 容忍入侵系统及嵌入式系统
2.1入侵模型
2.2容忍入侵系统基本理论
2.3容忍入侵基本技术
2.3.1容忍入侵技术的特点
2.3.2常用的入侵容忍技术
2.4嵌入式系统及其安全需求
2.4.1嵌入式系统的概念及特点
2.4.2分布式嵌入式系统的特点
2.4.3嵌入式系统的安全问题
2.4.4分布式嵌入式系统中使用容忍入侵技术的必要性
2.5本章小结
第三章 面向嵌入式的复制技术的研究
3.1对象复制技术的分析
3.2基于部分复制的半主动复制的思想
3.3基于部分复制和半主动复制的分布式嵌入式系统结构
3.4基于部分复制的保证全局正确性的协议
3.4.1部分复制对整个系统正确性的影响
3.4.2协议的相关定义及符号说明
3.4.3串行化表协议
3.4.4协议正确性的证明
3.5半主动复制协议
3.5.1协议中的变量、通信原语及相关函数说明
3.5.2协议实现
3.5.3协议运行的一个例子
3.6复制技术的分析
3.7本章小结
第四章 基于历史信息和自检测的表决技术
4.1表决机制
4.1.1表决技术的提出
4.1.2表决的概念
4.1.3表决的理论
4.1.4表决方法的分类
4.2面向分布式嵌入式的表决模型
4.3改进的表决算法
4.3.1常用的表决算法的不足
4.3.2改进的思想
4.3.3复制品历史记录值的建立方法和自检测信息的获取方法
4.3.4算法的描述
4.4表决器算法的实现
4.4.1相关变量和函数说明
4.4.2算法的具体实现
4.5分布式嵌入式系统重配置
4.6本章小结
第五章 仿真实验及性能分析
5.1仿真实验环境
5.2系统测试的界面
5.3性能比较分析
5.4本章小结
第六章 总结与展望
6.1本文总结
6.2展望
致谢
参考文献
攻读硕士期间发表的论文