[发明专利]一种用于电力控制的嵌入式安全操作系统组建方法

摘要

本发明公开了一种用于电力控制的嵌入式安全操作系统组建方法,所述方法包括以下步骤：第一步，为嵌入式操作系统引入安全机制；第二步，对嵌入式安全操作系统开发方法进行探索；第三步，对系统整体的规划设计；第四步，对安全嵌入式操作系统的形式化设计进行探索性分析和设计；第五步，内核访问控制模块的设计与实现。本发明的用于电力控制的嵌入式安全操作系统组建方法，参考TCSEC的B级安全标准，引入强制访问控制、安全审计，形式化设计等安全机制，并将其融入到系统中的各个模块；在保证操作系统实时性的前提下，有效地提高了系统的安全性。

主权项

1.一种用于电力控制的嵌入式安全操作系统组建方法，其特征在于，所述方法包括以下步骤：第一步，为嵌入式操作系统引入安全机制，在基于B级标准上，对目标系统进行设计；第二步，对嵌入式安全操作系统开发方法进行探索，从嵌入式操作系统的实际情况出发，分析应用背景的实际情况，参照传统安全操作系统的设计原则和设计方法，因地制宜地设计和开发目标系统；第三步，对系统整体的规划设计，在需求分析的基础上对系统进行框架设计和模块的划分，提出系统的层次设计方案以及各个子系统的设计思路；整体的设计为本系统的后续设计提供先行条件；第四步，对安全嵌入式操作系统的形式化设计进行探索性分析和设计，在分析BLP模型的基础上，以BLP为基石，针对嵌入式本身的特点，对新模型进行分析和设计，并采用Z语言对模型进行规范描述，为以后的形式化安全性证明工作做出铺垫；第五步，内核访问控制模块的设计与实现，在进行形式化安全模型的设计之后，在分析比较LINUX和uC/OS‑II的系统调用，依照原有操作系统给出的API，进行安全内核访问控制的设计，为尽可能地不影响系统的实时性，引入策略缓冲机制，并做详细的分析说明。