Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

136 results about "Validation rule" patented technology

A Validation rule is a criterion or constraint used in the process of data validation, carried out after the data has been encoded onto an input medium and involves a data vet or validation program. This is distinct from formal verification, where the operation of a program is determined to be that which was intended, and that meets the purpose. The Validation rule or check system still used by many major software manufacturers was designed by Ashlee Williamson, an employee at Microsoft some time between 1997 and 1999 The method is to check that data falls the appropriate parameters defined by the systems analyst. A judgement as to whether data is valid is made possible by the validation program, but it cannot ensure complete accuracy. This can only be achieved through the use of all the clerical and computer controls built into the system at the design stage. The difference between data validity and accuracy can be illustrated with a trivial example. A company has established a Personnel file and each record contains a field for the Job Grade. The permitted values are A, B, C, or D.

Business rule automatic processing method and system based on natural language understanding

The invention provides a business rule automatic processing method and system based on natural language understanding. The method comprises the following steps: extracting text content from an original document containing business rules and preprocessing the text content; utilizing a BERT-based metadata extraction model to extract structured metadata from the preprocessed text content; confirming and perfecting the structured metadata; on the basis of the confirmed metadata, a rule execution flow chart and / or a test case are / is automatically generated and used for verifying the correctness of rule logic; and according to the target format, converting the verified rule into a corresponding symbolic representation through a template engine to obtain a defined rule. According to the invention, the automatic conversion of the business rule from the natural language description to the symbolized executable form is realized, so that business personnel can directly use the natural language to define and maintain the business rule, the manual conversion cost is reduced, and the accuracy and efficiency of rule processing are improved.
Owner:SHANGHAI JIAOTONG UNIV

Permission verification method and system applied to OA examination and approval

The invention discloses a permission verification method and system applied to OA examination and approval, and relates to the technical field of permission verification, and the method comprises the steps: receiving an examination and approval request triggered by an OA system, carrying out the extraction according to the examination and approval request, and obtaining user identity information and an examination and approval content label set; triggering a multi-level permission verification mechanism based on the user identity information, and generating a dynamic verification rule set; performing permission verification on the approval content label according to the dynamic verification rule set, and formulating a target verification rule; and executing the target verification rule to perform multi-level cross verification on the user permission, generating a permission verification report according to a verification result, and feeding back the permission verification report to the OA system to trigger a subsequent approval process. The technical problems of low approval process efficiency and inaccurate authority control caused by fixed static rule configuration in the authority verification process in the prior art are solved, and the technical effects of improving the authority verification flexibility and accuracy and enhancing the approval process safety and intelligent level are achieved.
Owner:SHENZHEN ZHONGKE SHUJIAN TECH CO LTD

Business filling scene data acquisition method and system, storage medium and electronic equipment

The invention discloses a business filling scene data acquisition method and system, a storage medium and electronic equipment, and the method comprises the steps: firstly storing filling historical data and domain knowledge into a vector database, and according to the current input of a user, searching related information, and combining the current input to generate a filling suggestion through a generation type large model; multi-modal information of the multi-end filling system is obtained, semantic understanding and information extraction are completed through a large model, and the multi-modal information is converted into structured data; mapping the structured data to a specified field by means of a field mapping rule; a data verification rule is designed, data verification is corrected through a rule engine or large model dynamic logic verification, and a verification result and a prompt suggestion are output; and finally, storing the processed and verified data, and providing data support for the user. According to the invention, the data acquisition efficiency is improved; the intention of the user can be predicted, corresponding suggestions can be provided, and the legality and accuracy of data are ensured.
Owner:BEIJING NO CODE TECH CO LTD

Privacy-preserving real-time system for validating and mitigating threats to structured healthcare transactions

