100 results about "Software verification" patented technology

The invention provides a multichannel gas ultrasonic flowmeter, which relates to the technical field of flow measurement and comprises a hardware layer and a software layer, the hardware layer comprises a pipeline, a connecting mechanism, a multichannel ultrasonic transducer, a pressure sensor, a temperature sensor, a wiring terminal box and a control box with an LCD display screen; the software layer comprises a data acquisition module, a preprocessing module, a multichannel speed measurement module, a data fusion module, a dynamic parameter compensation module, a flow calculation module, a man-machine interaction module, a communication module and a storage module. Pipeline section flow velocity information is collected through a multichannel ultrasonic transducer array, and a complex flow state is fitted in combination with a weighted fusion algorithm; the flow is dynamically compensated and corrected based on pressure and temperature; reliable operation of the system is guaranteed by means of hardware redundancy and a software verification diagnosis mechanism, the problems that a traditional flowmeter is low in measurement precision and poor in working condition adaptability are solved, and high-precision and stable gas flow measurement is achieved.

The invention provides a configurable helicopter unit alarm management system and method. Belongs to the technical field of computer software, and is characterized in that a GPU (Graphics Processing Unit) reads an alarm configuration XML (Extensible Markup Language) file and converts the file into a local alarm information database, and after receiving fault data reported by each subsystem, the GPU updates existence information of all faults according to interface control file ICD (Interface Control Document) information in the alarm information database; for the data needing to be displayed in the fault list, the GPU performs unified sorting on the data and displays the data through the IDU; if the fault that the warning lamp needs to be triggered exists, the GPU lights up the warning lamp to give an alarm; according to the method and the device, the software change workload caused by design change can be effectively reduced, the reusability of a software module is improved, and the airborne software verification and airworthiness cost is reduced.

The invention discloses a nuclear power plant instrument control system control algorithm simulation device and a simulation method thereof, and relates to the technical field of nuclear power plant instrument control software. The device comprises a user interface used for responding to user interaction operation, constructing a model structure of a control algorithm and receiving user input data as input data of the model structure; the code generation engine is used for analyzing the xml file corresponding to the model structure and obtaining source code implementation of a main operator of the model structure based on an analysis result; and the model entity is used for packaging and compiling the source code of the main operator to obtain an executable program of the model structure, executing the executable program based on the input data of the model structure to obtain a simulation result of the model structure, and sending the simulation result to the user interface for display. According to the device, the software verification process can get rid of dependence on embedded hardware equipment, and the software development and debugging efficiency is improved.

The invention provides an aircraft management computer software verification environment system, and relates to the technical field of equipment testing. The system comprises VMC comprehensive test equipment, bus network node simulation equipment, bus data acquisition and analysis equipment and development and comprehensive test equipment, and an Ethernet, a reflective memory network and a bus network which are used in the system are constructed; wherein the Ethernet, the reflective memory network and the bus network are used in the system for data interaction and equipment control, and the operation of each test equipment is integrated and fixed through the verification environment cabinet, the verification environment finished product cabinet and the verification environment workbench, so that a worker does not need to sort the current environment architecture, and the test efficiency is improved. Therefore, the operation can be carried out at the position of the test equipment to be used in the corresponding functional area. According to the method, the requirement that multiple airborne finished products are subjected to aircraft management software verification at the same time is met, a standard fixed normal form of aircraft management software verification is achieved, and a system joint debugging and joint test verification environment of the airborne finished products is provided.

The invention relates to a software verification method and device, electronic equipment and a storage medium, and the method comprises the steps: determining an initial instrumentation point, a query interface and a stub function according to a to-be-detected error type; based on the initial instrumentation point, the instrumentation function and the query interface, configuring an instrumentation rule; based on an instrumentation rule, performing instrumentation processing on the intermediate representation I < R > corresponding to the to-be-verified code to obtain a target code; and performing verification operation on the target code to obtain a verification result. The instruction corresponding to the error type can be locked, the error verification logic corresponding to the error type can be determined, the code can be automatically instrumented according to the configured instrumentation rule, whether the instruction corresponding to the error type needs instrumentation or not is determined through the query interface in the instrumentation process, the instrumentation process is prevented from being affected by a bottom layer interface, and the instrumentation efficiency is improved. Unnecessary instrumentation operation is remarkably reduced, meanwhile, checking operation in the execution stage is reduced, and verification efficiency is improved.

