基于嵌入式系統(tǒng)的車站信號安全軟件設(shè)計(jì)與實(shí)現(xiàn).pdf

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

2、關(guān)文獻(xiàn)的基礎(chǔ)上，分析并總結(jié)了安全關(guān)鍵軟件設(shè)計(jì)方法和聯(lián)鎖系統(tǒng)的研究現(xiàn)狀及存在的問題。 2．在對比多種嵌入式操作系統(tǒng)的基礎(chǔ)上，選擇并構(gòu)建嵌入式操作系統(tǒng)uClinux平臺。 3．對安全核技術(shù)的機(jī)制，安全策略，及安全核設(shè)計(jì)進(jìn)行了詳細(xì)的研究。 4．將安全核技術(shù)應(yīng)用于計(jì)算機(jī)聯(lián)鎖軟件中，提出了基于安全核技術(shù)的計(jì)算機(jī)聯(lián)鎖軟件設(shè)計(jì)方法，并給出了安全核各模塊的設(shè)計(jì)和實(shí)現(xiàn)。 5．針對鐵路安全技術(shù)，給出了適合的安全策略制定方法。