238 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 industrial control automation, and discloses an event-driven embedded software architecture implementation method and system, and the method comprises the steps: creating a resource object priority group, and initializing a data structure for managing a theme subscription state; allocating priorities for resource objects in the system, and registering each resource object into a priority group of the corresponding priority; subscribing the theme for the resource object, and recording subscription information in the data structure for managing the theme subscription state; in response to an event triggering condition, creating an event object containing a theme identifier, determining priority group information for subscribing the theme based on the data structure for managing the theme subscription state, and adding the event object into a queue to be processed; according to the method, each priority group is polled according to the priority sequence, the event object subscribed by each priority group is retrieved, the event processing function of the corresponding resource object is called for processing, and the framework realized through the method reduces the coupling among the modules.

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 discloses an embedded software architecture method applied to a digital power supply. The embedded software architecture method comprises the following steps: S1, timed scheduling basis: generating a tick mark; a hardware timer of the MCU / DSP is taken as a core, and a tick mark with a fixed period is generated and is taken as a time reference of task scheduling of the whole system; s2, task cycle division: according to product requirements, disassembling functions into different tasks, and allocating corresponding execution cycles; s3, a time-sharing scheduling mechanism: only executing a task of a current time slice in each ticking cycle; s4, simulating operation system logic: realizing multi-task processing through'round-robin '; s5, core interruption: a loop control algorithm; pWM period interruption or ADC sampling interruption is used for triggering, the priority is the highest, and only loop control is executed. According to the invention, the problems that the real-time performance is low and the response time is uncontrollable and long when a general embedded operating system is applied to digital power supply control software are solved.

The invention discloses a low-cost satellite-borne core circuit, an operation method and an electronic device, and belongs to the field of satellite communication circuit design, the low-cost satellite-borne core circuit comprises an embedded MCU, a peripheral circuit and embedded MCU software, the peripheral circuit is connected with the embedded MCU, and the embedded MCU software is loaded and operated by the MCU. According to the invention, based on a new generation of vehicle-gauge-level embedded MCU and peripheral components, the cost of components applied to low-orbit satellite-borne products is greatly reduced; according to the circuit design, multiple redundancy reinforcement technical means such as MCU processor redundancy backup, external interface circuit redundancy backup, software program storage redundancy backup and software triple modular redundancy reinforcement are adopted, and the operation reliability of a core circuit in a low-orbit satellite-borne environment is ensured.

The invention relates to the technical field of embedded software development, and discloses a finite-state machine automatic generation method and system and related equipment, and the method comprises the steps: obtaining a table path corresponding to a preset table; wherein the configuration generated by the state machine code framework filled by the user is stored in the preset table; on the basis of the table path, configuration in a preset table is captured through a python script, and a state machine code framework is generated; and storing the state machine code framework in a preset storage path specified by a user, so that the user can check the state machine code framework. According to the method and the device, the state machine code framework is automatically generated through the script written by the python language, so that the complexity of personally writing the code by a developer is avoided, and the development efficiency is improved.

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 discloses a kind of concurrent test method and system of protocol and interrupt procedure in industrial control system, belong to software testing and software reliability field.The application is directed to the problem that potential data race in interrupt-driven embedded software is difficult to accurately identify, proposes to record events by program insertion, generate original execution sequence, and obtain filtered sequence after filtering irrelevant events, construct event sequence that can trigger data race in combination with interrupt information;By determining the necessary event set and the necessary partial order set, the partial order relationship between events is established based on directed graph and closure calculation is carried out, to judge whether data race really occurs.The application can accurately capture interrupt-related synchronization information, efficiently detect potential data race, and significantly improve the accuracy and reliability of concurrent testing of industrial control system software.

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 EtherCAT slave station gateway for semiconductor temperature control equipment. The EtherCAT slave station gateway comprises a hardware layer and a software layer, wherein the hardware layer comprises an embedded semiconductor industrial equipment communication gateway, an integrated power supply module, a main control module, an Ethernet communication module, an EtherCAT slave station module and a 24V input and output port module; the software layer is an embedded software system with a layered architecture, is divided into an application layer, a protocol layer and a hardware abstraction layer, and realizes business logic processing, communication protocol conversion and software and hardware interaction decoupling. Through cooperative work of hardware and software, data transmission based on the EtherCAT protocol between the semiconductor production equipment host and the Chiller can be achieved, the real-time performance, accuracy and system maintainability of data transmission are improved, and the requirements of semiconductor production for high precision and high stability of temperature control are met.

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 discloses a test priority evaluation method based on airborne embedded software, which relates to the field of software engineering verification, and comprises the following steps: decomposing functional modules corresponding to the airborne embedded software based on requirements to obtain a plurality of decomposed functional modules; obtaining a safety influence degree grade score and an importance grade score of the decomposition function module; calculating a comprehensive grade score according to the safety influence degree grade score and the importance grade score; defining priorities and permissions thereof according to the comprehensive grade score; and formulating a test priority result judgment criterion according to the priority permission definition so as to obtain a test priority result matrix according to the criterion. According to the method, a high-safety evaluation criterion for safety influence degree analysis in a function failure mode and the importance and judgment criterion of the function module are defined, and a comprehensive evaluation criterion is defined by combining the maturity and the importance of the software module and a project development stage; the practical application requirement of a project is met, and the test work can be safely, reliably and quickly deployed and developed.

