143 results about "Embedded software" patented technology

The invention discloses an automatic software function testing and evaluating method based on a multi-modal large model, and particularly relates to the field of non-embedded software function testing and evaluating, which comprises the following steps: collecting software texts, images and structured data, generating corresponding feature vectors, aligning through a cross-modal comparison algorithm, and constructing a multi-modal testing and evaluating data set; deep features of all modes are extracted through a mode exclusive encoder, and a unified multi-mode function vector is output based on information entropy dynamic weighted fusion; constructing triple training data, and optimizing the multi-modal large model by combining a joint loss function with an enhanced training strategy; and finally, deploying the model at a cloud end and an edge node, carrying out real-time triggering test by docking a CI / CD process, and realizing functional integrity verification, interactive compliance detection and accurate defect positioning through semantic vector comparison, graph isomorphism rate calculation and cross-modal attention backtracking. According to the scheme, the test comprehensiveness and precision are improved, and the rapid iteration requirement of software is met.

The invention relates to the technical field of embedded system development and verification, and discloses an embedded software full-digital excitation deployment method, system, device and medium, and the method comprises the steps: based on a virtualization modeling technology of a multi-core heterogeneous system, simulating a CPU architecture, an operating system, board card peripherals and peripheral interfaces of a target processor, constructing a general digital target machine; a cross-platform communication framework is established based on a real-time communication transmission technology of direct digital frequency synthesis, and real-time synchronization of data of a virtual environment and an interaction object is completed; and through cooperation of the general digital target machine and the cross-platform communication framework, full-digital deployment and verification of the embedded software are completed. According to the method, full-digital development and verification of the embedded software can be realized, a research and development mode of parallel hardware development, software development and system function verification is met, and the research and development efficiency of the embedded software is improved.

The invention particularly relates to an exciter virtualization-based airborne application software simulation running environment construction method, which comprises the following steps of: carrying out digital packaging on an operating system interface to realize virtualization running of an embedded real-time operating system; digitally packaging communication interfaces such as a 1553B bus, an ARINC429 bus, discrete magnitude and the like so as to reproduce real avionics communication characteristics in a virtual environment; and simulating a peripheral software and signal interaction process so as to realize virtual generation and response of the multi-source excitation signal. By constructing the simulation running environment, the dynamic test of the airborne embedded software can be carried out under the condition of no real hardware, so that the test sample space is expanded, the test coverage rate and sufficiency are improved, the design and execution efficiency of a dynamic test case is improved, repeated manual operation is reduced, the test cost of the airborne embedded software is reduced, and the test efficiency of the airborne embedded software is improved. The economic benefit is improved.

The invention discloses an application method and equipment of an expandable multi-mode switching embedded software framework, and relates to the field of embedded software development, and the method comprises the following steps: by taking a mode scheduler as a core, defining and registering a mode object through an expandable mode standard interface; the mode scheduler executes the starting function of the initial mode and circularly executes the running function of the current mode, and the parameter manager manages parameters. When the fault detection processor detects a fault and sends a switching request, the mode scheduler calls a switching feasibility judgment function of the current mode to make a decision; and if so, executing old mode exit cleaning, parameter synchronization, new mode starting preparation, fault detection mounting and parameter loading, and putting into operation. According to the method, plug and play of the mode is realized, code modification is limited in the mode, and the mode content is managed and controlled in a centralized manner, so that the system maintenance cost is reduced, the expandability and the stability are improved, and safe and smooth switching and isolation management between the modes are realized.

The invention relates to the technical field of edge computing and intelligent voice interaction crossing, in particular to an embedded software real-time interaction method and system based on a large model, which comprises an embedded software module used for providing hardware control and business logic functions of a bottom layer and constructing a local model context protocol tool set, and a large model module used for establishing a local model context protocol tool set. And the large model module is deployed on embedded equipment, is used for carrying out natural language understanding and task planning, and comprises a small large language model subjected to supervision fine tuning, quantification and reasoning acceleration, an intelligent agent module and a man-machine interaction module. By means of the strong natural language understanding and generating capacity of the large language model, a user can use natural and spoken instructions to interact with the system, the constraint of a fixed command mode is thoroughly got rid of, the large language model has deep context understanding and logical reasoning capacity, multi-step and multi-condition complex instructions can be processed, and the user experience is improved. And an execution path is automatically planned.

