1、目前實(shí)時(shí)控制系統(tǒng)己廣泛應(yīng)用在工廠自動(dòng)化、過(guò)程自動(dòng)化和交通運(yùn)輸?shù)刃袠I(yè)。然而，目前標(biāo)準(zhǔn)化的工業(yè)控制網(wǎng)的安全性尚處于基本不設(shè)防的狀態(tài)。任何人只要能夠接近分布式實(shí)時(shí)控制網(wǎng)絡(luò)的物理連線，即能夠有效控制或影響整個(gè)控制系統(tǒng)而不留下任何破壞痕跡或證據(jù)。當(dāng)實(shí)時(shí)控制系統(tǒng)從局限于一隅的嚴(yán)密保衛(wèi)的區(qū)域發(fā)展為分布式的大控制系統(tǒng)后，這種對(duì)惡意攻擊的脆弱性更是顯露無(wú)疑。為此，論文首先提出了一種可編程控制器的設(shè)計(jì)原型，然后創(chuàng)新性地引入了多種安全機(jī)制，并針對(duì)實(shí)時(shí)控制做出

2、調(diào)整。論文詳細(xì)討論了適用于分布式實(shí)時(shí)系統(tǒng)特別是分布式實(shí)時(shí)控制系統(tǒng)的幾種實(shí)用的安全保障機(jī)制的原理與實(shí)現(xiàn)。由于安全審核日志的需要，論文特別討論了實(shí)時(shí)控制軟件的基于事件反演的邏輯分析問(wèn)題。 論文首先對(duì)分布式系統(tǒng)和實(shí)時(shí)控制系統(tǒng)的基本概念和應(yīng)用現(xiàn)狀作了簡(jiǎn)單介紹，然后介紹了分布式實(shí)時(shí)系統(tǒng)對(duì)安全性的需求。 論文通過(guò)對(duì)面向嵌入式實(shí)時(shí)控制環(huán)境的執(zhí)行系統(tǒng)的體系結(jié)構(gòu)和一些實(shí)現(xiàn)技術(shù)進(jìn)行較深入的探討，提出了一種典型的實(shí)時(shí)控制器——可編程控制器的設(shè)

3、計(jì)目標(biāo)和并實(shí)現(xiàn)了其原型設(shè)計(jì)方案。 在這個(gè)提出的可編程控制器設(shè)計(jì)原型的基礎(chǔ)上，隨之引入了適用于實(shí)時(shí)控制器的數(shù)種安全機(jī)制。論文詳細(xì)討論其理論原理和實(shí)現(xiàn)方案。這些機(jī)制包括基于程序身份校驗(yàn)和訪問(wèn)控制表的采用權(quán)限繼承樹(shù)的安全模型，結(jié)合了安全機(jī)制的簡(jiǎn)化的在線升級(jí)模型，基于反演的在線跟蹤與調(diào)試模型等等。文章也討論了遠(yuǎn)程操作的安全問(wèn)題，并提出一種加密傳輸機(jī)制。 為了實(shí)現(xiàn)系統(tǒng)級(jí)的安全日志，論文深入研究對(duì)多種典型的軟硬件邏輯分析儀的工作機(jī)理