Computer-implemented system for real-time validation and threat mitigation for structured health transactions, including: a client policy repository that contains client-specific validation rules, consent restrictions, and risk thresholds; a trusted policy execution enclave that only allows policies and models after remote attestation of code and configuration, and decrypts and processes protected fields exclusively within the enclave; a grammatically aware streaming validator that enforces format and semantic constraints and synthesizes an auto-repair suggestion in case of parser errors, transforming inputs into a policy-compliant form with minimal changes; a hybrid risk engine that calculates rule-based and learned risk scores and furthermore evaluates a subset of features using data protection-preserving calculations to determine risk contributions without decoding selected fields; a causal graph generator that correlates related transactions over time into an entity-resolved, time-aligned graph and identifies impossibility patterns with edge-wise responsibility values; a coordinator for federated learning who updates models from client-local aggregates under differential privacy budgets and suspends aggregation when a distribution drift above a policy threshold is detected; an audit subsystem that generates zero-knowledge evidence demonstrating that selected compliance predicates for a transaction have been met without disclosing protected health information; a risk-adaptive flow control system that directs high-risk substreams into micro-quarantine sections with enhanced testing while maintaining the basic service quality for low-risk substreams; and a register that stores a validity context mark which links each decision to the identity of the policies, models, scope of consent and runtime environment used.
Owner:BHATIA VISHI SINGH LOUISVILLE +3

Multi-terminal detection score offset correction method and system

The invention discloses a multi-terminal detection score offset correction method and system, particularly relates to the field of financial risk control, is used for solving the problem of steady-state offset generated in the merging process of multi-terminal detection scores, and comprises the following steps: receiving cross-terminal original behaviors and collecting metadata under unified time reference and unified field specifications; the method comprises the following steps: extracting a terminal fingerprint table according to a sampling beat, a sensing path, a rendering mode and a quantification strategy, generating a time alignment table, dividing a stable fragment, a change fragment and a transition fragment by taking the terminal fingerprint table and the time alignment table as conditions, and constructing a segmented order-preserving mapping relation table; a cross-terminal consistency constraint graph is generated based on the segmented order-preserving mapping relation table to form a correction rule set, rules are verified in an offline playback window, a micro-correction list is output, and the correction rule set and the micro-correction list are read in the online merging stage to execute correction and output a unified scale score. And meanwhile, generating a feedback abstract, submitting, filing and publishing a version.
Owner:BAIWEIJINKE (SHANGHAI) INFORMATION TECH CO LTD

Intelligent extraction method and equipment for structural data of scanned copy and medium

The invention discloses an intelligent extraction method and equipment for structural data of a scanned copy and a medium, and relates to the cross technical field of computer vision and intelligent document processing. The method comprises the following steps: acquiring a to-be-processed scanned copy image, and performing joint feature extraction on the scanned copy image based on a preset multi-modal neural network model to generate intermediate feature representation; constructing an extensible structured index template library containing field rules, value domain constraints and cross-field verification logic; based on an attention mechanism, performing intelligent semantic matching and mapping on the intermediate feature representation and a target field in an extensible structured index template library to output preliminary structured data; based on a verification rule preset in an extensible structured index template library, executing automatic logic verification and conflict resolution on the preliminary structured data to generate standard structured data conforming to business specifications; and carrying out serialization output on the standard structured data according to a predetermined format.
Owner:INSPUR ZHUOSHU BIG DATA IND DEV CO LTD

Data processing system and method, and related device

A data processing system and method, and a related device, relating to the technical field of artificial intelligence (AI). The data processing system comprises a general-purpose processor and an AI accelerator card. The general-purpose processor is used for sending an operation request comprising authorization authentication information and requesting to process an AI model deployed in the AI accelerator card. The AI accelerator card is constructed to be provided with a trusted execution environment (TEE), and the AI accelerator card is used for running a policy enforcement point (PEP) component deployed in the TEE, and is further used for receiving the operation request and determining whether the authorization authentication information in the operation request complies with a verification rule in the PEP component, and when the authorization authentication information complies with the verification rule, the first operation request is executed to execute a processing operation on the AI model. In this way, the PEP component is deployed in the TEE of the AI accelerator card, that is, the PEP is deployed in an execution environment closer to the AI model, so that the AI model can be effectively prevented from being illegitimately accessed by the general-purpose processor, thereby ensuring access safety of the AI model in the AI accelerator card.
Owner:HUAWEI TECH CO LTD