The invention relates to the technical field of embedded system development and verification, and discloses an embedded software full-digital deployment verification platform, which comprises a basic environment support layer, a platform business layer, a man-machine interaction layer and a core service layer, the man-machine interaction layer provides an external operation inlet, and the core service layer provides core service support for each layer; the core service layer comprises a dynamic modeling engine, a task scheduling engine, a data service engine and a process management engine, the dynamic modeling engine executes processing board card modeling and functional module modeling, the task scheduling engine executes excitation deployment, and the data service engine and the process management engine cooperatively execute excitation evaluation. According to the method, the research and development efficiency of the embedded software can be effectively improved in a research and development mode of parallel hardware development, software development and system function verification.

The application provides a method for protecting all memory space addresses based on a limited number of MPU configuration areas, which comprises the following steps: setting a configuration area (X-1) and 0 as inaccessible, and dynamically accessing the configuration area (X-1) by an exception processing function, so as to realize the method for configuring different access permissions of all memory addresses, effectively solve the problem that many scattered memory address spaces cannot be protected due to the limited number of hardware MPU configuration areas in the traditional scheme, and simplify the steps of configuring memory attributes and permissions, and improve the efficiency of embedded software development.

The invention provides an embedded software automatic testing method and system based on a model, and relates to the technical field of embedded software testing. The method comprises the steps of obtaining a software demand design project, obtaining a software interface design project, constructing a software test model, automatically decomposing the test model, automatically generating test data, automatically generating a test script, automatically performing test execution and automatically generating a test document. The system comprises a software requirement design engineering analysis module, a software interface design engineering analysis module, a software test model generation module, a test model automatic decomposition module, a test data automatic generation module, a test script automatic generation module, a test execution module and a test document generation module. According to the method, demand design, interface design and a software test platform are integrated together, resources are shared, integrated management of software design and software test is achieved, and the efficiency and quality of software test demand analysis are improved.

The invention discloses a micro-service-based embedded software intelligent synthesis development platform architecture design method, which comprises the following steps of: decomposing a code intelligent synthesis process into four parts, namely demand analysis, IP (Internet Protocol) retrieval, code synthesis and code verification, then performing flow decomposition on each part, designing into a plurality of tools, designing the four functions into four types of 11 tools, furthermore, through carrying out micro-service splitting on 11 tools and carrying out integrated deployment on various micro-services by adopting a cloud-based native micro-service cluster architecture, an intelligent synthesis development platform for the embedded software code is constructed, so that the whole process of automatically synthesizing the embedded software code from a demand protocol is realized; the defects of an existing code generator are well overcome, and the method has great significance in promoting the transformation of an embedded software development mode.

The invention discloses a method and a device for testing embedded software of airborne equipment. The method comprises the following steps: calculating a current clock skew drift rate according to time information in a synchronization message sent by target equipment; calculating a predicted clock skew with the target device according to the current clock skew drift rate; dynamically adjusting the clock frequency according to the preset clock skew, and synchronizing with the target equipment; and executing the test case to test the to-be-tested software on the target equipment. According to the high-precision time synchronization method based on the drift adaptive synchronization algorithm, the problems of real-time verification and time synchronization in embedded software testing are solved, the requirement for high time precision of civil aircraft airborne equipment is met, and the precision and robustness of test cases are improved.

Methods for determining the reliability of a technical system using fault tree analysis, comprising the following steps: S1 - Defining basic events of fault tree analysis; S2 - for each basic event, defining a fuzzy linguistic variable and a set of membership functions; S3 - at least partially based on real-time embedded software, defines a minimal cutting set for linguistic fault tree analysis; S4 - at least partially based on the minimum intersection theorem, determining the reliability of the technical system. Furthermore, the invention relates to a control unit, vehicle system, a computer program product and a computer-readable medium for executing the method.

The invention relates to the technical field of embedded software radio, in particular to a remote procedure call (RPC) system and method based on MHAL / MOCB. The SCA platform software architecture is used for an SCA platform software architecture core framework comprising a server side and a client side; and the core framework client establishes connection with the core framework server by means of the RPC middleware based on the MHAL / MOCB remote procedure call. The server and the client among the nodes are communicated on the SRIO bus by adopting a protocol based on a hardware abstraction layer (MHAL / MOCB), and the communication speed is higher than that of the traditional Ethernet based on TCP / IP (Transmission Control Protocol / Internet Protocol).

The present application belongs to the field of vehicle-mounted, and relates to a wireless debugging method and device for a vehicle-mounted terminal, computer equipment and a storage medium. The method comprises the following steps: obtaining SSH source code, integrating an executable program generated from the SSH source code into the vehicle-mounted terminal; authorizing and configuring the running and closing of the SSH executable program; authorizing the vehicle-mounted terminal to run the SSH executable program; opening a vehicle terminal hotspot of the vehicle-mounted terminal; debugging the vehicle-mounted terminal through an external electronic device connected to the vehicle terminal via the vehicle terminal hotspot; and when the debugging is completed, authorizing the vehicle-mounted terminal to stop running the SSH executable program. The method improves the debugging efficiency, enhances the system security, simplifies the operation process, and ensures the stable operation of the vehicle-mounted terminal. The embedded software can be wirelessly connected and debugged during the debugging stage to facilitate problem troubleshooting and effective encryption protection. Even when the upgrade cannot be realized after the sale, the terminal can be wirelessly entered at any time for upgrade, and the customer does not need to wait for a long time.

