21 results about "Software verification and validation" patented technology

The invention provides a standard document automatic generation and multi-dimensional auditing method and system based on a large model, and relates to the technical field of artificial intelligence, and the method comprises the steps: 1, building a distributed database of a multi-source document, and analyzing a heterogeneous text through natural language processing to obtain a standardized knowledge network; step 2, extracting index elements based on the standardized knowledge network, and forming a structured parameter library through verification and verification; and step 3, based on the structured parameter library, constructing a template library, analyzing user demands in combination with semantic matching, and automatically generating a standard document outline. The document generation efficiency and quality are improved, the manual auditing cost is reduced, and the auditing comprehensiveness and accuracy are enhanced.

Systems, methods, and computer-readable storage media for compliance verification and validation of cyber resilience in a distributed entity or third-party network (DETPN). Some methods can include generating or identifying, by one or more processing circuits, one or more compliance parameters for a plurality of entities or third-parties on the DETPN. Some methods can include determining, by the one or more processing circuits, at least one compliance level. Some methods can include receiving or identifying, by the one or more processing circuits, environmental data of the DETPN. Some methods can include determining, by the one or more processing circuits at a second timing phase, an updated at least one compliance level for at least one of the plurality of entities or third-parties based at least on the environmental data. In some implementations, some methods can include generating and storing, by the one or more processing circuits, one or more tokens.

Systems, methods, and computer-readable storage media for compliance verification and validation of cyber resilience in a distributed entity or third-party network (DETPN). Some methods can include generating or identifying, by one or more processing circuits, one or more compliance parameters for a plurality of entities or third-parties on the DETPN. Some methods can include determining, by the one or more processing circuits, at least one compliance level. Some methods can include receiving or identifying, by the one or more processing circuits, environmental data of the DETPN. Some methods can include determining, by the one or more processing circuits at a second timing phase, an updated at least one compliance level for at least one of the plurality of entities or third-parties based at least on the environmental data. In some implementations, some methods can include generating and storing, by the one or more processing circuits, one or more tokens.

Systems, methods, and computer-readable storage media for verification and validation of cyber resilience in a distributed entity or third-party network (DETPN). One system includes one or more processing circuits including memory and at least one processor configured to access or identify compliance data for at least one of a plurality of entities or third-parties, the compliance data corresponding with a first timing phase. The at least one processor further configured to access or identify at a second timing phase updated compliance data for at least one of the plurality of entities or third-parties based at least on environmental data of the DETPN. The at least one processor further configured to generate one or more tokens comprising at least one of the compliance data or the updated compliance data. The at least one processor further configured to provide the one or more tokens.

Disclosed is an MQ Telemetry Transport (MQTT) Data Logger and Processor for Near Real Time Data Analysis that is configured to subscribe to a Machine-to-Machine (M2M) network protocol and store all the messages sent to an MQTT broker. Once all of the messages have been logged, the presently disclosed invention further features cleans and places the data into a format that is usable or accessible by modeling and simulation (M&S) tool suites, as one example. These aspects can be utilized by test and evaluation (T&E) engineers to rapidly evaluate system characteristics and performance. Moreover, the disclosed methodology can be used to augment technical data within M&S scenarios for verification and validation (V&V) and post processing.

