原文传递
基于嵌入式系统的车站信号安全软件设计与实现
| 论文题名： | 基于嵌入式系统的车站信号安全软件设计与实现 |
| 关键词： | 嵌入式系统;安全关键软件;安全核;计算机联锁软件 |
| 摘要： | 嵌入式安全关键系统对组成系统的软件、硬件安全性级别要求极高，这种系统的运行直接关系着人员生命和财产安全。如果嵌入式系统安全关键软件质量不好，可能对系统的安全构成严重威胁。因此，嵌入式系统安全关键软件在设计上应采取多种安全保障技术。安全核技术就是其中的重要措施之一。 本文在嵌入式系统环境下，针对典型的安全关键系统一车站信号计算机联锁系统，基于安全核技术进行了安全软件开发方法的研究与实践，主要工作如下： 1．在大量收集阅读相关文献的基础上，分析并总结了安全关键软件设计方法和联锁系统的研究现状及存在的问题。 2．在对比多种嵌入式操作系统的基础上，选择并构建嵌入式操作系统uClinux平台。 3．对安全核技术的机制，安全策略，及安全核设计进行了详细的研究。 4．将安全核技术应用于计算机联锁软件中，提出了基于安全核技术的计算机联锁软件设计方法，并给出了安全核各模块的设计和实现。 5．针对铁路安全技术，给出了适合的安全策略制定方法。 6．基于风险评价，分析了安全核对联锁软件安全性的影响。 7．在嵌入式系统平台上，对安全核进行了测试，验证了安全核的功能。 |
| 作者： | 张佳楠 |
| 专业： | 交通信息工程及控制 |
| 导师： | 王海峰;蒋大明 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2006 |
| 正文语种： | 中文 |
检索历史
应用推荐
