Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

35 results about "Micro kernel" patented technology

Micro kernel pluggable program application system and implementation method thereof

The invention discloses a micro kernel pluggable program application system and an implementation method thereof, which are used for solving the technical problems of low software updating efficiency and the high redundancy under the conventional software architecture mode. By the method, a friendly plug-in based software updating system is implemented; and during software updating, a plug-in unit is used as an updating logic unit, so the updating redundancy is reduced. By using an extendible plug-in structure, a plug-in description file is used for describing a dependence relation among plug-ins, so a micro kernel can nest and load plug-in resources according to a plug-in resource configuration file and the extendibility is strong. The micro kernel downloads at the first time and uploads a root plug-in comprising a key function according to the plug-in resource configuration file, and downloads and uploads a sub plug-in on which the root plug-in depends; and as the plug-in uploaded at the first time is used at the first time, the user experience is enhanced. By the invention, the judgment on the version of an automatic plug-in, the automatic downloading of the plug-in and dependence uploading procedure architecture based on the plug-in are realized so as to realize the system upgrading automation.
Owner:TENCENT TECH (SHENZHEN) CO LTD

Communication security formalization analysis and verification system in process based on micro kernel prototyping

The invention discloses a communication security formalization analysis and verification system in process based on a micro kernel prototyping. The communication security formal analysis and verification system comprises a prototype preprocessed module. The prototype preprocessed module comprises a system entrance of the formalization analysis and verification system, and an embedded operating system micro kernel prototype is as input. A pending verified IPC module extracted from the micro kernel module classified processes to generate a collection IPC with related function as inputting pending verified data of each module. An IPC security properties of a particular attribute in a finite state is verified through a denumerable state specific attribute authentication module. The denumerable state specific attribute authentication module is capable of modeling and analyzing the pending verified IPC fault behavior pointedly. An Infinite state and the generalized attribute verification module are used for verifying IPC security properties of infinite and non-specific attributes, verifying the external nature of IPC abstracted from a standardized data structure, and deeply abstracting and further generating different models and refine validation based on abstract properties and each interest point.
Owner:EAST CHINA NORMAL UNIV

Method and system realizing communication among multiple applications

The invention relates to a method and a system realizing communication among multiple applications. The method comprises the following steps of obtaining a request packet sent by a first application to a second application by a micro-kernel, wherein the first application and the second application are pre-registered to the micro-kernel; transmitting the request packet to the second application by the micro-packet; and receiving a response packet returned by the second application and transmitting the response packet to the first application by the micro-kernel. According to the method and the system realizing communication among the multiple applications, the facts of registering the first application and the second application to the micro-kernel and conducting transition control on the request packet sent by the first application to the second application and the response packet to the request packet by the second application both through the micro-kernel are adopted, and transition control is conducted on communication among applications regardless of the number of the applications through the micro-kernel, so that communication among the applications is enabled to be simple and flexibility and safety of communication among the applications are improved.
Owner:TENCENT TECH (SHENZHEN) CO LTD

Monitoring and reconstruction methods of software-defined PLC (Programmable Logic Controller) and devices

The embodiment of the invention relates to the field of PLC (Programmable Logic Controller), and particularly to monitoring and reconstruction methods of software-defined PLC and devices. The methodsand the devices are used for quickly reconstructing the virtual PLC in a case without powering-down. The method includes: obtaining working status of each physical core on each server in a server cluster and working status of each micro kernel on each physical core by a soft guarder when a fault of the virtual PLC is monitored; determining a target micro-kernel according to the working status of each physical core on each server in a server cluster and the working status of each micro kernel on each physical core; and sending a reconstruction instruction to the target micro-kernel, wherein thereconstruction instruction is used for indication of reconstructing the virtual PLC on the target micro-kernel. Multiple micro kernels are virtualized on one physical core, and thus the virtual PLC runs on a micro kernel; and the PLC is reconstructed on the other micro kernel if the virtual PLC fails, all the micro kernels do not impact one another, and thus fast reconstruction of the virtual PLCcan be realized in the case without powering-down when the virtual PLC is reconstructed.
Owner:KYLAND TECH CO LTD

