一種為程序的安全性驗證所設(shè)計的面向?qū)ο蟮淖詣愚D(zhuǎn)換方法
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>1650 K
標(biāo)簽： 開發(fā)工具
所需積分：0分積分不夠怎么辦？
文檔介紹：容錯和控制系統(tǒng)的安全性驗證是自發(fā)機撲系統(tǒng)成功的關(guān)鍵，一種叫做任務(wù)數(shù)據(jù)系統(tǒng)MDS(Mission Data Symstem)的控制框架的軟件理論被提了出來，而它的產(chǎn)生則推動了一種基于對象的控制方法的產(chǎn)生。本文將討論一種設(shè)計方法，該方法的設(shè)計目的是將對象網(wǎng)絡(luò)控制程序轉(zhuǎn)化為線性混合系統(tǒng)。該線性混合系統(tǒng)在使用信號模擬檢測器進(jìn)行檢測時，在出現(xiàn)錯誤時是可以證明其安全性的。本文將結(jié)合例子介紹這種方法。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。