[發(fā)明專利]一種面向電力領(lǐng)域安全嵌入式操作系統(tǒng)設(shè)計方法

在審

• 申請?zhí)枺?/td>: 201611181331.5
• 申請日: 2016-12-20
• 公開（公告）號: CN108205626A
• 公開（公告）日: 2018-06-26
• 發(fā)明（設(shè)計）人: 馬炳剛
• 申請（專利權(quán)）人: 黑龍江傲立輔龍科技開發(fā)有限公司
• 主分類號: G06F21/60
• 分類號: G06F21/60
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種面向電力領(lǐng)域安全嵌入式操作系統(tǒng)設(shè)計方法，其特征在于，所述方法包括以下步驟：

第一步，對系統(tǒng)訪問控制的形式化設(shè)計，

a.研究分析各類安全策略模型，考慮安全模型在嵌入式應(yīng)用的特殊性，基于BLP，設(shè)計應(yīng)用于嵌入式領(lǐng)域的安全訪問控制模型uBLP；

b.采用了Z語言對新模型進行規(guī)范化的描述，在今后的工作中能對模型的正確性作進一步的證明，以符合高安全級別的標準；

第二步，采用uC/OS-II作為內(nèi)核開發(fā)原型，在提出系統(tǒng)框架的基礎(chǔ)上，完成整體設(shè)計；

a.作為操作系統(tǒng)的核心，內(nèi)核為設(shè)計的重點，在其實現(xiàn)方案中，考慮到應(yīng)用安全訪問控制對穩(wěn)定性以及實時性的影響，結(jié)合電力系統(tǒng)的需求引入了決策緩沖機制；

b.具體設(shè)計將安全內(nèi)核劃分為訪問監(jiān)視器，策略緩存，仲裁服務(wù)器，以及審計系統(tǒng)各個子模塊，并對其予以實現(xiàn)；

c.在實現(xiàn)安全內(nèi)核的基礎(chǔ)上，對系統(tǒng)的各個子系統(tǒng)進行分析與設(shè)計，給出內(nèi)核擴展層與內(nèi)存管理模塊的關(guān)系；

第三步，測試環(huán)節(jié)，根據(jù)預(yù)先設(shè)計的安全策略，搭建測試平臺，制定測試方案進行具體測試，根據(jù)測試結(jié)果，對內(nèi)核系統(tǒng)的性能指標做出量化分析。

2.根據(jù)權(quán)利要求1所述的面向電力領(lǐng)域安全嵌入式操作系統(tǒng)設(shè)計方法，其特征在于，所述第三步的測試結(jié)果表明，在所設(shè)計的系統(tǒng)中，對內(nèi)核客體的訪問控制符合所制定的安全策略，并且整個內(nèi)核運行穩(wěn)定，實時性的負面影響不超過原有系統(tǒng)性能指標的10%。