Multi-modal data verification system and method in medical scientific research

The invention belongs to the field of medical data processing. The invention provides a multi-modal data verification system and method in medical scientific research. The method comprises the following steps: extracting multi-modal data from different storage media; respectively analyzing and processing the extracted multi-modal data, respectively establishing a feature data model of each modal data and establishing a feature index; mapping the feature data models of the modal data to a unified vector space, performing data fusion according to the relationship of feature indexes of the feature data models, and generating and storing a wide model with multi-dimensional indexes; and according to a verification rule in a data processing process, slicing the wide model according to the feature index, and extracting a data feature information part corresponding to the verification rule to complete data verification. The method has the beneficial effects that all data of different modalities are subjected to homogenized fusion, so that verification for data of the same modality is not needed any more, and the verification result is more accurate.
Owner:成都华唯科技股份有限公司

Pollution source off-site supervision method and system based on big data

The invention relates to the technical field of pollution source supervision, and discloses a pollution source off-site supervision method and system based on big data, and the method comprises the steps: building a dynamic verification rule library through coupling the operation beat data of enterprise key equipment and the total power consumption fingerprint data, and comparing the matching degree between the actual energy consumption and the expected mode in real time and generating a process credibility index. According to the invention, conversion from traditional pollution discharge data verification to production process stability verification is realized, and an unforgeable supervision trust mechanism is constructed through the physical relevance between the equipment start-stop signal and the power utilization characteristic; and meanwhile, the judgment accuracy under the extreme working condition is ensured by utilizing environmental parameter dynamic compensation and micro-differential pressure bypass verification, and finally a quantifiable accumulation enterprise environmental protection credit evaluation system is formed.
Owner:XIAMEN HAIXU EAST INTELLIGENT TECH CO LTD

Commodity traceability management intelligent anti-counterfeiting method and system based on Internet of Things

The invention provides a commodity traceability management intelligent anti-counterfeiting method and system based on the Internet of Things, and relates to the technical field of anti-counterfeiting traceability of the Internet of Things, and the method comprises the steps: carrying out the vectorization processing of commodity physical feature data, obtaining a unique feature vector, constructing a circulation link structure, and building a bidirectional binding relation; and irreversible Hash transformation is carried out in the circulation event, a node record is embedded, a tamper-proof traceability voucher is formed, and a verification rule set is constructed to carry out consistency and integrity verification. According to the invention, the commodity information can be effectively prevented from being tampered, and the reliability and anti-counterfeiting efficiency of the traceability process are improved.
Owner:BEIJING SOOLE INFORMATION TECH CORP LTD

Automatically updating communication maps used to detect and remediate validation failures for network operations

Systems and methods for automatically updating validation rules used to detect and remediate network operation validation anomalies in conglomerate-application-based ecosystems are disclosed. The disclosed anomaly evaluation platform can dynamically monitor a set of document repositories containing specific guidelines for generating validation reports. In response to detecting updates in the guidelines, the anomaly evaluation platform retrieves a communication map defining parent-child relationships between validation rules and generates an updated communication map. The anomaly evaluation platform detects a transmission of a first network operation to a software application, which uses the first network operation to generate a second network operation. The anomaly evaluation platform provides the first network operation, the second network operation, and the updated communication map to an artificial intelligence model to generate a validation report that meets the specific criteria guidelines.
Owner:CITIBANK N A

Task release method and device, computer equipment and readable storage medium

