声明
致谢
摘要
第一章 绪论
1.1 研究背景
1.1.1 现代轨道交通信号系统组成
1.1.2 安全计算机软硬件
1.2 存在的问题
1.3 国内外研究现状
1.3.1 民用航空行业
1.3.2 GE tempo列控系统
1.4 本文研究的内容与意义
1.5 本文的章节安排
第二章 时间隔离设计
2.1 时间两级调度结构
2.2 实时调度算法的选择
2.3 测量软件执行时间的方法
2.4 软件执行时间的确定步骤
2.4.1 选定路径
2.4.2 基于松弛迭代法计算指定路径的输入
2.4.3 测定指定路径软件执行时间的方法
2.5 隔离时间的确定
2.6 本章小结
第三章 内存隔离设计
3.1 内存两级调度结构
3.2 VxWorks系统内存管理
3.2.1 内存管理库函数
3.2.2 系统内存分配方法
3.3 进一步降低碎片化的方法
3.3.1 内存分配结构设计
3.3.2 小块内存的分配与释放
3.3.3 总体分配与释放流程
3.4 内存隔离方法
3.4.1 MMU简介
3.4.2 页状态设置方法
3.5 本章小结
第四章 实验验证
4.1 地面铁路信号安全计算机软件模拟
4.1.1 CTCS-3列控系统地面设备
4.1.2 软硬件平台及模拟的任务
4.2 时间隔离的软件实现
4.2.1 计算输入
4.2.2 计算时间隔离参数
4.2.3 时间隔离调度结构的实现
4.3 内存隔离的软件实现
4.3.1 设置权限的方法
4.3.2 初始化系统页表
4.3.3 创建空间
4.3.4 内存隔离调度结构的实现
4.3.5 修改系统内存分配函数
4.4 软件实现的其它一些考虑
4.4.1 子系统间通信
4.4.2 子系统切换的第三方监测
4.5 实验验证
4.5.1 正常情况
4.5.2 超时
4.5.3 内存溢出
4.6 本章小结
第五章 总结与展望
5.1 文章总结
5.2 未来展望
参考文献
图索引
表索引
作者简历
学位论文数据集
北京交通大学;