改进的地面铁路信号安全计算机软件的设计与实现
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-12页 |
| 第一章 绪论 | 第12-26页 |
| ·研究背景 | 第12-18页 |
| ·现代轨道交通信号系统组成 | 第12-14页 |
| ·安全计算机软硬件 | 第14-18页 |
| ·存在的问题 | 第18-20页 |
| ·国内外研究现状 | 第20-23页 |
| ·民用航空行业 | 第20-21页 |
| ·GE tempo列控系统 | 第21-23页 |
| ·本文研究的内容与意义 | 第23-24页 |
| ·本文的章节安排 | 第24-26页 |
| 第二章 时间隔离设计 | 第26-42页 |
| ·时间两级调度结构 | 第26-27页 |
| ·实时调度算法的选择 | 第27-30页 |
| ·测量软件执行时间的方法 | 第30-31页 |
| ·软件执行时间的确定步骤 | 第31-40页 |
| ·选定路径 | 第31页 |
| ·基于松弛迭代法计算指定路径的输入 | 第31-36页 |
| ·测定指定路径软件执行时间的方法 | 第36-40页 |
| ·隔离时间的确定 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 内存隔离设计 | 第42-57页 |
| ·内存两级调度结构 | 第42-43页 |
| ·VxWorks系统内存管理 | 第43-49页 |
| ·内存管理库函数 | 第43-45页 |
| ·系统内存分配方法 | 第45-49页 |
| ·进一步降低碎片化的方法 | 第49-53页 |
| ·内存分配结构设计 | 第49页 |
| ·小块内存的分配与释放 | 第49-51页 |
| ·总体分配与释放流程 | 第51-53页 |
| ·内存隔离方法 | 第53-56页 |
| ·MMU简介 | 第53-54页 |
| ·页状态设置方法 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 第四章 实验验证 | 第57-87页 |
| ·地面铁路信号安全计算机软件模拟 | 第57-65页 |
| ·CTCS-3列控系统地面设备 | 第57-62页 |
| ·软硬件平台及模拟的任务 | 第62-65页 |
| ·时间隔离的软件实现 | 第65-73页 |
| ·计算输入 | 第65-69页 |
| ·计算时间隔离参数 | 第69-71页 |
| ·时间隔离调度结构的实现 | 第71-73页 |
| ·内存隔离的软件实现 | 第73-80页 |
| ·设置权限的方法 | 第74-76页 |
| ·初始化系统页表 | 第76-77页 |
| ·创建空间 | 第77-79页 |
| ·内存隔离调度结构的实现 | 第79页 |
| ·修改系统内存分配函数 | 第79-80页 |
| ·软件实现的其它一些考虑 | 第80-83页 |
| ·子系统间通信 | 第80-82页 |
| ·子系统切换的第三方监测 | 第82-83页 |
| ·实验验证 | 第83-86页 |
| ·正常情况 | 第83-85页 |
| ·超时 | 第85-86页 |
| ·内存溢出 | 第86页 |
| ·本章小结 | 第86-87页 |
| 第五章 总结与展望 | 第87-90页 |
| ·文章总结 | 第87-88页 |
| ·未来展望 | 第88-90页 |
| 参考文献 | 第90-92页 |
| 图索引 | 第92-94页 |
| 表索引 | 第94-96页 |
| 作者简历 | 第96-100页 |
| 学位论文数据集 | 第100页 |