The invention relates to the technical field of transaction processing process optimization, and provides a task issuing method and device, computer equipment and a readable storage medium, and the method comprises the steps: receiving a template editing instruction through a template library, and generating or modifying a task template based on the template editing instruction; in response to the task release request, calling a target task template from a template library, obtaining task basic information and approval chain information, and configuring task trigger rules including a trigger mode, a complex date rule and a precondition; according to the task triggering rule and the target task template, a task instance containing a form is automatically generated, and a task notification is generated and sent to a preset filling terminal; and when the filling terminal fills in the task form, calling a preset verification rule in the target task template in real time to verify input data corresponding to the task form so as to complete release of a task corresponding to the task form. According to the invention, a universal solution is provided for complex scenes such as financial compliance management and medical data submission.
Owner:PING AN INT FINANCIAL LEASING CO LTD

Logistics industry growth member system construction method and system

The invention discloses a logistics industry growth member system construction method and system, and relates to the technical field related to online freight platforms, and the method comprises the steps: obtaining core elements for constructing a logistics industry growth member system, abstracting the core elements into dynamically configurable metadata, setting a member grade calculation rule, and sharing a calculation engine; setting a grading bypass verification rule, and verifying the accuracy of a grade calculation result; and according to a verified grade calculation result and a user behavior log, dynamically identifying inactive users for filing, and after core link query is endowed to active users, completing construction of a logistics industry growth member system. Through the design of the invention, the enterprise-level user growth system can realize technical transition from a'chimney type system 'to a'universal platform', and stable support is provided for refined operation.
Owner:JIANGSU MANYUN LOGISTICS INFORMATION CO LTD

Depth context aware front-end dynamic depth security protection method and system

The invention relates to the technical field of Web application security, and provides a depth context-aware front-end dynamic depth security protection method, which comprises the following steps of: S1, acquiring a current user role, an authority level, an access routing path and semantic attributes of an operation UI (User Interface) component to form multi-dimensional depth context data; s2, the dynamic CSP strategy engine injects the obtained CSP strategy into a front-end environment by creating or updating a page Meta label; s3, performing double-layer protection during operation, wherein the double-layer protection comprises an input protection layer and an operation protection layer; s4, threat linkage response: if a hostile attack is detected in the step S3, a threat event is encrypted and reported to a security policy management center, and the management center dynamically updates a CSP policy and a sensitive operation verification rule; and S5, global strategy optimization: the management center counts and analyzes threat logs, and automatically adjusts a default strategy of high-risk routing. Through dynamic security policy generation, context-aware semantic analysis and a multi-layer protection linkage response mechanism, a self-adaptive and deep front-end security protection system is constructed.
Owner:GENERATION TIMES TECHNOLOGY (SHANGHAI) CO LTD

A spatiotemporal constraint-based blockchain digital collectible dynamic generation method and system

The application discloses a kind of spatiotemporal constraint's blockchain digital collectible dynamic generation method and system, it is related to blockchain technology field, including, digital collectible technical service provider carries out digitization collection and modeling based on multi-view three-dimensional reconstruction technology to physical entity, generates high-precision initial three-dimensional model;The initial three-dimensional model is bound with the environmental data of the physical entity that is collected in real time by sensor network, and the digital twin model of the physical entity is constructed;Intelligent contract is deployed on blockchain, and the preset spatiotemporal constraint condition is defined as the verifiable rule in the intelligent contract;When user client meets the spatiotemporal constraint condition, it submits its spatiotemporal information to the intelligent contract Zero-knowledge proof that the verifiable rule is met.The application evolves initial three-dimensional model, generates final digital collectible file, finally the hash value and metadata of the file are notarized in blockchain, complete casting.
Owner:BEIJING YUPENG TECH CO LTD

Artifact management infrastructure

A method, a system, and computer program product for managing container artifacts are provided. An artifact including a container image is received. Validation rules for performing a validation of the artifact are retrieved. Metadata is extracted from the artifact for performing the validation of the artifact. Validation of the artifact is performed by processing the container image using the validation rules and the metadata. The metadata of the artifact is stored, at a database of a registry, for the metadata to be accessible for updates over a lifetime of the artifact.
Owner:SAP SE

