Method for building embedded secure operation systems for electric control

Abstract

The invention discloses a method for building embedded secure operation systems for electric control. The method comprises the following steps of: 1, importing a security mechanism for an embedded operation system; 2, exploring an embedded secure operation system development method; 3, planning and designing the whole system; 4, carrying out exploratory analysis and design on formalized design ofthe secure embedded operation system; and 5, designing and realizing a kernel access control module. According to the method for building embedded secure operation systems for electric control, a B-level security standard of TCSEC is referred, and security mechanisms such as forced access control, security audition and formalized design are imported and fused into each module in the system, so that the security of the system is effectively improved under the premise of ensuring the instantaneity of the operation system.

Description

technical field [0001] The invention relates to a method for building an embedded safety operating system for power control, and belongs to the technical field of computer software and hardware design. Background technique [0002] In recent years, with the rapid development of information technology based on computer technology and communication technology and the wide application of the Internet, the traditional control discipline is undergoing changes, and many new growth points have emerged; with the increasing requirements of the industry for intelligent control With continuous improvement, various forms of digital intelligent products have emerged as the times require, and have become the main components that replace general-purpose PCs and carry out information processing. Microprocessors are embedded in these components and become so-called embedded systems; generally speaking, embedded The operating system is simpler than the general-purpose operating system, but va...

AI Technical Summary

Problems solved by technology

Embedded systems have a wide application base in the field of electric power; with the expansion of power system scale and the improvement of automation level, the power system has higher and higher requirements for the reliability and safety of the underlying equipment; The security protection capabilities of embedded operating systems are limited, and the information security of the system is facing great challenges; in the field of embedded operating systems, security development is in its infancy, and the current embedded operating system mainly considers its real-time and stability, without much consideration for security, which obviously cannot meet the increasingly urgent security needs in the power field