The invention discloses a method and a device for checking updated software. A method and apparatus for verifying updated software may be associated with an infotainment platform of a vehicle. The software inspection method includes: receiving data for software inspection from an external server or an external device; generating a flow graph based on the received data; updating the flow graph based on the updated change specification of the software; reconfiguring the updated flow graph based on an estimated frequency of use of a display identifier ID added in an updated change specification of the software; and verifying the changed specification of the software by performing a test on the reconfigured flow graph, where the display ID is a unique identifier assigned to each displayable screen during the software execution process.

The invention relates to a simulation platform (10) for simulating a system having a control unit (2) and peripheral hardware (PH) with which hardware functions are implemented, comprising: - a simulation hardware with a microprocessor (11), a memory (12) and an acceleration hardware (13); - software modules in the memory (12) which are designed as software for implementing control unit functions in the microprocessor (11); - the acceleration hardware (13) configured to implement, simulate, or emulate hardware functions of the peripheral hardware; - a virtual microcontroller abstraction layer (vMCAL) (24) implemented as software to provide an interface function for register accesses and function calls for the hardware functions of the peripheral hardware (PH) to the acceleration hardware (13).

The invention provides a communication satellite verification system based on a general virtual test environment. The communication satellite verification system comprises a service subsystem and virtual test equipment, the service subsystem comprises a power supply and distribution subsystem ground device, a measurement and control and comprehensive electronic subsystem ground device, a thermistor equivalent device, a general control device with an MTP server and the like, and the general control device is responsible for telemetering data processing and remote control instruction scheduling; and the virtual test equipment is connected with the service subsystem, is used for simulating a satellite-borne software operation environment and a satellite-borne load to form a closed-loop test, comprises a plurality of simulation modules such as orbit and attitude dynamics, and respectively realizes orbit attitude parameter calculation, software code operation simulation and circuit box function simulation so as to test a satellite or a verification platform. The invention further provides a satellite-borne software verification method. Therefore, communication satellite verification can be carried out under the virtual condition, the test comprehensiveness can be ensured, and the test cost can be reduced.

The invention provides a virtual simulation platform for equipment of a battery swap station, which is characterized in that equipment virtual simulation modules are respectively arranged aiming at various peripheral equipment in the battery swap station, and one or more required equipment virtual simulation modules are adopted to carry out corresponding business processing by utilizing built-in business logic when the software verification requirement of the battery swap station is met. And each equipment virtual simulation module sends the generated test data to the station control system. According to the method and the system, the dependence on entity equipment is effectively eliminated through a mode of virtualizing the peripheral equipment, and the efficiency and the flexibility of software function verification are greatly improved. Besides, the unified code architecture is adopted to comprehensively simulate various business scenes of the battery swap station, the verification cost and time are reduced, the iteration and release process of software is accelerated, the consistency and repeatability of test conditions are ensured, and therefore it is guaranteed that the verification result is accurate and highly reliable. In addition, the scheme is extensible, so that a single code architecture can be widely compatible with various battery swap stations and equipment thereof, and the flexibility and adaptability of the system are greatly enhanced.

A method and apparatus for verifying updated software may be associated with an infotainment platform of a vehicle. The software verification method includes receiving data for software verification from an external server or external device, generating a flow map based on the received data, updating the flow map based on updated change specifications of software, reconfiguring the updated flow map based on estimated usage frequency of a display identifier (ID) added in the updated change specifications of the software, and verifying the changed specifications of the software by performing tests on the reconfigured flow map, where the display ID is a unique identifier assigned to each screen displayable during a software execution process.

A software verification system and the like that can facilitate improvement of software using sensor data of a vehicle as an input are provided. The software verification system detects (performance determining unit 118) a degradation of a new version of control software using, first information that is an output of a current version of control software used for control of a vehicle using, as an input, sensor data from a sensor mounted on the vehicle, second information that is an output of the new version of control software not used for the control of the vehicle using, as an input, the sensor data, and third information relating to the control of the vehicle other than the first and second information; and verifies the new version of control software by using the sensor data when the degradation is detected.

The invention relates to the technical field of security verification, and discloses a verification method and device for a hardware platform, and the method comprises the steps: obtaining at least one piece of first target hardware equipment information, and first key information corresponding to a target resource, the at least one piece of first target hardware equipment information being obtained from a plurality of pieces of hardware equipment in a to-be-tested hardware platform; searching the signature information from the target storage device, and if the signature information is found, decrypting the signature information according to the first key information to obtain hardware abstract verification information corresponding to the security hardware platform; determining a first hardware abstract of the to-be-tested hardware platform according to the at least one piece of first target hardware equipment information and a preset rule; and if the hardware abstract verification information is matched with the first hardware abstract, determining that the to-be-tested hardware platform is a safe hardware platform. Therefore, the security of the hardware equipment platform is verified through software, the target resource is prevented from being copied to an unauthorized hardware platform for use, and the security of the target resource is guaranteed.

Provided are a software verification system and the like that can easily improve software using sensor data of a vehicle as an input. The software verification system uses the first information, the second information, and the third information to detect degradation of the control software of a new version (performance determination unit 118), and verifies the control software of the new version using the sensor data when the degradation is detected. The first information is an output of a current version of control software used for controlling the vehicle when sensor data from a sensor mounted on the vehicle is input, and the second information is an output of a new version of control software not used for controlling the vehicle when the sensor data is input. The third information is information pertaining to control of the vehicle other than the first information and the second information.

The invention discloses an encrypted information storage system and method based on an industrial control host. The system comprises a solid-state storage unit, an interaction signal unit, a hardware verification unit, a software verification unit and a storage information management unit, the method is suitable for the encrypted information storage system based on the industrial control host so as to realize the access authority to the industrial control host. Through a multi-level verification mechanism, the difficulty of illegal access is greatly increased, and the risks of data leakage and hostile attacks are reduced; the interlocking mechanism ensures that the system can keep high security under any condition, and even if a certain verification link has a vulnerability, illegal access cannot be successful due to the existence of the interlocking mechanism; the encryption technology can effectively prevent data from being stolen or tampered in the storage and transmission process. Even if an attacker obtains the encrypted conversion data, the original data cannot be restored due to the lack of correct decryption key and verification information, so that the security of the encrypted information in the industrial control host is protected.

This application relates to a method and apparatus for extracting RTL code from a Vivado project, belonging to the field of FPGA software verification technology. The method includes the following steps: S1, obtaining a preset Vivado project specified simulation path and an RTL code pre-storage path; reading the data lines containing RTL code from the *_compile.do file in the specified Vivado project simulation path and storing them in a preset storage file; modifying the DOS system recognition path of the preset storage file containing the RTL code data lines to a Windows system recognition path; and copying the RTL code to the RTL code pre-storage path based on the Windows system recognition path of the preset storage file. This application extracts RTL code from a Vivado project and performs corresponding configuration work, exhibiting high versatility and providing convenience for subsequent simulation work.

The present invention provides a method, apparatus, computer device, and readable storage medium for verifying an SOC system. The method for verifying the SOC system is applied to an SOC system provided with a software and hardware interaction module, and includes: controlling the software and hardware interaction module to forward first interaction information and / or second interaction information of a software verification environment and / or a hardware verification environment to the hardware verification environment and / or the software verification environment; controlling the software verification environment to generate a software driver file according to the second interaction information and a preset software excitation, and / or controlling the hardware verification environment to generate a hardware driver file according to the first interaction information and a preset hardware excitation; inputting the software driver file and / or the hardware driver file into a system to be verified, and obtaining a verification result output by the system to be verified. The present invention can implement co-simulation verification of software and hardware of an SOC system, effectively cover the application behaviors of software and hardware collaboration of the SOC system, and thus improve the verification efficiency and verification coverage rate.

The present application belongs to the field of software verification platform design, and is an offline verification platform for electromechanical management software under a general architecture, including a simulation excitation system and an operating system, wherein the simulation excitation system includes a software access module, an input device module and an output device module; the operating system includes an IO data service module and a functional partitioning module; when verifying the electromechanical management software, an interface configuration file is imported, the electromechanical management software is run, input data is formed, an excitation signal is sent to the IO data service module through an Ethernet communication port, and the excitation signal on the IO data service module is sequentially sent to each functional partition of each functional partitioning module, and after processing is completed, it is sent back to the simulation excitation system, the simulation excitation system receives the data to be echoed, and sends it to the output device to form an output signal, and the software is verified by observing the data result of the output signal; the software development cycle is shortened, the system development and integration efficiency is improved, and the development cost is reduced.

The deployment of large language model (LLM) and retrieval-augmented generation (RAG) systems in industrial automation environments present unique technical challenges that are not adequately addressed by conventional software validation approaches. A computing system can define a comprehensive architecture with cross-validation methodologies that can perform systematic detection of complex failure modes that might be missed by conventional testing approaches, while providing the reliability, safety, and real-time performance characteristics essential for successful deployment of LLM and RAG systems in industrial automation environments.

The verification method disclosed in the present invention is used for on-board FPGA reconfigurable software verification. The verification test method comprises: a main control board receives a reconstruction configuration file and a verification test configuration file from a host computer; a first FPGA of the main control board stores the received configuration file in a main control board storage system, and performs a verification test execution reload program and a configuration release of a reload program of an FPGA to be tested according to actual test board requirements; a test execution FPGA of the test board calls a test execution FPGA reload program to generate a test execution FPGA dynamic test stimulus, and applies the dynamic test stimulus to the FPGA to be tested to perform a prototype verification test; the FPGA to be tested gives a test stimulus feedback to the test stimulus, and uploads and feeds back the test result through an interface control system; the host computer receives the FPGA verification test result for comparison and analysis to obtain the fault type and fault location, and at the same time, dynamically adjusts the verification file for the found or potential fault through a file configuration operation.

The application provides a mode switching method of an engine electronic controller, a mode switching system of the engine electronic controller and a computer readable storage medium. The mode switching method of the engine electronic controller comprises the following steps: S1, checking a software verification code, and setting a working mode as a normal working mode in response to the software verification code being a complete verification code; S2, modifying the software verification code as an error verification code in response to an aircraft maintenance request and an engine running state meeting a safe maintenance condition, the aircraft maintenance request being sent by an aircraft cabin through a bus; and S3, resetting and checking the software verification code, and switching the working mode to a cabin maintenance mode in response to the software verification code being the error verification code.

The invention provides a software verification method and device, equipment, a medium and a program product, and can be applied to the technical field of software management and artificial intelligence. The method comprises the steps that in response to obtained information of to-be-verified software, identity information and behavior information of the to-be-verified software are extracted, and the identity information comprises at least one of a program name, a version number, an installation date, a digital signature or a file hash value; the behavior information comprises at least one of resource occupation, a network connection behavior, a file operation behavior or a running time period; whether the identity information of the to-be-verified software is matched with a pre-configured software standard information base white list or not is verified, whether the behavior information accords with a predetermined software behavior baseline or not is verified, and the baseline is established according to historical behavior information of normal software identical to the to-be-verified software; and if both the identity information and the behavior information pass verification, determining that the to-be-verified software is normal software.

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 belongs to the technical field of measurement verification, and discloses a laser type measurement equipment product receiving software verification standard device, which comprises a bottom plate, the bottom plate is provided with a positioning reference hole, a cylinder, a cone, a sphere, an inclined surface, a circular ring body, a groove-shaped hole and an arc groove, and the upper surface of the bottom plate is a reference surface; the cylinder comprises a high cylinder and a low cylinder. The method is designed for verifying whether laser type measuring equipment product receiving software can be normally used or not and whether various functions meet the use requirements or not before the laser type measuring equipment product receiving software is put into use, the correctness of the use test function is simulated by using a special marking device, and the realization of the product receiving software function and accuracy is verified; the data reading capability of the product receiving software is verified by using the special standard digital analog, and whether the product receiving software is lost or misread when reading the digital analog is judged. The method is simple in design structure, easy to operate, high in applicability, low in design cost, not high in professional requirement for personnel, visual in result and capable of meeting the class certification auditing requirement.

The invention provides an airborne software structure incremental coverage rate analysis system and analysis method. The airborne software structure incremental coverage rate analysis system comprises a self-adaptive baseline management module, a change influence domain analysis module, an incremental coverage rate calculation module and an automatic report generation module. The method comprises the following steps: establishing a tracing relation among requirements, codes and use cases, capturing code version change to construct a change influence domain, carrying out change difference analysis in combination with historical version coverage rate data, identifying and running use cases which need to be additionally and independently executed in a current version, and obtaining a newest code structure coverage rate. And a coverage rate analysis report can be automatically updated and generated. By applying the analysis system and the analysis method, the technical bottlenecks in the aspects of large coverage analysis difficulty of an airborne software verification structure, redundant analysis work and the like can be solved.