The utility model discloses an embedded host for a chemical analysis instrument in a laboratory, which belongs to the technical field of chemical laboratories and comprises a touch screen, a circuit board, an external interface and a power supply, the host is connected with a control unit of the chemical analysis instrument through an internet access 1 and is communicated with a laboratory server through an internet access 2, and the external interface is connected with the power supply. The host adopts a uniform 24V power supply module to supply power through a needle-shaped or hole-shaped circular connector, PIN serial number output is 1: + VO (positive power supply), 2:-VO (negative power supply), 3:-VO (negative power supply) and 4: + VO (positive power supply), a touch screen interface module is arranged on the circuit board and used for connecting a touch screen, a WIFI / Bluetooth module and a 4G / 5G module provide a wireless communication function, a serial port communication module supports an RS232 or RS485 interface, and a USB interface is arranged on the circuit board. The USB communication module 1 and the USB communication module 2 are respectively used for printing, communication expansion and program upgrading. According to the utility model, different types of chemical analysis instruments can be controlled by installing different embedded software.

The utility model relates to the field of software test auxiliary devices, in particular to an embedded software test auxiliary device. According to the technical scheme, the device comprises an outer shell and a line connecting mechanism fixed to one side of the outer wall of the outer shell, the line connecting mechanism comprises a plurality of fixing blocks fixed to the outer wall of the outer shell, and one side of the outer wall of each fixing block is fixedly connected with two sliding rods; and connecting wire pipes are fixedly connected to the positions, located at the centers of the two sliding rods, of the outer walls of the multiple fixing blocks, sliding supports are slidably connected to one ends of the multiple sliding rods, and threaded connecting openings are fixedly connected to one sides of the multiple sliding supports. The embedded software test assist device has the functions of protecting a circuit from external interference in a test process, enabling test data to be more accurate, dissipating heat generated by operation of a test device, and protecting the test device.

The invention relates to an intelligent synthesis-oriented spacecraft component equipment description method, and belongs to the technical field of architecture design. Abstract modeling and unified description are carried out on management operation of common component equipment in a spacecraft control subsystem, an application example is given, and the development efficiency and quality of spaceflight embedded software intelligent composite codes can be improved. According to the method, firstly, component equipment composition of an existing spacecraft control subsystem is combed, then general and difference demand analysis is carried out on component equipment management functions of the spacecraft control subsystem, then a software unified equipment model oriented to control system components is established, and finally a specific example is given. The method can quickly adapt to software codes formed by different parts of the control system, the reuse capability of the control software is improved, and then intelligent synthesis of the software is supported.

The invention belongs to the technical field of embedded software testing, and provides a VSIPL vector library function testing method and device.The method comprises the steps that operator functions to be tested are classified and abstracted into uniform function pointers, test cases are constructed based on the function pointers, and a corresponding relation table of the test cases and VSIPL data object specifications is established; automatically generating a matched VSIPL data object according to the relation table, calling the operator function to be tested and the reference operator function corresponding to the operator function to perform calculation on the same data, outputting a test result based on a calculation result and consumed time, and releasing resources. According to the method, on-demand self-adaptive generation of test data and unified scheduling of operator functions are realized through a cooperation mechanism of a function pointer and a relation table, the automation degree, coverage integrity and cross-platform verification efficiency of VSIPL vector library test are remarkably improved, batch performance and precision evaluation is supported, and the method is suitable for popularization and application. And the correctness and the acceleration effect of the optimized version function are effectively ensured.

The invention discloses an embedded software construction method and device, electronic equipment and a storage medium, and belongs to the technical field of software development, the method comprises the steps that construction parameters configured by a user are provided, and the construction parameters comprise a hardware identifier used for specifying a target embedded hardware platform type; calling a corresponding configuration file from a preset configuration library according to the hardware identifier, wherein the configuration file is used for providing a compiler tool chain path and default compiling options related to the platform; generating a compiling rule frame based on the configuration file, wherein the compiling rule frame comprises a to-be-compiled file list, a final compiling option and a target generation rule; and executing compiling operation according to the compiling rule framework to generate a target output file. According to the method, the preset configuration file is automatically matched through the hardware identifier, so that manual configuration redundancy is greatly reduced; dynamic switching of tool chain configuration during cross-platform construction is realized, and zero modification of platform migration is ensured.

