Matches in SemOpenAlex for { <https://semopenalex.org/work/W2328988290> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2328988290 endingPage "107" @default.
- W2328988290 startingPage "90" @default.
- W2328988290 abstract "Recently, sensor technology has seen significant achievement. Meanwhile, Wireless Sensor Network (WSN) technique has attracted lots of attention because of its open and dynamic behaviors, and has become a very important component of the Internet-based computing. The behavior of WSN system is very complex and may encounter lots of stochastic uncertainties and disturbances like message loss and node dynamics. Furthermore, WSN system is difficult to change and maintain once it is deployed. Thus, it is critical to ensure the quality of the low level protocols of WSN system in design phase. Designers should ensure the logical correctness of a protocol, as well as evaluate the performance of the protocol under certain target environments. To handle these issues, in this paper, we propose a framework to analyze and evaluate WSN protocols based on stochastic timed automata and statistical model checking. We propose to address the modeling of the uncertainties in the realistic behaviors by weighted stochastic transitions in the timed automata model of the protocol. Furthermore, we propose that the performance of the protocol under realistic environments should be evaluated by statistical model checking which is much cheaper and more scalable. To illustrate the feasibility and detail of the modeling and verification approach presented in this paper, two well-known WSN protocols, Timing-sync Protocol for Sensor Networks (TPSN) and Flooding Time Synchronization Protocol (FTSP), are studied thoroughly throughout the paper." @default.
- W2328988290 created "2016-06-24" @default.
- W2328988290 creator A5029676029 @default.
- W2328988290 creator A5033604626 @default.
- W2328988290 creator A5063810037 @default.
- W2328988290 creator A5071216117 @default.
- W2328988290 creator A5075789912 @default.
- W2328988290 date "2013-01-01" @default.
- W2328988290 modified "2023-09-22" @default.
- W2328988290 title "基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析" @default.
- W2328988290 doi "https://doi.org/10.1360/112012-498" @default.
- W2328988290 hasPublicationYear "2013" @default.
- W2328988290 type Work @default.
- W2328988290 sameAs 2328988290 @default.
- W2328988290 citedByCount "1" @default.
- W2328988290 countsByYear W23289882902020 @default.
- W2328988290 crossrefType "journal-article" @default.
- W2328988290 hasAuthorship W2328988290A5029676029 @default.
- W2328988290 hasAuthorship W2328988290A5033604626 @default.
- W2328988290 hasAuthorship W2328988290A5063810037 @default.
- W2328988290 hasAuthorship W2328988290A5071216117 @default.
- W2328988290 hasAuthorship W2328988290A5075789912 @default.
- W2328988290 hasConcept C39432304 @default.
- W2328988290 hasConceptScore W2328988290C39432304 @default.
- W2328988290 hasIssue "1" @default.
- W2328988290 hasLocation W23289882901 @default.
- W2328988290 hasOpenAccess W2328988290 @default.
- W2328988290 hasPrimaryLocation W23289882901 @default.
- W2328988290 hasRelatedWork W1902343063 @default.
- W2328988290 hasRelatedWork W19706774 @default.
- W2328988290 hasRelatedWork W1981586209 @default.
- W2328988290 hasRelatedWork W1987190019 @default.
- W2328988290 hasRelatedWork W1995988665 @default.
- W2328988290 hasRelatedWork W2009301978 @default.
- W2328988290 hasRelatedWork W2024676566 @default.
- W2328988290 hasRelatedWork W2051205368 @default.
- W2328988290 hasRelatedWork W2142666156 @default.
- W2328988290 hasRelatedWork W2166896295 @default.
- W2328988290 hasRelatedWork W2177369013 @default.
- W2328988290 hasRelatedWork W2497681431 @default.
- W2328988290 hasRelatedWork W2528367572 @default.
- W2328988290 hasRelatedWork W2591822606 @default.
- W2328988290 hasRelatedWork W2618141336 @default.
- W2328988290 hasRelatedWork W2794858096 @default.
- W2328988290 hasRelatedWork W2887518413 @default.
- W2328988290 hasRelatedWork W2935751262 @default.
- W2328988290 hasRelatedWork W3158754760 @default.
- W2328988290 hasRelatedWork W59212693 @default.
- W2328988290 hasVolume "43" @default.
- W2328988290 isParatext "false" @default.
- W2328988290 isRetracted "false" @default.
- W2328988290 magId "2328988290" @default.
- W2328988290 workType "article" @default.