Before deployment, artifacts and / or binaries are generated by the process of compilation from source code files are double signed with signatures. Immediately before deployment, a copy of the artifact

The invention discloses a software license verification method based on a satisfiability problem, which comprises the following steps that: a license issuing center generates a random 3-SAT problem for an authorized user of software, takes information of the 3-SAT problem and a solution of the 3-SAT problem as digital license information of the authorized user, and then sends the digital license information to the authorized user and a software verification party; when the authorized user needs to use the software, two communication devices are used for sending an interaction application to a software verification party; performing multi-round interaction between the two communication devices and the software verification party, and recording information of each round; and the software verification party checks the interaction information of each round and judges whether the authentication is passed or not, namely whether the authorized user is authorized to have an effective license or not. The security of the method is based on the NP completeness of the 3-SAT problem, and does not depend on the key length or the complexity of an encryption algorithm; meanwhile, the absolute confidentiality of the license key is ensured by using the zero-knowledge proving technology.

The invention relates to the technical field of aero-engine control software verification, and particularly discloses an aero-engine control software demand change review range identification method and tool, and the identification method comprises the steps: identifying all software demands related to an upstream demand with a function substantial change, and taking the software demands as a first software demand review range; identifying all upstream demands related to the software demand with the function essence change, and then identifying all software demands related to all the upstream demands as a second software demand review range; identifying a pure derived demand as a third software demand review range; and combining the first software demand review range, the second software demand review range and the third software demand review range, and performing duplicate removal processing to obtain a final software demand change review range. According to the method, all changed software requirements and possibly influenced software requirements can be guaranteed to be included in the review range, and the risk of requirement problem omission in the review link is effectively inhibited.

The embodiment of the invention provides a software verification method and device, equipment and a storage medium. The invention relates to the field of software verification. The method comprises the following steps: determining research and development state information of a software product; based on a preset mapping relationship, determining development mode information corresponding to the research and development state information; and in the process of executing the development mode information corresponding to the research and development state information, transmitting the software information of the software product to different terminal nodes so as to process the software information of the software product in the terminal nodes. The method is used for accurately regulating and controlling the operation process of the terminal node, and the technical effect of improving the software processing efficiency is achieved.

The invention provides an intelligent driving perception problem software verification system. The intelligent driving perception problem software verification system comprises a simulation scene and power data generation module, a software test module and a software verification module. The simulation module is used for marking multi-modal data and IMU sensor data when a vehicle has a perception problem, and inputting a data recharge system to generate a simulation environment and power data of a problem scene. And the software test module inputs the generated simulation scene and power data into the original sensing software to reproduce the problem, and inputs and verifies the repair effect again after algorithm updating. And the software verification module compares operation results before and after updating, and if the problem does not disappear, iterative optimization is performed until the problem is solved. The system realizes efficient positioning and closed-loop verification of algorithm defects by accurately reproducing a real vehicle perception problem scene, solves the problem that a real vehicle accidental problem is difficult to reproduce and verify due to insufficient coverage of a traditional HIL test scene, and remarkably improves the development efficiency and reliability of intelligent driving software.

The invention discloses an APM flexible marshalling method adopting a redundancy architecture, which automatically starts a guarantee mechanism for taking over a core function by standby resources in a normal state when a train network control system encounters a single-point fault through a multi-level design of hardware backup, software verification and communication fault tolerance. By the adoption of the technical scheme, emergency stop of a train can be avoided, operation parameters are maintained to be stable through seamless transition, it is ensured that output of key systems such as traction, braking and signal control is not suddenly changed, violent jolting caused by sudden fluctuation of power or braking is fundamentally eradicated, and then safety risks such as falling and collision of passengers are prevented; operation continuity is achieved, and outage events caused by single-point faults do not exist within a certain period of time; and the riding safety is high, sudden acceleration and sudden braking possibly caused by fault switching are thoroughly avoided by maintaining smooth transition of parameters such as braking pressure and traction power, and the risk that passengers fall down is eliminated from the physical level.