Route configuration method and apparatus, and device, medium and program product

PCT designated stageWO2026045866A1TransmissionEngineeringValidation rule
Disclosed in the present disclosure are a route configuration method and apparatus, and a device, a medium, and a program product. The route configuration method applied to a subnet comprises: sending a route announcement to at least one network device, wherein the route announcement is used for instructing the network device to generate a corresponding source address validation rule, and the route announcement comprises at least one of the following information: at least two route prefixes and priority indication information corresponding thereto, and at least one sub-route prefix and a parent route prefix thereof.
Owner:CHINA MOBILE COMM LTD RES INST +1

System and method for managing connections in a network

A system (108) and a method (500) for managing at least one connection in a network (106) is described. A network function (110) communicates at least one first session create request towards a network entity (112) on receiving at least one request from a user equipment (104). At least one create session request having a tunnel endpoint identifier (TEID) is communicated from the network entity by the NF. The received TEID is validated based on a set of validation rules by the network entity (402). Based on the validation of the TEID, the network entity communicates at least one create session response to the NF. Upon receiving the create session response by the NF, the NF (308) terminates at least one stale session attached to the TEID and transmits a trigger message to the UE for detaching / re-attaching with the network entity by the NF.
Owner:JIO PLATFORMS LTD

Method for configuring equipment management rule through natural language

The invention discloses a method for configuring an equipment management rule through a natural language, and relates to the technical field of natural language processing, and the method comprises the steps: extracting a multi-modal biological feature, calculating an emotion weight, and generating an emotion enhanced semantic structure through emotion mapping; inputting the emotion enhanced semantic structure into a device management knowledge graph, and generating executable rule logic through a graph neural network model; converting executable rule logic into a device instruction set through a dual-path rule code, executing emotion constraint to verify the device instruction set, and outputting a verification rule packet; executing the verification rule packet, collecting feedback data through rule monitoring, executing target parameter adjustment, generating a rule version updating record and outputting a device response log; neighbor node information is aggregated by using graph convolution operation, and a dynamic rule fusing a global topological relation is generated. Knowledge-driven multi-hop reasoning is realized, so that rule logic can be accurately associated with cross-equipment and cross-scene complex constraints.
Owner:SHENZHEN STESHUN TECH CO LTD

Equipment start-stop control method and device, equipment and storage medium

The invention relates to an equipment start-stop control method and device, equipment and a storage medium, and the method comprises the steps: obtaining a test configuration parameter inputted by a user, and the test configuration parameter comprises a communication mode; based on the test configuration parameters, controlling the to-be-tested device to be powered on, and starting timing; establishing communication with the to-be-tested device according to the test configuration parameters, and analyzing the response of the to-be-tested device based on a preset verification rule to determine whether the to-be-tested device is normally started within a preset maximum allowable starting time; and in response to the starting exception of the to-be-tested equipment, executing exception handling operation. A user carries out parameter configuration before testing through a graphical interface of a start-stop testing tool corresponding to the equipment start-stop control method, the parameters determine follow-up control, verification and processing behaviors, the equipment start-stop control method can adapt to different automatic equipment, and software development does not need to be repeated for the different automatic equipment.
Owner:BEIJING SHIGAN XINGBANG TECH CO LTD

Bidding validity verification method based on auction platform

The invention belongs to the technical field of electronic commerce, and particularly relates to a bid validity verification method based on an auction platform, which comprises the following steps of: performing multi-dimensional instant verification on a bid request initiated by a user through edge calculation and a dynamic rule engine based on basic data in a pre-configuration stage; from the three dimensions of identity permission legality, bidding rule compliance and cross-device data consistency, after verification is completed, bidding requests which do not meet requirements are directly intercepted, invalid bids are prevented from entering a bidding queue, on the basis, the exclusive verification rule capable of being updated in real time can be configured for each auction item, and the bidding efficiency of the auction item is improved. And the edge computing node performs dynamic matching verification on a bidding amount, a bidding step, a bidding time period and the like by instantly pulling a rule when bidding is initiated, so that synchronous adaptation of a bidding behavior and an auction rule is realized, and the situation that illegal bidding temporarily enters a bidding queue to interfere with other users and destroy an auction order is avoided.
Owner:ZHONGPAI PLATFORM NETWORK TECH CO LTD

