Formal analysis and verification method for real-time protocol

A real-time protocol, verification method technology, applied in the direction of digital transmission system, data exchange network, electrical components, etc., to achieve the effect of simplifying the verification operation

Inactive Publication Date: 2017-02-15
EAST CHINA NORMAL UNIVERSITY
View PDF5 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, there is a lack of a method for

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
  • Formal analysis and verification method for real-time protocol
  • Formal analysis and verification method for real-time protocol

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] Exemplary embodiments of the present invention will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present invention are shown in the drawings, it should be understood that the disclosure may be embodied in various forms and should not be limited to the embodiments set forth herein. Rather, these embodiments are provided for thorough understanding of the present disclosure, and for fully conveying the scope of the present invention to those skilled in the art.

[0024] like figure 1 As shown, a formal analysis and verification method of a real-time protocol includes: mathematical modeling steps, using process algebra to formally represent the protocol, accurately expressing the content of the protocol, and using temporal logic, computational tree logic, Hall logic, The separation logic describes the real-time protocol requirements; the code generation step is used to convert the protocol model into h...

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 formal analysis and verification method for a real-time protocol. The method comprises a mathematical modeling step for carrying out formal expression on the real-time protocol through process algebra modeling, establishing a real-time protocol model, and carrying out formal expression on a protocol demand; a code generation step for generating high-level language code according to the real-time protocol model; a simulation verification step for carrying out simulation performance on the real-time protocol model according to semantics of a process algebra description language, and analyzing and verifying requirement property satisfied by the real-time protocol model according to the formal expression of the real-time protocol and the formal expression of the protocol demand output by the mathematical modeling step; and a verification result processing step for carrying out statistics and classification on analysis and verification results output by the simulation verification step and providing evaluation of protocol property. According to the method, the protocol performance process not satisfying the protocol demand is provided, the integrated evaluation of the protocol property is provided, and the efficiency of optimizing the protocol by a developer 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 formal analysis and verification method of real-time protocols. Background technique [0002] In order to ensure the safety and reliability of software and hardware, formal analysis and verification techniques are gradually being widely used in some key fields. For example, in the past, formal methods have been widely used in security, fault tolerance, basic consistency, object-oriented programming, compiler correctness, protocol development, hardware detection, computer-aided design, and human safety. Based on some security loopholes found by formal methods, huge losses in many engineering projects have been avoided. [0003] With the wide application of real-time protocols in industrial, civil, and military fields, the design and implementation of protocols are also facing challenges in security, real-time and other aspects. In order to...

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
IPC IPC(8): H04L12/26
CPCH04L43/18
Inventor 史建琦庞海萍黄滟鸿李昂何积丰方徽星
Owner EAST CHINA NORMAL UNIVERSITY
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