The present application belongs to the technical field of embedded software virtualization testing, and particularly relates to a fault injection method for a QEMU-based all-digital digital prototype. The present application divides faults into three layers, i.e. an atomic fault injection layer, a composite fault injection layer and a fault injection simulation test layer, provides four types of atomic fault injection, i.e. register fault, memory fault, bus protocol fault and bus load fault, and provides composite fault injection and fault case set injection. The present application takes the QEMU-based all-digital simulation digital prototype as an injection target, improves the reliability of fault injection results, and realizes fault injection at different levels from the physical layer to the application layer through the provision of three levels and four dimensions of fault injection modes and rich fault injection methods, thereby improving the fault tolerance and reliability of embedded software and improving the testing efficiency.

The invention discloses an embedded software online upgrading method, device and equipment, and is used for upgrading target embedded software in the equipment, the equipment comprises two system software partitions, and the method comprises the following steps: responding to a target embedded software upgrading instruction, and upgrading the target embedded software between the two system software partitions; switching a system software partition mounted by the target embedded software running directory; copying an upgrading software package of the target embedded software to the switched system software partition, upgrading the target embedded software, and starting the upgraded target embedded software; and under the condition that the target embedded software runs normally, changing a system software partition mounted by a software running directory during starting or restarting into the switched system software partition. Therefore, the problem that in the existing target embedded software upgrading process, if any abnormality exists, a system cannot run online and reliably in time is solved.

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 invention relates to the field of high-power chargers, and particularly provides a method for realizing current gradient in a high-power charger, which comprises the following steps of: presetting target charging current values and voltage upper and lower limit thresholds for different charging stages according to a charging and discharging characteristic curve of a battery, and storing the target charging current values and the voltage upper and lower limit thresholds in a charging parameter mapping table; a double-task asynchronous parallel embedded software architecture is adopted, and a foreground task is responsible for reading a target charging current value of a current charging stage from a charging parameter mapping table and writing the target charging current value into a global variable daccurrent; a background task is awakened in a timed mode through a programmable timer, the awakening period is dynamically adjusted according to the charging stage, and after awakening, a daccurrent variable is read to obtain a target current value of the current charging stage; a background task samples the actual charging current of a battery in real time through an ADC interface, and a sampling value is assigned to a global variable adcdata to serve as a basis for feedback control.

The utility model belongs to the technical field of monitoring terminal equipment, and particularly relates to a circuit breaker monitoring terminal, which comprises an industrial bus, an industrial control mainboard unit, a temperature and humidity detection unit, an ad hoc network acquisition unit, a mechanical characteristic detection unit and an internet of things unit, the industrial control mainboard unit, the temperature and humidity detection unit, the ad hoc network acquisition unit and the mechanical characteristic detection unit are electrically connected with the industrial bus respectively, the Internet of Things unit is arranged on the industrial control mainboard unit and comprises a touch screen, the touch screen is electrically connected with the industrial control mainboard unit, and the industrial control mainboard unit is a programmable industrial control mainboard unit; the design of the programmable industrial control mainboard unit and the Internet of Things unit is adopted, a traditional embedded software and hardware system is replaced, a framework is built through the thinking of the Internet of Things system, a technical route is designed, and the advantages of convenient development, stable operation and easy secondary development are achieved.

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 invention discloses a charging control method and device, a storage medium and a computer program product, and relates to the technical field of embedded software, and the method comprises the steps: obtaining a first working state of a to-be-charged battery, and obtaining a second working state of an adapter connected with the to-be-charged battery; if the to-be-charged battery is in the charging state and the adapter is in the connection state, acquiring the current environment temperature and the current environment humidity, and determining a target temperature range in which the to-be-charged battery is allowed to be charged in the current environment according to the current environment temperature and the current environment humidity; if the battery temperature of the to-be-charged battery is out of the target temperature range, the to-be-charged battery is controlled to stop charging, the ability of the to-be-charged battery to cope with variable environments is enhanced, and the user experience and the overall safety of the device are improved.

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.