File generation method and device, storage medium and electronic equipment

PendingCN122655686AData fileElectronic design
The application relates to a file generation method and device, a storage medium and electronic equipment, and relates to the technical field of chip electronic design automation. The method comprises the following steps: obtaining a design rule document to be parsed, performing structural analysis on the design rule document, and obtaining layer mapping information, metal layer configuration information and design rule information of the design rule document; generating layer definition code, a design rule framework and design rule code of the design rule document based on the structural data files corresponding to the layer mapping information, the metal layer configuration information and the design rule information; and generating a verification rule file corresponding to the design rule document according to the layer definition code, the design rule framework and the design rule code. By applying the technical solution of the application, the generation efficiency of the design rule check file is improved, syntax errors in the manual writing process are avoided, and the accuracy of the verification rule file is improved.
Owner:EMPYREAN TECH CO LTD

System and method for script-less automation for RTP testing or any API testing

The invention discloses a method for script-less automation testing of any API's based product including RTP's. The method utilizes a template-based approach for testing the API's based products. Further, the method automates the testing by eliminating behaviour capturing of the application under test. Furthermore, the method comprises of ‘user interface’ module and a ‘central automation solution’ module. The user interface module is utilized to trigger test execution for any API / RTP scenarios, configure inputs for test data & validation rules, and a test result dashboard to view the test execution results and test artifacts. The ‘central test automation solution’ module is a collection of microservices that are capable to perform required API / RTP service calls and subsequent validations dynamically based on the configuration at the ‘User Interface’ module.
Owner:UST GLOBAL PTE LTD

System and method for managing parsing rules for network elements in a communication network

PCT designated stageWO2025203105A1TransmissionTheoretical computer scienceEngineering
The present disclosure relates to a system (102) and a method (600) for managing parsing rules for network elements in a communication network (104). The method (600) includes receiving input from a user equipment (UE) (106) for managing the parsing rules corresponding to the network elements; extracting at least one parsing rule corresponding to attributes associated with the network element from the received input; validating the at least one extracted parsing rule corresponding to the attributes based on predefined validation rules; determining a presence of the at least one parsing rule corresponding to the attributes in a database (208); managing at least one existing parsing rule corresponding to the attributes by performing a first set of operations if the at least one parsing rule corresponding to the attributes for the network element is present in the database (208).
Owner:JIO PLATFORMS LTD

RWA-oriented asset cash flow verification method, device and system and computer equipment

The invention relates to an RWA-oriented asset cash flow verification method, device and system and computer device.The RWA-oriented asset cash flow verification method comprises the steps that a preset verification rule of an RWA asset cash flow is written, and a corresponding zero-knowledge proof circuit is obtained; generating a verification contract corresponding to the zero-knowledge proof circuit based on the verification mode of the zero-knowledge proof circuit; generating a corresponding RWA smart contract based on the verification contract; the RWA smart contract is deployed on a block chain; inputting the to-be-verified asset cash flow data into a zero-knowledge proof circuit for processing to generate a corresponding zero-knowledge proof; and verifying the zero-knowledge proof through the RWA smart contract on the block chain. According to the method and the device, the problem that the verification rule with any calculation complexity cannot be supported while the verification credibility is ensured is solved, the verification rule with any calculation complexity is supported while the verification credibility is ensured, and the flexibility of the verification process is improved.
Owner:HANGZHOU HIGH-TECH ZONE (BINJIANG) INSTITUTE OF BLOCKCHAIN & DATA SECURITY

Method, device and equipment for data synchronization between heterogeneous systems

