[發明專利]一種用于電力控制的嵌入式安全操作系統組建方法

在審

• 申請號: 201611181297.1
• 申請日: 2016-12-20
• 公開（公告）號: CN108205435A
• 公開（公告）日: 2018-06-26
• 發明（設計）人: 馬炳剛
• 申請（專利權）人: 黑龍江傲立輔龍科技開發有限公司
• 主分類號: G06F8/10
• 分類號: G06F8/10;G06F8/20;G06F8/30;G06F21/71
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種用于電力控制的嵌入式安全操作系統組建方法，其特征在于，所述方法包括以下步驟：

第一步，為嵌入式操作系統引入安全機制，在基于B級標準上，對目標系統進行設計；

第二步，對嵌入式安全操作系統開發方法進行探索，從嵌入式操作系統的實際情況出發，分析應用背景的實際情況，參照傳統安全操作系統的設計原則和設計方法，因地制宜地設計和開發目標系統；

第三步，對系統整體的規劃設計，在需求分析的基礎上對系統進行框架設計和模塊的劃分，提出系統的層次設計方案以及各個子系統的設計思路；整體的設計為本系統的后續設計提供先行條件；

第四步，對安全嵌入式操作系統的形式化設計進行探索性分析和設計，在分析BLP模型的基礎上，以BLP為基石，針對嵌入式本身的特點，對新模型進行分析和設計，并采用Z語言對模型進行規范描述，為以后的形式化安全性證明工作做出鋪墊；

第五步，內核訪問控制模塊的設計與實現，在進行形式化安全模型的設計之后，在分析比較LINUX和uC/OS-II的系統調用，依照原有操作系統給出的API，進行安全內核訪問控制的設計，為盡可能地不影響系統的實時性，引入策略緩沖機制，并做詳細的分析說明。

2.根據權利要求1所述的用于電力控制的嵌入式安全操作系統組建方法，其特征在于，所述第五步中的內核的訪問控制機制的實現包括訪問監視器和仲裁服務器以及安全審計。