Cloud calculation operation system and deployment architecture thereof

The invention discloses a cloud calculation operation system and a deployment architecture thereof. The cloud calculation operation system comprises a delivery layer, a control layer and a micro kernel layer, wherein the delivery layer is used for receiving an access request of an application program through a delivery interface, performing data operation according to the access request by using a resource management interface provided by the control layer, and returning the operation result back to the application program through the resource management interface; the control layer is used for receiving a calling request of the delivery layer through the resource management interface, calling a virtual interface provided by the micro kernel layer, performing data operation on the calling request by a mode of parallel computation and distribution computation, and returning the operation result back to the delivery layer through the resource management interface; and the micro kernel layer is used for virtualizing a hardware device into a resource pool, receiving the calling request of the control layer through the virtual interface, performing data operation on the calling request, and returning the operation result back to the control layer through the resource management interface. By the cloud calculation operation system, the stability and the safety of the cloud calculation operation system are improved.
Owner:北京汉柏科技有限公司

A service bus microkernel framework design method based on formal specifications

The invention discloses a formal specification-based service bus microkernel framework design method, which comprises the following steps of: firstly, carrying out formal description on natural language specifications, and abstracting formal specifications of communication primitives among processes by utilizing Hall logic; then developing a design framework based on formalized description; defining an event service bus in the micro-kernel framework, directly receiving an event that falls into the kernel through the inter-process communication primitive by the event service bus, and determining whether to switch to a network service agent or a local service for processing according to the acquired data; enabling The event service bus to search the corresponding system service according tothe service number and call the system service to complete corresponding functions; enabling the system service to directly interact with the hardware, and return a result; processing Hardware interruption generated by the common hardware equipment by the event service bus, processing interruption of the intelligent hardware equipment by a built-in controller, and calling an interruption service subroutine to complete service. The framework completes the design of the micro-kernel by taking an event-driven service bus as a center.
Owner:EAST CHINA NORMAL UNIV +1

Method and device for coordinating and scheduling among multiple systems and electronic equipment

InactiveCN109582453AMake sure they don't affect each otherCoordinated scheduling implementationProgram initiation/switchingTerminal equipmentComputer terminal
The invention relates to the technical field of terminal equipment. The invention discloses a method for coordinating and scheduling among multiple systems, Device and electronic equipment, The methodfor coordinating and scheduling among multiple systems is applied to an application environment comprising at least three mutually isolated execution domains. A first operation system, an applicationdesktop and a second operation system are operated in the at least three mutually isolated execution domains respectively, and the method comprises the following steps: when an operation request forany application program is received, determining identification information carried in the operation request; And correspondingly processing the operation request based on the three execution domainsaccording to the identification information. According to the method provided by the embodiment of the invention, the operation request of any application program is correspondingly processed by respectively running the three mutually isolated execution domains of the first operation system, the application desktop and the second operation system, so that coordinated scheduling among multiple operation systems in the terminal equipment based on the micro-kernel is realized.
Owner:BEIJING YUANXIN SCI & TECH

Method for designing micro-kernel architecture by utilizing event bus technology

The invention discloses a method for designing a micro-kernel architecture by utilizing event bus technology, which comprises the following steps of: operating an application program and a system service in a limited user state, and communicating or exchanging data through an event bus; defining an event bus and a corresponding IPC communication primitive in a micro-kernel architecture, and achieving data interaction between user mode processes by calling the IPC primitive to be trapped into a kernel mode by a user mode processes; at the IPC layer, sending events to corresponding event buses, and distributing the events to corresponding user state processes by the event bus scheduler; according to the choice of a caller, applying a service calling interface or an event driving interface,and generating and sending the events through an IPC communication primitive; and after the service is executed, returning the result event to the application program through the IPC primitive. By introducing event bus technology, a novel, efficient and universal IPC mechanism is realized in a zero-copy manner on the basis of abstracting any type of communication data objects into a unified event, and the key performance problem in the design of a micro-kernel operating system is solved.
Owner:EAST CHINA NORMAL UNIV +1

Intelligent video monitoring and alarm management system for public building

