Process algebra-based real-time protocol analysis and verification system

A real-time protocol and verification system technology, applied in the direction of electrical digital data processing, special data processing applications, instruments, etc., to achieve the effect of simplifying verification operations

Inactive Publication Date: 2017-02-22
EAST CHINA NORMAL UNIV
View PDF3 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, there is a lack of a system for real-time protocol analysis and 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
  • Process algebra-based real-time protocol analysis and verification system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0022] Hereinafter, exemplary embodiments of the present invention will be described in more detail with reference to the accompanying drawings. Although the drawings show exemplary embodiments of the present invention, it should be understood that the present disclosure can be implemented in various forms and should not be limited by the embodiments set forth herein. On the contrary, these embodiments are provided to enable a more thorough understanding of the present disclosure and to fully convey the scope of the present invention to those skilled in the art.

[0023] Such as figure 1 As shown, a real-time protocol analysis and verification system based on process algebra includes: mathematical modeling module, which uses process algebra to formally express the protocol, accurately expresses the content of the protocol, and uses temporal logic, computational tree logic, and Hall logic , Separate logic to characterize the real-time protocol requirements; the code generation mo...

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 process algebra-based real-time protocol analysis and verification system. The system comprises a mathematic modeling module, a code generation module, a simulation verification module and a verification result processing module, wherein the mathematic modeling module is used for carrying out modeling by utilizing process algebra, carrying out formalized expression on a real-time protocol, establishing a real-time protocol model and carrying out formalized expression on a protocol requirement; the code generation module is used for generating a high-level language code according to the real-time protocol model; the simulation verification module is used for carrying out simulation execution on the real-time protocol model according to a semantic meaning of a process algebra description language, and analyzing and verifying the properties satisfied by the real-time protocol model according to the formalized expressions of the rea-time protocol and of the protocol requirement output by the mathematic modeling module; and the verification result processing module is used for carrying out statistic and classification on analysis and verification results output by the simulation verification module and providing evaluation for protocol property. The system disclosed by the invention provides a protocol execution process which does not satisfy the protocol requirement, and provides integral evaluation for the protocol property, so that the efficiency of optimizing the protocols by the developers is improved.

Description

Technical field [0001] The invention relates to the field of formal analysis and verification of real-time protocols, in particular to a real-time protocol analysis and verification system based on process algebra. Background technique [0002] In order to ensure the safety and reliability of software and hardware, formal analysis and verification techniques have gradually been widely used in some key areas. For example, in the past, formal methods have been widely used in security, fault tolerance, basic consistency, object-oriented programming, compilation correctness, protocol development, hardware testing, computer-aided design, and human safety. Some security vulnerabilities discovered based on formal methods have avoided huge losses in many engineering projects. [0003] With the widespread application of real-time protocols in the industrial, civil, and military fields, the design and implementation of the protocol also face challenges in security and real-time. In order t...

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 Applications(China)
IPC IPC(8): G06F17/50
CPCG06F30/20
Inventor 史建琦庞海萍黄滟鸿李昂何积丰方徽星
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap