Sensor network software accessibility verification method

A verification method and reachability technology, applied in the field of sensor network software reachability verification, can solve problems such as automaton model redundancy, and achieve the effect of improving reachability verification efficiency and strong flexibility

Inactive Publication Date: 2014-08-06
NANJING UNIV OF POSTS & TELECOMM
View PDF6 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] Technical problem: the purpose of this invention is to provide a kind of sensor network software reachability verification method, be used to solve the automaton model redundancy problem that occurs in the sensor network software model inspection process, the present invention optimizes automaton with particle swarm optimization algorithm Model

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
  • Sensor network software accessibility verification method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] The invention utilizes the sensor network protocol ESAWN, which mainly deals with the situation that multiple nodes send data to one point in the data transmission of the sensor network. Node data is distributed and aggregated to the final root node through the transmission path. In order to ensure the correctness of information transmission, the protocol sets a listener, assuming that node n1 sends a message to n2, n2 sends a message to n3, and proceeds in sequence until the message is sent to the root node. We directly send n1 to n2, and set the listener to monitor the transmission information. When n3 node receives the data sent by the previous node, it will automatically compare with the monitoring information to determine whether the information is correct. Such as figure 1 , as shown, combined with the sensor network protocol ESAWN, the specific implementation steps of the sensor network software reachability verification method are as follows:

[0024] 1. Estab...

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 provides a sensor network software accessibility verification method. In the method, firstly, wireless sensor network software is represented through a model, the model is used for describing nodes and state transition among the nodes, then the software model is optimized through the particle swarm optimization, the property or quality which the wireless sensor network software needs to meet is represented through a sequential logical formula during specific implementation, and verification of the wireless sensor network software is converted into the mode that the property of a system is judged by verifying whether the software model meets the formula. According to the method, by optimizing the accessibility verification route, accessibility verification can be effectively performed on the sensor network software, and high flexibility is kept.

Description

technical field [0001] The invention relates to a method for verifying the accessibility of sensor network software, which mainly uses model checking technology to solve the problem of sensor network software verification, and belongs to the application fields of computer science and technology, software engineering and formal verification, and artificial intelligence cross technology. Background technique [0002] The wireless sensor network is a multi-hop self-organizing network system formed by sensor nodes deployed in the monitoring area through wireless communication. The purpose is to cooperatively perceive, collect, process and publish object information in the network coverage area. The sensor node is composed of a sensor module, a processor module, a wireless communication module, and an energy supply module. The sensor module is responsible for information collection and data conversion in the monitoring area; the processor module is responsible for controlling the ...

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): G06F11/36
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