Controller local area network protocol verification method based on state space search

A state space and verification method technology, applied in electrical components, transmission systems, etc., can solve problems such as state space explosion, and achieve the effect of optimizing space-time complexity and space-time complexity

Active Publication Date: 2014-06-25
NANJING UNIV OF POSTS & TELECOMM
View PDF4 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] The purpose of the present invention is to establish a controller area network software model verification method based on the state space search algorithm of state decomposition, solve the problem of controller area network software verificati

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
  • Controller local area network protocol verification method based on state space search
  • Controller local area network protocol verification method based on state space search
  • Controller local area network protocol verification method based on state space search

Examples

Experimental program
Comparison scheme
Effect test

specific example

[0073] 1. System modeling

[0074] Now assume that the controller LAN adopts a hierarchical structure, and each network node is assigned a level, the root node is level 0, and a node at level i can communicate with at least one node at level (i-1); after the LAN is deployed, the root node The node broadcasts the level discovery group to start the level discovery phase. The level discovery group contains the number and level of the node; after the neighbor node receives the group, it sets its own level as the level in the group plus 1, and then broadcasts a new level discovery group; the node After receiving the broadcast packet of the i-level node, record the number of the node that sent the broadcast packet, set its own level as (i+1), and broadcast the group as (i+1). This process continues to every node in the network. Nodes are all given a level; once a node establishes its own level, it ignores any other level discovery packets to prevent flooding and congestion in the ne...

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 controller local area network protocol verification method based on state space search. The method comprises the steps of system modeling, model pre-processing and model verification. In the modeling process, an abstract time state automat model is constructed, a state transition diagram prevents, through the utilization of the idea of dynamic planning, a state spatial graph from being generated in a redundant state. In the verification of a controller load area network software model, the state search algorithm based on decomposition is used for further optimizing the state search space of the model, the verification process of the whole system is made to be further optimized in time and space complexity, and data processed through the algorithm are output and converted into a language form which can be understood by inspection personnel easily. The controller local area network protocol verification method can be used for effectively verifying whether relevant network protocols meet requirements, and relieves the problem of state space explosion in the verification process. The space-time complexity of the system in the verification process is low.

Description

technical field [0001] The invention relates to an optimization method for state space search in the controller local area network protocol model inspection, which mainly uses the state space search algorithm based on state decomposition to realize the verification of the controller local area network protocol under the condition of alleviating the state space explosion problem, and belongs to Computer technology, wireless communication, sensor technology and software verification technology cross-technical application fields. Background technique [0002] Controller Area Network (CAN, ControllerAreaNetwork) is an internationally standardized serial communication protocol, which belongs to the category of field bus, and is a serial communication network that effectively supports distributed control systems. In the current automobile industry, based on the requirements of safety, convenience, comfort and cost, researchers have developed many types of electronic control system...

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): H04L29/06
Inventor 朱彦沛陈志高阳阳高显强岳文静
Owner NANJING UNIV OF POSTS & TELECOMM
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