The invention relates to a method, a device and equipment for data synchronization between heterogeneous systems. The method comprises the steps that a data source and a target system are configured, a mapping relation table between source data fields in the data source and UI elements of the target system is constructed, and a multi-dimensional verification rule and an exception handling decision are defined; monitoring a data change event in the data source, extracting source data related to the data change event, and writing the source data into the UI element corresponding to the target system according to the mapping relation table to obtain synchronous data; verifying the synchronous data according to a multi-dimensional verification rule to obtain a verification result; and judging whether the verification result is verification failure or not, and if yes, executing multi-dimensional early warning and selecting a disposal process according to an exception handling decision. According to the method, through closed-loop design of execution and verification, the accuracy of data synchronization can be effectively ensured; the configurable exception handling decision can effectively deal with complex business scenes and unforeseen circumstances, and the continuity of the data synchronization process is ensured.
Owner:成都天地直方发动机有限公司 +2

Method for data processing, computer device, and storage medium

The present disclosure provides a method for data processing, a computer device and a storage medium. And the method includes: acquiring configuration change information of configuration information of a target service; parsing the configuration change information to obtain information to be verified of the configuration change information, where the information to be verified is determined based on a target configuration item in the configuration change information and / or service running data of the target service for the configuration change information; determining a verification rule matched with the information to be verified, and performing verification processing on the information to be verified according to the verification rule to obtain a verification result; and determining an information review result of the configuration change information based on the verification result.
Owner:DOUYIN VISION CO LTD

Policy consistency verification apparatus, policy consistency verification method, and policy consistency verification program

A policy consistency verification apparatus includes a policy conversion part configured to generate an If-Then rule approximating a policy function used as an input, wherein the policy function is generated from policy definition defining attribute value of access and a rule regarding accessibility to obtain an output of accessibility from inputs of the attribute value; and an error sample generation part configured to verify consistency between the If-Then rule and the policy definition to generate inconsistent attribute value as an error sample.
Owner:NEC CORP

Model verification method for distributed systems suitable for sysml, simulink and aadl

The application relates to a model verification method suitable for a distributed system of SysML, Simulink and AADL, and belongs to the technical field of system integration verification. The method comprises the following steps: according to model description files of SysML, Simulink and AADL, extracting model element sets and related attribute information respectively to obtain SysML, Simulink and AADL model information mapping tables; according to selected verification rules, obtaining required model elements and related attribute information from the SysML, Simulink and AADL model information mapping tables; according to the selected verification rules, verifying the obtained required model elements and related attribute information, if the verification is passed, no prompt information is generated; otherwise, it is prompted that the selected verification rules are not met, and a verification result is output. The application solves the problem that the consistency, real-time performance and safety of the design integration stage and the corresponding demand models and design models of each subsystem cannot be verified at present.
Owner:BEIHANG UNIV +1

Formal verification method and system in industrial control system

ActiveCN121596805AProgramme controlComputer controlTruth valueOperand
The invention discloses a formal verification method and system in an industrial control system. The method comprises the following steps: determining a target business entity corresponding to an operation object in a current message in the industrial control system; obtaining at least one target rule corresponding to the target business entity from a verification rule base; executing a logic verification operation on the operand value in the current message based on each target rule; if the judgment result of the logic verification operation shows that the target rule is violated, a safety response action is triggered; wherein the execution process of the logic verification operation comprises the following steps of: generating an instantaneous atomic proposition truth value corresponding to an operation value in a current message; obtaining truth values of other atomic propositions in the target rule from the system state cache to obtain a historical atomic proposition truth value; combining the instantaneous atomic proposition truth value and the historical atomic proposition truth value to obtain an atomic proposition truth value vector of the current message; and obtaining a judgment result corresponding to the true value vector of the atomic proposition, and defending logic attacks which utilize legal instructions but violate the technological process.
Owner:BEIJING VENUS INFORMATION SECURITY TECH +1