Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A Model Verification Device Based on Source Code

A source code and model technology, applied in the computer field, can solve problems such as reducing verification efficiency, achieve high degree of automation, good operability, and improve verification efficiency

Active Publication Date: 2022-03-08
上海丰蕾信息科技有限公司
View PDF8 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Verification efficiency is reduced due to the need for experienced users to provide a large number of axioms, preconditions and other system-related information to satisfy the verification

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Model Verification Device Based on Source Code
  • A Model Verification Device Based on Source Code
  • A Model Verification Device Based on Source Code

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0056] The following description and drawings illustrate specific embodiments of the invention sufficiently to enable those skilled in the art to practice them.

[0057] It should be clear that the described embodiments are only some of the embodiments of the present invention, not all of them. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention.

[0058] When the following description refers to the accompanying drawings, the same numerals in different drawings refer to the same or similar elements unless otherwise indicated. The implementations described in the following exemplary examples do not represent all implementations consistent with the present invention. Rather, they are merely examples of apparatuses and methods consistent with aspects of the invention as recited in the appended claims.

[0059]In the description...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a source code-based model verification device. The device comprises: a source code acquisition module for acquiring target source code; a first model generation module for converting the target source code according to AADL modeling technology After modeling, an AADL model is generated; a second model generation module is used to convert the AADL model based on a preset conversion method to generate a time automaton model; a model checking module is used to utilize a preset model detector to automatically detect the time. machine model for inspection. Therefore, by adopting the embodiments of the present application, the verification efficiency can be improved.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a source code-based model verification device. Background technique [0002] With the rapid development of information technology, the functions of software systems are becoming more and more complex, and the scale is getting bigger and bigger, and the security challenges they face are becoming more and more severe. Especially for safety-critical systems such as aerospace, automotive electronics, industrial control, and military systems, trusted verification of software is particularly important. Formal verification technology is based on formal specification, through in-depth analysis and understanding of the system, to verify whether the system satisfies its given properties, or finds that the system cannot meet the conditions of the properties. [0003] At present, the main formal verification method is theorem proving. Theorem proving mainly uses logical and mathematical ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36G06F30/20
CPCG06F11/3608
Inventor 史建琦焦明月黄滟鸿孙文圣战云龙郭欣
Owner 上海丰蕾信息科技有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com