Matches in SemOpenAlex for { <https://semopenalex.org/work/W4224254837> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4224254837 endingPage "9" @default.
- W4224254837 startingPage "1" @default.
- W4224254837 abstract "At present, the application of the embedded microkernel operating system in military and civil fields has begun to take shape, but it has not yet formed a unified method and standard. Due to its high performance, low frequency, and high reliability, dual-core embedded processors are getting the attention of many chip manufacturers. Compatibility has been favored by many telecom equipment manufacturers and embedded high-end application integrators, but the dual-core embedded processor needs a new real-time operating system to support it, so that it can give full play to the high performance of the dual-core. It paves the way for the application of its processor in the embedded field, but the design of embedded AI engine is not transparent to it; so, it needs the support of operating system. The user code is used to be in the operating system processor environment; so, it can be used on dual core processor first. In the real-time operating system that supports dual-core processors, the part that needs to be modified is mainly concentrated in the kernel part; so, the core design is the key point to support dual-core processors. This article is to seize this key point to carry out in-depth research. The difference and influence of hardware architecture between dual-core processor and single-core processor are the primary content of the study. Through the research of the dual-core processor architecture, the general abstraction of the dual-core processor architecture is obtained, which is the starting point of the follow-up research. This paper mainly studies the design of embedded AI engine based on the microkernel operating system, extracts the security requirements of the operating system, designs and implements the operating system from the perspective of formal verification, and considers the verification problem under the background of RTOS development, so as to avoid using too many complex data structures and algorithms in the system design and reduce the difficulty of experimental verification. In this paper, we use the spatiotemporal data model, data sharing security in the cloud environment, symmetric encryption scheme, and Paillier homomorphic encryption method to study the design of embedded AI engine based on the microkernel operating system. According to the idea of microkernel architecture, the kernel is divided into four main modules: task processing, semaphore, message queue, interrupt, and exception processing, and the lock mechanism to prevent reentrancy in software is analyzed separately. Three core function modules, initialization, process grinding, and interrupt processing, are extracted from the microkernel operating system to form the formal verification area of the operating system. At the same time, the system syntax and semantics of related rights are separated, and the main rationalization rules are described. The results show that the core of the microkernel operating system in five states adopts the microkernel architecture in the dual core environment. The microkernel architecture is a compact system kernel with good adjustability. Based on the analysis of the microkernel operating system, the internal structure of each module in the kernel is summarized, and the modules are modified according to the machine characteristics of the dual core processor; it corresponds to adding modules to meet the characteristics of dual core architecture. Kernel design is a systematic theoretical research process. This paper only uncovers the tip of the iceberg of real-time operating system kernel design on dual-core embedded processors. It is necessary to understand the kernel more deeply and master the kernel in the future work and study." @default.
- W4224254837 created "2022-04-26" @default.
- W4224254837 creator A5002708249 @default.
- W4224254837 creator A5074272794 @default.
- W4224254837 date "2022-04-21" @default.
- W4224254837 modified "2023-09-30" @default.
- W4224254837 title "Design of Embedded Ai Engine Based on the Microkernel Operating System" @default.
- W4224254837 cites W2212589165 @default.
- W4224254837 cites W2346051120 @default.
- W4224254837 cites W2595012996 @default.
- W4224254837 cites W2625871177 @default.
- W4224254837 cites W2629685832 @default.
- W4224254837 cites W2735854850 @default.
- W4224254837 cites W2744586935 @default.
- W4224254837 cites W2753553344 @default.
- W4224254837 cites W2791700495 @default.
- W4224254837 cites W2808280991 @default.
- W4224254837 cites W2893980919 @default.
- W4224254837 cites W2992936295 @default.
- W4224254837 cites W2996863350 @default.
- W4224254837 cites W3036925885 @default.
- W4224254837 cites W3124848429 @default.
- W4224254837 cites W3136107660 @default.
- W4224254837 cites W3152704567 @default.
- W4224254837 cites W3181349518 @default.
- W4224254837 cites W4236883637 @default.
- W4224254837 doi "https://doi.org/10.1155/2022/9304019" @default.
- W4224254837 hasPublicationYear "2022" @default.
- W4224254837 type Work @default.
- W4224254837 citedByCount "1" @default.
- W4224254837 countsByYear W42242548372023 @default.
- W4224254837 crossrefType "journal-article" @default.
- W4224254837 hasAuthorship W4224254837A5002708249 @default.
- W4224254837 hasAuthorship W4224254837A5074272794 @default.
- W4224254837 hasBestOaLocation W42242548371 @default.
- W4224254837 hasConcept C111919701 @default.
- W4224254837 hasConcept C123657996 @default.
- W4224254837 hasConcept C124952713 @default.
- W4224254837 hasConcept C142362112 @default.
- W4224254837 hasConcept C149635348 @default.
- W4224254837 hasConcept C153247305 @default.
- W4224254837 hasConcept C153349607 @default.
- W4224254837 hasConcept C2777127024 @default.
- W4224254837 hasConcept C2780980858 @default.
- W4224254837 hasConcept C2871975 @default.
- W4224254837 hasConcept C41008148 @default.
- W4224254837 hasConcept C78766204 @default.
- W4224254837 hasConcept C9390403 @default.
- W4224254837 hasConcept C98986596 @default.
- W4224254837 hasConceptScore W4224254837C111919701 @default.
- W4224254837 hasConceptScore W4224254837C123657996 @default.
- W4224254837 hasConceptScore W4224254837C124952713 @default.
- W4224254837 hasConceptScore W4224254837C142362112 @default.
- W4224254837 hasConceptScore W4224254837C149635348 @default.
- W4224254837 hasConceptScore W4224254837C153247305 @default.
- W4224254837 hasConceptScore W4224254837C153349607 @default.
- W4224254837 hasConceptScore W4224254837C2777127024 @default.
- W4224254837 hasConceptScore W4224254837C2780980858 @default.
- W4224254837 hasConceptScore W4224254837C2871975 @default.
- W4224254837 hasConceptScore W4224254837C41008148 @default.
- W4224254837 hasConceptScore W4224254837C78766204 @default.
- W4224254837 hasConceptScore W4224254837C9390403 @default.
- W4224254837 hasConceptScore W4224254837C98986596 @default.
- W4224254837 hasLocation W42242548371 @default.
- W4224254837 hasOpenAccess W4224254837 @default.
- W4224254837 hasPrimaryLocation W42242548371 @default.
- W4224254837 hasRelatedWork W1555465723 @default.
- W4224254837 hasRelatedWork W1982715569 @default.
- W4224254837 hasRelatedWork W2034880514 @default.
- W4224254837 hasRelatedWork W2127192836 @default.
- W4224254837 hasRelatedWork W2344456595 @default.
- W4224254837 hasRelatedWork W2370062118 @default.
- W4224254837 hasRelatedWork W2373570725 @default.
- W4224254837 hasRelatedWork W2811048697 @default.
- W4224254837 hasRelatedWork W4224254837 @default.
- W4224254837 hasRelatedWork W436587642 @default.
- W4224254837 hasVolume "2022" @default.
- W4224254837 isParatext "false" @default.
- W4224254837 isRetracted "false" @default.
- W4224254837 workType "article" @default.