Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Real-time microkernel system based on high-speed protocol channel and initialization method thereof

A microkernel and initialization technology, applied in the direction of boot programs, program control devices, etc., can solve the problems that it is difficult to advance in the application field, the research and development environment for ecological construction is very different, and it cannot meet the needs of the industrial control field.

Pending Publication Date: 2020-08-28
CHINA STANDARD SOFTWARE
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] Although sel4 is impressive in terms of security and performance, at present, the microkernel, including sel4, still cannot meet the needs of the industrial control field in terms of hard real-time. What's worse is that the entire ecological construction and research and development environment of the microkernel is quite different from that of the linux system. Far, making it difficult to move forward in the application field

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Real-time microkernel system based on high-speed protocol channel and initialization method thereof
  • Real-time microkernel system based on high-speed protocol channel and initialization method thereof
  • Real-time microkernel system based on high-speed protocol channel and initialization method thereof

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] In order to have a further understanding of the technical solution and beneficial effects of the present invention, the technical solution of the present invention and its beneficial effects will be described in detail below in conjunction with the accompanying drawings.

[0035] The real-time microkernel system based on the high-speed protocol channel provided by the present invention is based on the high-speed protocol channel HSPC (High speed protocol channel), takes fast response to user tasks (task) as the core, and drives each related program module by events to realize the integration of the entire system. run efficiently. The HSPC microkernel itself is equivalent to the communication mechanism for event and business processing. The HSPC microkernel introduces two key mechanisms: one is task-oriented, and all program functions (including kernel programs, system programs and user programs) are attributed to tasks (Task), and business requests are made through task...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to a real-time microkernel system based on a high-speed protocol channel and an initialization method of the real-time microkernel system. The microkernel system comprises a program function module, a system task module and hardware which are connected in sequence, the program function module is used for receiving a task demand of a user, the system task module is used for controlling hardware to respond to the task demand of the user, and a high-speed protocol channel is arranged in the system task module and directly requests task execution through a general primitive.According to the real-time microkernel system based on the high-speed protocol channel and the initialization method of the real-time microkernel system, the formally verified HSPC microkernel operating system is constructed, deployment of the high-speed protocol channel is perfected, and the real-time microkernel system is matched with the terminal processing module, so that the service requirement of the industrial control field for a real-time safe operating system is truly met.

Description

technical field [0001] The invention relates to the technical field of kernel system performance optimization, in particular to a real-time microkernel system based on a high-speed protocol channel and an initialization method thereof. Background technique [0002] The operating system suitable for industrial control systems requires high reliability, strong real-time performance, and strong security. It supports distributed processing methods and is tightly coupled with the underlying hardware platform. It needs to support micro sensors, measurement and control terminals, industrial control servers, graphics workstations, and cluster control. System, multi-level large-scale control system and other businesses, the current operating system is mostly a macro-kernel operating system. In order to improve system performance, many system function modules and all drivers are located in the kernel. Although it can be tailored, the kernel is very Bloated, a slight abnormality will c...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F9/4401
CPCG06F9/4406Y02D10/00
Inventor 代向东刘宁博郭皓丁丽丽任明洋董军平刘莉
Owner CHINA STANDARD SOFTWARE
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products