基于嵌入式系統的車站信號安全軟件設計與實現.pdf

1、嵌入式安全關鍵系統對組成系統的軟件、硬件安全性級別要求極高，這種系統的運行直接關系著人員生命和財產安全。如果嵌入式系統安全關鍵軟件質量不好，可能對系統的安全構成嚴重威脅。因此，嵌入式系統安全關鍵軟件在設計上應采取多種安全保障技術。安全核技術就是其中的重要措施之一。 本文在嵌入式系統環境下，針對典型的安全關鍵系統一車站信號計算機聯鎖系統，基于安全核技術進行了安全軟件開發方法的研究與實踐，主要工作如下： 1．在大量收集閱讀相

2、關文獻的基礎上，分析并總結了安全關鍵軟件設計方法和聯鎖系統的研究現狀及存在的問題。 2．在對比多種嵌入式操作系統的基礎上，選擇并構建嵌入式操作系統uClinux平臺。 3．對安全核技術的機制，安全策略，及安全核設計進行了詳細的研究。 4．將安全核技術應用于計算機聯鎖軟件中，提出了基于安全核技術的計算機聯鎖軟件設計方法，并給出了安全核各模塊的設計和實現。 5．針對鐵路安全技術，給出了適合的安全策略制定方法。