設備命令文件中存放了各種對交通燈的操作命令，包括正常和不正確命令。命令執行有三種防危等級可供選擇：第一種，不通過防危核的命令，操作命令直接由設備控制器發送到模擬設備;第二種，通過防危核并驗證其正確性的命令，此時防危核將調用防危策略庫的相應防危策略驗證命令，然后將驗證結果發送到模擬設備;第三種，通過防危核但不驗證設備操作的命令，命令被防危核直接送到模擬設備。設計三種等級命令的目的在于，比較是否使用防危核或是否進行命令驗證在系統性能和防危性上的差異。

　　設備的命令格式為：char SourceCmd="Cmd east-light,Cmd north-light,Cmd west-light,Cmd south-light,int Time,bool Verifiedl,bool Verfied2"。操作命令要對十字路口的12盞交通燈進行操作控制。參數Time指本命令相對于前一條命令延遲多長時間發送。參數Verified1=0表示不經過防危核驗證直接傳送到設備的命令;Verified1=1表示要經過防危核驗證。Verified2=0表示該命令直接發送到模擬設備不經過防危核的任何處理;Verified2=1表示該命令要通過防危核。

　　Struct Cmd

　　{

　　char first-light-color;

　　char second-light-color;

　　char third-light-color;

　　}

　　first-light-color,second-light-color,third-light-color表示每個方向三盞燈的顏色插入相應的顏色的圖片。整個圖形界面形象、美觀。

　　5 實驗系統的測試評價

　　根據防危核設計要求，從防危核的大小、對系統實時性的影響以及完備性三方面對本實驗系統進行測試。

　　①防危核大小：防危核所編譯后的目標文件為5KB，相對于RT-Linux內核源碼是非常小的。

　　②時間開銷：將防危核對控制命令驗證所需時間進行了200次測試，得出其平均時間僅10μs左右，說明防危核對系統實時性影響非常小。

　　③完備性：將防危核對第二種控制命令各種情況的防危處理結果表明，防危核的驗證結果完全正確。說明滿足防危核完備性要求。

　　以上對防危核的測試結果表明，本控制模型完全滿足防危核設計要求，防危核機制完全可以在實時操作系統中使用。

　　結語

　　根據防危核等相關理論并結合RT-Linux操作系統本身的特色，本文先從理論上分析了在RT-Linux中實現防危核的可行性，然后通過實際例子實現了基于RT-Linux的防危核，為防危核探索了一種新的實現途徑。最后，通過對實驗系統的測試進一步證明防危保障機制在實時操作系統中完全可行。