The invention discloses an intelligent video monitoring and alarm management system for a public building. The system comprises digital image devices and a control center, the digital image devices are connected through a medium IP network, and the control center is connected with the medium IP network. The digital image devices are arranged at fire alarm access control positions, parking place entrance and exit positions and an attendance checking access control position. By intelligent linkage with fire protection, access control cards and attendance checking, intelligent linkage of fire alarm, access control door opening and closing, a parking place system and videos is realized, and accordingly intelligent automatic control is realized. On the basis of a WINDOWS platform, the system adopts advanced micro kernel and plug-in development technologies and is stable and flexible in software architecture, and organization management and organization based equipment management and permission management are added; in addition, by addition of concentrated storage service, streaming media forward service, alarm forward service and WEB client service software, integral demands of general network monitoring clients can be better met.
Owner:江苏新亿迪智能科技有限公司

3G wireless router with single CPU (Central Processing Unit)

The invention discloses a 3G wireless router with a single CPU (Central Processing Unit), relating to the field of wireless routers. The 3G wireless router with the single CPU comprises a WIFI (Wireless Fidelity) antenna (WIFI-RF), a 3G antenna switch (3G-RF), a power management unit (PMU), a WIFI module and a communication processor (CP), wherein the WIFI (Wireless Fidelity) antenna (WIFI-RF) is connected with the WIFI module through signal; the 3G antenna switch (3G-RF), the power management unit (PMU) and the WIFI module are respectively connected with the communication processor (CP)through signal; and the communication processor (CP) comprises an ARM (Advanced RISC Machines) processor, a micro-kernel operating system (VMOS), a real time operating system (RTOS), a general operating system (RichOS), a communication protocol module and an application program module. The invention is free from the traditional double CPU framework of the wireless router, operates the functions of an application processor (AP) on the communication processor (CP), that is to say, the 3G wireless router with the single CPU effectively overcomes the defects of the traditional way; and in addition, the invention enhances the utilization rate of the CPU, greatly reduces the hardware cost and can also effectively reduce the power consumption of an integral system.
Owner:SHENZHEN HUAYU SOFTWARE

A variable real-time monitoring method and system based on a micro-kernel architecture

The invention provides a variable real-time monitoring method and system based on a micro-kernel architecture. The method comprises the following steps: compiling a basic type or a user-defined type package class in a framework of an application program; Compiling a construction function and a resolution function of the packaging class, and reloading operators; Variables needing to be monitored are marked in the construction function and the analysis function; Constructing a local database of variables needing to be monitored, wherein the local database is used for storing change information of the variables needing to be monitored of the package class when the application program runs; Customizing a monitoring display plug-in according to the monitoring UI demand, and setting a specifiedmonitoring variable; Defining and replacing the specified monitoring variable through a packaging class; When the application program is in the running state, the monitoring display plug-in is run andstarted, and the monitoring display plug-in obtains the change condition of the specified monitoring variable from the local database and displays the change condition. According to the invention, applications developed by applying the framework have a convenient and friendly variable monitoring capability in a running state.
Owner:WUHAN JINGLI ELECTRONICS TECH

A method and system for implementing emergency command cloud service based on microkernel cluster

The invention provides an emergency command cloud service implementation method and system based on a microkernel cluster. Various kinds of services with specific business processing capacity is virtually encapsulated into the microkernel cluster, mutual synergy is performed according to the service plans generated according to upper module application, and the microcosmic services provided each member in the cluster are combined and encapsulated to convert into macroscopic service manners capable of realizing emergency treatment task planning. The system comprises a physical resource layer, an emergency resource cloud pool, a platform service layer, a module application layer and a user layer. By the emergency command system built by the service method, dynamic searching of valuable emergency service resources in various fields can be achieved, the system capabilities of massive dynamic information and knowledge reasoning, complex function and process recombination calculation, storage and service are improved, and diversified emergency tasks such as emergency cross-department and cross-field real-time information processing, large-range public opinion analysis, complex module deduction, dynamic disaster situation prediction and remote monitoring can be achieved.
Owner:STATE GRID CORP OF CHINA +2
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products