Systems and methods provide a HybridOps model for the identification, capture, isolation, feature engineering and adjudication of source signal data signatures for inclusion in calibration quality standard reference signal data signature libraries that improve machine learning and validation, reduces model bias and reduces model drift. The HybridOps model may include an “unlocked” AI / ML (machine learning enabled) public facing deployment pipeline in parallel with a clone AI / ML deployed in an internal development environment using a ML-Ops pipeline and in parallel with a clone“locked” AI / ML (machine learning disabled) as a standard reference. The three deployed models enables monitoring and measuring model drift, context drift and product progression for improved verification and validation of model reliability. The parallel environment AI / ML testing using randomized learning, validation, testing sets drawn from calibration quality adjudicated standard reference signal data signature libraries provides for validation, verification and test to failure procedures.

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 relates to information representation, exchange, validation, and utilization. Embodiments of the invention enable a fully digital shared information reality: an information fabric, in which unlimited numbers of participants can all permanently access (with access controls) information objects that all participants can trust and verify, according to a universal set of protocols that are logically complete, address all stages of information exchange, and enable convincing, persuasive user experience. We disclose foundational embodiments that include methods to properly record, store, communicate and display information in digital form; computational verification and validation of information; and foundational concepts in human-information interaction. The invention teaches that by using unique digital objects, numerous difficulties and inefficiencies in state-of-the-art information exchange are overcome, and the next stage of digital transformation is enabled. Embodiments discussed include Next-Generation Digital Documents, Universal User Interface and Application Programming Interface for physical objects and devices, and user-friendly digital signatures.

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 present invention provides a method, apparatus and system for information deposit and verification, which relates to the technical field of blockchain. The method includes: sending a first request to a second node, where the second node is a node in the meta-blockchain, and the meta-blockchain is the upper-level blockchain of the application blockchain, and the first request is used to request the second node to obtain variable public information and deposit the variable public information; obtaining the deposit information of the variable public information sent by the second node, where the deposit information is used for a third node to perform verification and validation processing on the variable public information, and the deposit information includes the variable public information; and saving the deposit information in the application blockchain. Since the meta-blockchain is the upper-level blockchain of the application blockchain and the meta-blockchain has a high authority, the deposit information provided by the meta-blockchain can effectively ensure the validity of the variable public information.

The application discloses a kind of CFD verification and confirmation mark mould data storage method and database, belong to aerodynamic database technical field, including steps: CFD verification and confirmation mark mould data warehousing;Extract mark mould example basic information again, parse, organize example test / calculating result structure data, design form CFD verification and confirmation mark mould data table;The CFD verification and confirmation mark mould data table includes core data table.The application can realize the dynamic storage of different standard examples of incoming flow state data and result data, reduce data redundancy, improve data scalability, can ensure that database platform can accurately, efficiently provide data services for CFD software credibility evaluation or related research.

The invention discloses a fluid simulation platform for aerodynamic characteristic analysis of civil aircrafts, and belongs to the technical field of aerodynamic numerical simulation. The fluid simulation platform adopts a layered architecture and comprises a platform layer, a server side, a client side and a user layer, and the platform layer comprises software and hardware infrastructures; the server comprises a basic service layer and a data layer; the client comprises an application layer and an access layer, and the application layer comprises a pre-processing module, a solver module, a post-processing module and a verification and confirmation module; the access layer comprises an aviation special fluid simulation software interface; and the user layer comprises technicians and maintainers. According to the method, a software heterogeneous component packaging and embedding technology is selected, data formats, interface styles and other elements are uniformly defined, different types of fluid simulation components are integrated, and a civil aircraft aerodynamic characteristic analysis scheme which is coherent in use experience and complete in simulation process is provided for researchers or engineers under different working conditions.

The present invention relates to the representation, exchange, verification and use of information. The embodiments of the present invention enable a fully digitalized shared information reality, i.e. an information fabric where an unlimited number of participants can all access (with access control) permanently, and where all participants have access to trusted and verifiable information objects. This information fabric is logically complete, follows a universal set of protocols that address all stages of information exchange and enable a compelling user experience. This specification discloses basic embodiments including how to properly record, store, transmit and display information in digital form, computational verification and validation of information, and fundamental concepts in human-information interaction. The present invention teaches that the use of unique digital objects overcomes many of the difficulties and inefficiencies of state-of-the-art information exchange, enabling the next stage of digital transformation. Examples covered include next-generation digital documents, universal user and application programming interfaces for physical objects and devices, and user-friendly digital signatures.

In an approach to post-silicon analog design verification and validation, a method includes receiving a recovered layout and a golden data for a design; extracting a recovered netlist from the recovered layout and a golden netlist from the golden data; converting the recovered netlist into a recovered graph and the golden netlist into a golden graph; partitioning the recovered graph and the golden graph; and determining an assurance metric by comparing the recovered graph and the golden graph.

