[发明专利]一种面向电力领域安全嵌入式操作系统设计方法

摘要

本发明公开了一种面向电力领域安全嵌入式操作系统设计方法,所述方法包括以下步骤：第一步，对系统访问控制的形式化设计；第二步，采用uC/OS‑II作为内核开发原型，在提出系统框架的基础上，完成整体设计；第三步，测试环节，根据预先设计的安全策略，搭建测试平台，制定测试方案进行具体测试，根据测试结果，对内核系统的性能指标做出量化分析。本发明的面向电力领域安全嵌入式操作系统设计方法，以电力系统中的子站系统为设计对象，设计一个适用于电力领域的安全嵌入式操作系统，以保证系统的信息安全。

主权项

1.一种面向电力领域安全嵌入式操作系统设计方法，其特征在于，所述方法包括以下步骤：第一步，对系统访问控制的形式化设计，a.研究分析各类安全策略模型，考虑安全模型在嵌入式应用的特殊性，基于BLP，设计应用于嵌入式领域的安全访问控制模型uBLP；b.采用了Z语言对新模型进行规范化的描述，在今后的工作中能对模型的正确性作进一步的证明，以符合高安全级别的标准；第二步，采用uC/OS‑II作为内核开发原型，在提出系统框架的基础上，完成整体设计；a.作为操作系统的核心，内核为设计的重点，在其实现方案中，考虑到应用安全访问控制对稳定性以及实时性的影响，结合电力系统的需求引入了决策缓冲机制；b.具体设计将安全内核划分为访问监视器，策略缓存，仲裁服务器，以及审计系统各个子模块，并对其予以实现；c.在实现安全内核的基础上，对系统的各个子系统进行分析与设计，给出内核扩展层与内存管理模块的关系；第三步，测试环节，根据预先设计的安全策略，搭建测试平台，制定测试方案进行具体测试，根据测试结果，对内核系统的性能指标做出量化分析。