技術(shù)編號：12550575
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明屬于嵌入式系統(tǒng)領(lǐng)域，涉及模型檢測和定理證明技術(shù)，特別涉及一種基于嵌入式操作系統(tǒng)微內(nèi)核原型的進(jìn)程間通信安全性形式化分析驗證系統(tǒng)。背景技術(shù)一方面，隨著計算機(jī)科技的飛速發(fā)展，一類具有內(nèi)核精簡、專用性強(qiáng)、易維護(hù)等特點的嵌入式微內(nèi)核操作系統(tǒng)逐漸流行，并且在醫(yī)療、軍工、民生等各大方面都得到了廣泛應(yīng)用。另一方面，傳統(tǒng)宏內(nèi)核操作系統(tǒng)由于將絕大部分功能實現(xiàn)于內(nèi)核的設(shè)計理念，隨著時間推移，不可避免的出現(xiàn)了代碼量無比龐大，內(nèi)核體積迅速膨脹，模塊間依賴嚴(yán)重，易崩潰等問題。而微內(nèi)核的提出恰恰解決了宏內(nèi)核中存在的上述...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。