| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 1 引言 | 第9-18页 |
| ·嵌入式系统 | 第9-12页 |
| ·安全关键软件 | 第12-15页 |
| ·车站信号联锁系统 | 第15-16页 |
| ·论文研究目的 | 第16-17页 |
| ·论文内容及结构 | 第17-18页 |
| 2 嵌入式系统的软件开发 | 第18-32页 |
| ·嵌入式操作系统 | 第18-23页 |
| ·嵌入式软件开发 | 第23-26页 |
| ·安全核技术 | 第26-30页 |
| ·嵌入式软件设计流程 | 第30-32页 |
| 3 基于安全核的嵌入式联锁软件设计 | 第32-47页 |
| ·车站信号计算机联锁软件结构 | 第32-33页 |
| ·开发环境 | 第33-34页 |
| ·基于安全核的嵌入式联锁软件设计 | 第34-37页 |
| ·安全核中各模块实现 | 第37-47页 |
| 4 基于安全核的计算机联锁软件安全性评价 | 第47-56页 |
| ·风险分析 | 第47-49页 |
| ·计算机联锁软件风险评价 | 第49-53页 |
| ·安全核测试 | 第53-56页 |
| 5 总结及展望 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 作者简历 | 第59-60页 |