設(shè)備命令文件中存放了各種對交通燈的操作命令,包括正常和不正確命令。命令執(zhí)行有三種防危等級可供選擇:第一種,不通過防危核的命令,操作命令直接由設(shè)備控制器發(fā)送到模擬設(shè)備;第二種,通過防危核并驗(yàn)證其正確性的命令,此時防危核將調(diào)用防危策略庫的相應(yīng)防危策略驗(yàn)證命令,然后將驗(yàn)證結(jié)果發(fā)送到模擬設(shè)備;第三種,通過防危核但不驗(yàn)證設(shè)備操作的命令,命令被防危核直接送到模擬設(shè)備。設(shè)計(jì)三種等級命令的目的在于,比較是否使用防危核或是否進(jìn)行命令驗(yàn)證在系統(tǒng)性能和防危性上的差異。
設(shè)備的命令格式為:char SourceCmd="Cmd east-light,Cmd north-light,Cmd west-light,Cmd south-light,int Time,bool Verifiedl,bool Verfied2"。操作命令要對十字路口的12盞交通燈進(jìn)行操作控制。參數(shù)Time指本命令相對于前一條命令延遲多長時間發(fā)送。參數(shù)Verified1=0表示不經(jīng)過防危核驗(yàn)證直接傳送到設(shè)備的命令;Verified1=1表示要經(jīng)過防危核驗(yàn)證。Verified2=0表示該命令直接發(fā)送到模擬設(shè)備不經(jīng)過防危核的任何處理;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表示每個方向三盞燈的顏色插入相應(yīng)的顏色的圖片。整個圖形界面形象、美觀。
5 實(shí)驗(yàn)系統(tǒng)的測試評價
根據(jù)防危核設(shè)計(jì)要求,從防危核的大小、對系統(tǒng)實(shí)時性的影響以及完備性三方面對本實(shí)驗(yàn)系統(tǒng)進(jìn)行測試。
?、俜牢:舜笮。悍牢:怂幾g后的目標(biāo)文件為5KB,相對于RT-Linux內(nèi)核源碼是非常小的。
②時間開銷:將防危核對控制命令驗(yàn)證所需時間進(jìn)行了200次測試,得出其平均時間僅10μs左右,說明防危核對系統(tǒng)實(shí)時性影響非常小。
?、弁陚湫裕簩⒎牢:藢Φ诙N控制命令各種情況的防危處理結(jié)果表明,防危核的驗(yàn)證結(jié)果完全正確。說明滿足防危核完備性要求。
以上對防危核的測試結(jié)果表明,本控制模型完全滿足防危核設(shè)計(jì)要求,防危核機(jī)制完全可以在實(shí)時操作系統(tǒng)中使用。
結(jié)語
根據(jù)防危核等相關(guān)理論并結(jié)合RT-Linux操作系統(tǒng)本身的特色,本文先從理論上分析了在RT-Linux中實(shí)現(xiàn)防危核的可行性,然后通過實(shí)際例子實(shí)現(xiàn)了基于RT-Linux的防危核,為防危核探索了一種新的實(shí)現(xiàn)途徑。最后,通過對實(shí)驗(yàn)系統(tǒng)的測試進(jìn)一步證明防危保障機(jī)制在實(shí)時操作系統(tǒng)中完全可行。
電子發(fā)燒友App






































評論