This invention belongs to the field of embedded software technology, specifically relating to a task scheduling method and system based on timer interrupt preemption. The method includes: creating task nodes and timer objects using a static creation method, and configuring priorities and scheduling times for tasks; constructing doubly linked lists of time series according to priorities based on a unified time base, and inserting task nodes into the corresponding linked lists in an orderly manner; setting timer interrupts of corresponding priorities according to the first task node of each linked list; responding to timer interrupts by triggering the execution of expired tasks, removing task nodes, and resetting timer interrupts; and utilizing processor interrupt priorities and context saving mechanisms during task execution to achieve preemption and recovery of high-priority tasks. This invention can reduce scheduling resource consumption and improve the scheduling orderliness and response timeliness of multi-priority tasks.

The application provides a kind of embedded software requirement security verification method by means of failure data, which includes: establishing software requirement model, formalizing model description of software requirement, carrying out the patternization processing of failure data, explicitly failure data mode information, establishing the mapping relationship between software requirement model and failure data, carrying out the security verification of software requirement model, obtaining software requirement security verification result, the elements of the software requirement model include function input interface, function output interface and function processing process.The application is driven by failure data and security verification rules, and focuses on the key information that can easily cause engine control software to run failure, which can significantly improve work efficiency and quality, and ensure that potential failure modes and system hazards in software requirements are fully identified.

The invention discloses a code generation agent visualization system and method based on causal chain construction, and relates to the technical field of embedded software research and development. Multi-source heterogeneous data generated in the intelligent body is integrated into a clear causal chain model, and the iteration process of the abstraction and black box of the intelligent body is displayed as visual and traceable graphical information; furthermore, interactive guide mechanisms such as weight adjustment, task backtracking and branching, constraint injection and the like are designed and provided, so that a user can carry out real-time intervention and dynamic guide on the operation logic of the intelligent agent based on visualization, and closed-loop control of data perception, causal visualization, user interaction and intelligent feedback is formed; the code generation process is finely monitored, deeply understood and efficiently optimized, and the controllability, interpretability and final output quality of code generation are remarkably improved.

Systems and methods for validating digital components comprise manufacturing a digital component for a computer network, wherein the digital component includes embedded software, creating a unique digital identity for the digital component using parameters of the embedded software, and storing the unique digital identity to a global repository. The method further comprises shipping the digital component to an end user, receiving a query at the global repository to verify an installed digital identity associated with a component being installed in an end user network, and determining whether the installed digital identity matches the unique digital identity. The digital component may be a storage system. The computer network may be a data center or an information handling system (IHS).

The invention belongs to the technical field of embedded software testing, and relates to a generator controller software verification method for airworthiness standards. The method comprises the following steps: performing software review and analysis; constructing a layered test environment; designing a test case and a test procedure, and performing review; performing test ready review; executing software testing in the layered testing environment; performing software demand coverage analysis for ensuring that a bidirectional traceability relationship exists between the test case and the software demand; software structure coverage analysis in the aspects of statement coverage, judgment coverage, MC / DC coverage, data coupling and control coupling is carried out; and establishing bidirectional tracing data between the test cases and the software requirements, between the test regulations and the test cases and between the test results and the test regulations, and performing test result review to form a software verification result. According to the method, the airworthiness standard process is quantified, the depth, efficiency and compliance of airborne software verification are remarkably improved through a layered test environment and an intelligent algorithm, and high safety is effectively guaranteed.

The invention provides an anti-damage embedded online upgrading method and system, which is based on a flash peer-to-peer system multi-partition structure, partitions are completely peer-to-peer, and the upgrading method comprises the following steps: reading partition states to obtain running partition state data and upgrading partition state data, and creating an annular data cache region in the flash; if the state data of the running partition is normal, the executable file is read from the running partition, and normal program running is completed; after to-be-upgraded data are downloaded to the annular data cache region according to an upgrading instruction, the data in the annular data cache region are written into the upgrading partition, and after the to-be-upgraded data are completely written into the upgrading partition, the state of the upgrading partition is marked as to-be-upgraded; according to the method, the system is restarted according to the to-be-updated mark, the executable file is read from the upgrading partition according to the updated upgrading partition state, the upgraded program operation is completed, partition setting and the annular data buffer area are adopted, and it is guaranteed that online upgrading cannot affect the operation partition and the upgrading partition even if network disconnection occurs.

