CN102624476A - 一种基于模型检测的无线传感器网络时间同步检验方法 - Google Patents
一种基于模型检测的无线传感器网络时间同步检验方法 Download PDFInfo
- Publication number
- CN102624476A CN102624476A CN201210006008XA CN201210006008A CN102624476A CN 102624476 A CN102624476 A CN 102624476A CN 201210006008X A CN201210006008X A CN 201210006008XA CN 201210006008 A CN201210006008 A CN 201210006008A CN 102624476 A CN102624476 A CN 102624476A
- Authority
- CN
- China
- Prior art keywords
- model
- time
- time synchronized
- detector
- state
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000012360 testing method Methods 0.000 title claims abstract description 9
- 230000001360 synchronised effect Effects 0.000 claims abstract description 97
- 230000007246 mechanism Effects 0.000 claims abstract description 64
- 238000000034 method Methods 0.000 claims description 42
- 238000005457 optimization Methods 0.000 claims description 16
- 238000007689 inspection Methods 0.000 claims description 12
- 238000001514 detection method Methods 0.000 claims description 9
- 238000013508 migration Methods 0.000 claims description 9
- 230000005012 migration Effects 0.000 claims description 9
- 238000005265 energy consumption Methods 0.000 claims description 8
- 238000009826 distribution Methods 0.000 claims description 7
- 230000006870 function Effects 0.000 claims description 6
- 238000012217 deletion Methods 0.000 claims description 3
- 230000037430 deletion Effects 0.000 claims description 3
- 238000010586 diagram Methods 0.000 claims description 3
- 230000009191 jumping Effects 0.000 claims description 3
- 230000002950 deficient Effects 0.000 abstract description 2
- 230000007547 defect Effects 0.000 abstract 1
- 238000004891 communication Methods 0.000 description 8
- 238000005516 engineering process Methods 0.000 description 5
- 238000012795 verification Methods 0.000 description 5
- 230000008447 perception Effects 0.000 description 4
- 230000008569 process Effects 0.000 description 4
- 230000007704 transition Effects 0.000 description 4
- 238000004458 analytical method Methods 0.000 description 3
- 230000008859 change Effects 0.000 description 3
- 238000013461 design Methods 0.000 description 3
- 238000011161 development Methods 0.000 description 3
- 230000007613 environmental effect Effects 0.000 description 3
- 230000009286 beneficial effect Effects 0.000 description 2
- 230000008901 benefit Effects 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 230000002596 correlated effect Effects 0.000 description 1
- 230000004927 fusion Effects 0.000 description 1
- 230000036541 health Effects 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 230000006698 induction Effects 0.000 description 1
- 230000014759 maintenance of location Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000000474 nursing effect Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
- 238000010200 validation analysis Methods 0.000 description 1
Images
Classifications
-
- Y02B60/50—
Landscapes
- Mobile Radio Communication Systems (AREA)
Abstract
Description
Claims (7)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210006008.XA CN102624476B (zh) | 2012-01-10 | 2012-01-10 | 一种基于模型检测的无线传感器网络时间同步检验方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210006008.XA CN102624476B (zh) | 2012-01-10 | 2012-01-10 | 一种基于模型检测的无线传感器网络时间同步检验方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102624476A true CN102624476A (zh) | 2012-08-01 |
CN102624476B CN102624476B (zh) | 2014-09-10 |
Family
ID=46564171
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210006008.XA Expired - Fee Related CN102624476B (zh) | 2012-01-10 | 2012-01-10 | 一种基于模型检测的无线传感器网络时间同步检验方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102624476B (zh) |
Cited By (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103226503A (zh) * | 2013-03-26 | 2013-07-31 | 清华大学 | 一种模块建模与模型检测一体化自动检测方法 |
CN103281160A (zh) * | 2013-05-31 | 2013-09-04 | 南京大学 | 一种控制器局域网帧传输验证方法 |
CN103412791A (zh) * | 2013-08-23 | 2013-11-27 | 国家电网公司 | 一种基于有限状态自动机的协同控制方法 |
CN103970652A (zh) * | 2014-04-29 | 2014-08-06 | 南京邮电大学 | 基于有界模型检验的无线传感网软件代码验证方法 |
CN104573224A (zh) * | 2015-01-05 | 2015-04-29 | 西安交通大学 | 一种基于模型检测技术的复杂机电系统可靠性评估方法 |
CN109558140A (zh) * | 2018-11-27 | 2019-04-02 | 上海航天电子通讯设备研究所 | 一种软件设计与实现的语义一致性验证方法 |
CN110290981A (zh) * | 2016-12-15 | 2019-09-27 | 罗伯特·博世有限公司 | 用于以共同系统时间来触发人员保护装置的方法和装置 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1561509A (zh) * | 2001-08-03 | 2005-01-05 | 霍尼韦尔国际公司 | 能量感知网络管理 |
US20060015858A1 (en) * | 2002-10-28 | 2006-01-19 | Tadaaki Tanimoto | System development method and data processing system |
CN101635941A (zh) * | 2009-07-24 | 2010-01-27 | 南京邮电大学 | 无线传感器网络中基于主从移动代理的目标跟踪方法 |
CN102065480A (zh) * | 2010-11-22 | 2011-05-18 | 北京邮电大学 | 基于路径优先级的无线传感器网络拥塞避免与控制方法 |
CN102123473A (zh) * | 2011-01-06 | 2011-07-13 | 山东大学 | 无线传感器网络基于动态簇机制的目标跟踪方法 |
-
2012
- 2012-01-10 CN CN201210006008.XA patent/CN102624476B/zh not_active Expired - Fee Related
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1561509A (zh) * | 2001-08-03 | 2005-01-05 | 霍尼韦尔国际公司 | 能量感知网络管理 |
US20060015858A1 (en) * | 2002-10-28 | 2006-01-19 | Tadaaki Tanimoto | System development method and data processing system |
CN101635941A (zh) * | 2009-07-24 | 2010-01-27 | 南京邮电大学 | 无线传感器网络中基于主从移动代理的目标跟踪方法 |
CN102065480A (zh) * | 2010-11-22 | 2011-05-18 | 北京邮电大学 | 基于路径优先级的无线传感器网络拥塞避免与控制方法 |
CN102123473A (zh) * | 2011-01-06 | 2011-07-13 | 山东大学 | 无线传感器网络基于动态簇机制的目标跟踪方法 |
Non-Patent Citations (6)
Title |
---|
SHARMA, A. ; BANERJEE, A. ; SIRCAR, P.: "• Performance analysis of energy-efficient modulation techniques for wireless sensor networks", 《INDIA CONFERENCE》 * |
SHARMA, A. ; BANERJEE, A. ; SIRCAR, P.: "• Performance analysis of energy-efficient modulation techniques for wireless sensor networks", 《INDIA CONFERENCE》, 31 December 2008 (2008-12-31) * |
孙勇,景博,张宗麟,张劼: "分簇路由的无线传感器网络通信模式与能量有效性研究", 《电子与信息学报》 * |
曲祯钰: "无线传感器时间同步技术综述", 《中国计量协会分会2010年会暨全国第十五届自动化应用学术交流会论文集》 * |
李腊元: "超宽带无线传感器网络数据传输跨层优化模型的研究", 《万方数据库的《中国学位论文全文数据库》》 * |
林惠民,张文辉: "模型检测:理论、方法与应用", 《电子学报》 * |
Cited By (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103226503A (zh) * | 2013-03-26 | 2013-07-31 | 清华大学 | 一种模块建模与模型检测一体化自动检测方法 |
CN103226503B (zh) * | 2013-03-26 | 2016-06-01 | 清华大学 | 一种模块建模与模型检测一体化自动检测方法 |
CN103281160A (zh) * | 2013-05-31 | 2013-09-04 | 南京大学 | 一种控制器局域网帧传输验证方法 |
CN103281160B (zh) * | 2013-05-31 | 2016-01-20 | 南京大学 | 一种控制器局域网帧传输验证方法 |
CN103412791A (zh) * | 2013-08-23 | 2013-11-27 | 国家电网公司 | 一种基于有限状态自动机的协同控制方法 |
CN103412791B (zh) * | 2013-08-23 | 2016-09-14 | 国家电网公司 | 一种基于有限状态自动机的协同控制方法 |
CN103970652A (zh) * | 2014-04-29 | 2014-08-06 | 南京邮电大学 | 基于有界模型检验的无线传感网软件代码验证方法 |
CN103970652B (zh) * | 2014-04-29 | 2016-08-17 | 南京邮电大学 | 基于有界模型检验的无线传感网软件代码验证方法 |
CN104573224A (zh) * | 2015-01-05 | 2015-04-29 | 西安交通大学 | 一种基于模型检测技术的复杂机电系统可靠性评估方法 |
CN110290981A (zh) * | 2016-12-15 | 2019-09-27 | 罗伯特·博世有限公司 | 用于以共同系统时间来触发人员保护装置的方法和装置 |
CN110290981B (zh) * | 2016-12-15 | 2023-02-10 | 罗伯特·博世有限公司 | 用于以共同系统时间来触发人员保护装置的方法和装置 |
CN109558140A (zh) * | 2018-11-27 | 2019-04-02 | 上海航天电子通讯设备研究所 | 一种软件设计与实现的语义一致性验证方法 |
Also Published As
Publication number | Publication date |
---|---|
CN102624476B (zh) | 2014-09-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102624476B (zh) | 一种基于模型检测的无线传感器网络时间同步检验方法 | |
CN105426680B (zh) | 基于特征配置的故障树生成方法 | |
CN108376221A (zh) | 一种基于aadl模型扩展的软件系统安全性验证与评估方法 | |
CN105227402B (zh) | 一种智能变电站多规约通信的集成一体化测试方法 | |
CN103220685B (zh) | 基于动态规划的传感器网络软件模型检验方法 | |
CN104375842A (zh) | 一种自适应软件uml建模及其形式化验证方法 | |
Carvalho et al. | Generalized robust diagnosability of discrete event systems | |
CN112417798B (zh) | 一种时序测试方法、装置、电子设备及存储介质 | |
CN105938502A (zh) | 面向AltaRica模型的系统安全性设计验证方法 | |
Mehrabian et al. | Timestamp temporal logic (TTL) for testing the timing of cyber-physical systems | |
CN104702598B (zh) | 一种智能电网分布式网络协议安全性检测方法 | |
CN103761084B (zh) | 基于扩展活性顺序图模型检测的物联网可信性评价方法 | |
CN103970654B (zh) | 一种软件可靠性虚拟测试方法 | |
Gao et al. | Event‐triggered control for multi‐agent systems with general directed topology and time delays | |
Steiner et al. | The TTEthernet synchronisation protocols and their formal verification | |
CN102184136B (zh) | 一种验证aadl模型运行状态与需求一致性的方法 | |
CN103220179A (zh) | 基于统计模型检验的不稳定网络鲁棒性评测方法 | |
Khokhlov et al. | Data security and quality evaluation framework: Implementation empirical study on android devices | |
Gao et al. | Service reconfiguration architecture based on probabilistic modeling checking | |
Björkman et al. | Verification of safety logic designs by model checking | |
CN109240267A (zh) | 一种欠数据下的闭环故障建模及主动诊断方法 | |
Syrotkina | Automatic diagnosis method for SCADA operability | |
Yue et al. | A survey of testing context-aware software: challenges and resolution | |
Chen et al. | A verification method for software safety requirement by combining model checking and FTA | |
Liu et al. | Application of Model Checking in Software Requirements Analysis |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20120801 Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: Nanjing Post & Telecommunication Univ. Contract record no.: 2016320000213 Denomination of invention: Wireless sensor network time synchronization testing method based on model checking Granted publication date: 20140910 License type: Common License Record date: 20161118 |
|
LICC | Enforcement, change and cancellation of record of contracts on the licence for exploitation of a patent or utility model | ||
EC01 | Cancellation of recordation of patent licensing contract | ||
EC01 | Cancellation of recordation of patent licensing contract |
Assignee: Jiangsu Nanyou IOT Technology Park Ltd. Assignor: Nanjing Post & Telecommunication Univ. Contract record no.: 2016320000213 Date of cancellation: 20180116 |
|
EE01 | Entry into force of recordation of patent licensing contract | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20120801 Assignee: NUPT INSTITUTE OF BIG DATA RESEARCH AT YANCHENG Assignor: NANJING University OF POSTS AND TELECOMMUNICATIONS Contract record no.: X2020980007071 Denomination of invention: A time synchronization verification method for wireless sensor networks based on model checking Granted publication date: 20140910 License type: Common License Record date: 20201026 |
|
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20140910 Termination date: 20210110 |