The present invention provides an AFE application software development verification and validation device and method. This device uses an AFE simulator to simulate data packets that can be sent arbitrarily by the AFE end, collects information from the AFE end, or selects the AFE model to be simulated via a host computer. The MCU then executes corresponding safety measures on the AFE end simulated information. When executing the safety measures, the AFE simulator generates a corresponding response, which is presented to the PLC end. This provides fault response, fault duration, and BMS functional response results, thereby verifying the rationality and completeness of software development and confirming the effective implementation of safety measures.

This application relates to a method, apparatus, computer device, storage medium, and computer program product for verifying fuel rod software. The method involves acquiring a verification start command for the fuel rod software to be verified, obtaining software calculation data output by the software based on the start command, acquiring standard result data, determining verification parameters of the software based on the standard result data, and then sequentially extracting the software calculation data corresponding to each verification parameter and comparing it with the standard result data to obtain at least one comparison result. Based on the comparison results of each verification parameter, the verification result of the fuel rod software to be verified is obtained through classification and statistics. This method allows for automated software verification and validation, reducing human error and improving the efficiency of software verification and validation analysis.

The method disclosed in the present invention for standardizing the storage of CFD verification and confirmation case data includes case data organization, case data collation standards, and case data storage standards; the case data collation standards include case data naming standards, case description file compilation standards, self-description file definition standards, computational grid data collation standards, computational result data collation standards, and test result data collation standards; the case data storage standards are based on the data output by the case data collation standards, using a hierarchical tree-like organizational structure that is convenient for domestic users to use, and enter the case database from the perspectives of newly created cases, basic properties, case descriptions, comparable data, extraction tools, and related documents. The technical solution provided by the present invention standardizes and ensures the quality of submitted case data, solving the problem of incomplete case data and lack of availability during the construction of a CFD verification and confirmation case library.

The invention relates to information representation, exchange, validation, and utilization. Embodiments of the invention enable a fully digital shared information reality: an information fabric, in which unlimited numbers of participants can all permanently access (with access controls) information objects that all participants can trust and verify, according to a universal set of protocols that are logically complete, address all stages of information exchange, and enable convincing, persuasive user experience. We disclose foundational embodiments that include methods to properly record, store, communicate and display information in digital form; computational verification and validation of information; and foundational concepts in human-information interaction. The invention teaches that by using unique digital objects, numerous difficulties and inefficiencies in state-of-the-art information exchange are overcome, and the next stage of digital transformation is enabled. Embodiments discussed include Next-Generation Digital Documents, Universal User Interface and Application Programming Interface for physical objects and devices, and user-friendly digital signatures.

The invention relates to the technical field of data security, in particular to a transaction data authenticity verification and verification method for a data platform, and the method comprises the steps: obtaining transaction voucher data of each entity through a block chain authority node; constructing a periodic fluctuation function according to periodic characteristics of renewable resource transactions; calculating a transportation fluctuation coefficient according to the characteristics of the transportation information in the transaction, and calculating an authenticity coefficient in combination with a periodic fluctuation function; and the transaction data uploaded to the block chain is effectively verified through the authenticity coefficient, so that the authenticity of the data is ensured. In order to prevent a certain node from acquiring all transaction information in the block chain to cause security risks, the invention aims to provide a mode which can verify the authenticity of the transaction data and also can guarantee the security of the transaction information on the chain.

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.

An apparatus to facilitate enabling late-binding of security features via configuration security controller for accelerator devices is disclosed. The apparatus includes a security controller to manage security and configuration of the apparatus, wherein the security controller comprises a programmable portion and a non-programmable portion, and wherein the security controller is further to: initialize the programmable portion of the security controller as part of a secure boot and attestation chain of trust; receive configuration data for the programmable portion of the security controller, the programmable portion comprising components of the security controller capable of re-programming; verify and validate the configuration data as originating from a secure and trusted source; and responsive to successful verification and validation of the configuration data, re-program, during runtime of the apparatus, the programmable portion of the security controller using configurations that are based on a security threat model for a given deployment.