The invention discloses a two-stage fault monitoring and recovering method and system for embedded software, and relates to the field of embedded systems. The system comprises a software system fault monitoring module, a software system fault recovery module, a software APPs task monitoring module, a software APPs fault monitoring module and a software APPs fault recovery module, and system-level and application-level double-layer fault detection and recovery are realized in combination with a hardware watchdog. According to the method, through periodic monitoring of a software APP and a system-level module, software APP-level recovery is firstly executed when a software APP-level fault is detected, system-level reset is triggered when recovery fails, and system-level reset is triggered when a software system-level fault is detected, so that an automatic and self-closed-loop two-level fault processing mechanism is realized. According to the method, the stability and reliability of the embedded system can be effectively improved, fine granularity level fault monitoring and recovery are carried out, the fault recovery time is shortened, and system collapse or long-term failure is prevented.

The application provides a kind of satellite-borne radar working state autonomous recovery method, comprising the following steps: S1, determine the radar state recovery key variable of the satellite-borne radar;S2, add key variable saving module in the embedded software, for regularly storing the latest data of the radar state recovery key variable, and regularly setting watchdog fly monitoring flag and overall pre-reset instruction flag;S3, add logic branch submodule in the embedded software, for reading the watchdog fly monitoring flag and overall pre-reset instruction flag, and further executing radar normal power-on start initialization branch or watchdog fly reset branch or pre-reset instruction reset branch.The application can make the satellite-borne radar autonomously recover the working state after encountering single event upset failure, avoid causing the interruption of satellite-borne radar target tracking monitoring, improve the reliability of satellite-borne radar product on-orbit operation, and has the simplicity, independence, flexibility and wide applicability of implementation.

The application discloses a low-cost embedded software development method and program product based on QuickJS-NG and LVGL and a running method, and relates to the technical field of embedded system software development. The development method realizes complete decoupling of an interface and business logic by constructing a bidirectional communication mechanism between a C language layer and a JavaScript layer; establishes UI information binding mechanism and component tree sharing based on an EEZ designer, realizes multi-model UI adaptation and class-based component life cycle management; and simultaneously integrates a routing mechanism and a focus control mechanism. A corresponding program product comprises a computer program developed based on the method. The application also provides a running method of the program product. The application realizes efficient and low-cost embedded GUI development without modifying QuickJS-NG and LVGL source codes, and has good maintainability, multi-model adaptation capability and interactive experience.

The invention discloses a user interface testing method, system and device and a medium, and relates to the technical field of computer testing, and the method comprises the steps that to-be-tested embedded software in a testing request is loaded and operated in a preset software simulator; driving the preset test script to execute a test operation through the preset programmed interface, traversing the user interface and capturing a test image; comparing the test image with a reference image of a corresponding version in a preset reference image library through a structural similarity index algorithm and based on the software version information to obtain a similarity score; if the similarity score is smaller than a preset score threshold value, performing optical character recognition on the difference image, and obtaining text content and corresponding position coordinate information in the difference image; and verifying the position coordinate information based on a preset image layout integrity rule to obtain a defect type of the difference image, and generating a diagnosis report containing the defect type and the position coordinate information. And efficient testing is realized.

The invention discloses a multifunctional spectrum lamp. Comprising a driving module, an LED light source, an aluminum substrate, a lens and an embedded software module, the LED light source is formed by four independent light source modules with different primary colors and is shaped like a Chinese character'tian ', and the LED light source is fixed on the aluminum substrate; the lens is mounted on the LED light source; the embedded software module comprises a spectrum simulation display module and a transmission module; the spectrum simulation display module is used for generating spectrum fitting data based on spectrum and photoelectric parameters input and set by each light source module, and transmitting the spectrum fitting data to the driving module through the transmission module; and the driving module is fixed on the aluminum substrate, is electrically connected with the LED light sources through the aluminum substrate, and controls and adjusts the power supply current proportion of each light source module according to the spectrum fitting data.

The application provides a configurable embedded software release system, and belongs to the technical field of embedded software development; in view of the problems of version proliferation, maintenance difficulty and low release efficiency of embedded software caused by strong coupling of the embedded software with hardware and customized needs in the prior art, the application proposes to split the embedded software firmware into stable system firmware and variable configuration firmware, and provide a configuration management subsystem on the server side; the configuration management subsystem provides a visual interface for a user to define hardware parameters, function logic and interactive behavior, and automatically generate the configuration firmware; the embedded device is loaded and parsed by the system firmware at startup, and the system is dynamically initialized according to the content; the application realizes the innovation from 'code compilation release' to 'configuration driven release', significantly reduces the number of software versions, and greatly improves the product customization efficiency, software maintenance efficiency and full life cycle management capability.