Early Prototyping of Wireless Sensor Network Algorithms in PVS

被引：0
|
作者：
Bernardeschi, Cinzia [1 ]
Masci, Paolo [1 ]
Pfeifer, Holger [2 ]
机构：
[1] Univ Pisa, Dept Informat Engn, I-56100 Pisa, Italy
[2] Univ Ulm, Inst Artificial Intelligence, D-89069 Ulm, Germany
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS | 2008年 / 5219卷
关键词：
WSN algorithms; simulation; PVS;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
We describe an approach of using the evaluation mechanism of the specification and verification system PVS to support formal design exploration of WSN algorithms at the early stages of their development. The specification of the algorithm is expressed with an extensible set of programming primitives, and properties of interest are evaluated with ad hoc network simulators automatically generated from the formal specification. In particular, we build on the PVSio package as the core base for the network simulator. According to requirements, properties of interest can I)e simulated at different levels of abstraction. We illustrate our approach by, specifying and simulating a standard routing algorithm for wireless sensor networks.
引用
收藏
页码：346 / +
页数：3
相关论文
共 50 条
  • [1] Prototyping wireless sensor network applications with BTnodes
    Beutel, J
    Kasten, O
    Mattern, F
    Römer, K
    Siegemund, F
    Thiele, L
    [J]. WIRELESS SENSOR NETWORKS, PROCEEDINGS, 2004, 2920 : 323 - 338
  • [2] Prototyping and Evaluating a Wireless Sensor Network for easy Installation
    Otsuka, Takanobu
    Tsuboi, Tatsunosuke
    Ito, Takayuki
    [J]. 2013 IEEE/ACIS 12TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2013, : 129 - 134
  • [3] A methodology for wireless sensor network prototyping with sophisticated debugging support
    Hinkelmann, Heiko
    Reinhardt, Andreas
    Glesner, Manfred
    [J]. RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, : 82 - 88
  • [4] Scalar multiplication algorithms for wireless sensor network
    Hasan, Syed Hamid
    Alquraishee, Anser Ghazzaal Ali
    [J]. International Journal of Smart Home, 2012, 6 (04): : 81 - 92
  • [5] Routing algorithms and simulation of wireless sensor network
    Department of Information and Communication Engineering, College of Electronics and Information Engineering, Tongji University, Shanghai 200092, China
    [J]. Jisuanji Gongcheng, 2006, 22 (124-126):
  • [6] Wireless Surface Electromyography Sensor Network Based on Rapid Prototyping Equipments
    Guo, Yina
    Li, Yongtang
    [J]. SENSOR LETTERS, 2011, 9 (05) : 1898 - 1904
  • [7] Algorithms for Minimizing the Receiver interference in a Wireless Sensor Network
    Shetty, Pushparaj D.
    Lakshmi, Prasanna M.
    [J]. PROCEEDINGS OF 2016 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING, VLSI, ELECTRICAL CIRCUITS AND ROBOTICS (DISCOVER), 2016, : 113 - 118
  • [8] A Comparative Study of Encryption Algorithms in Wireless Sensor Network
    Xi, Zonghu
    Li, Li
    Shi, Guozhen
    Wang, Shuaibing
    [J]. WIRELESS COMMUNICATIONS, NETWORKING AND APPLICATIONS, WCNA 2014, 2016, 348 : 1087 - 1097
  • [9] ENHANCED TREE ROUTING ALGORITHMS IN WIRELESS SENSOR NETWORK
    Sengaliappan, M.
    Marimuthu, A.
    [J]. 2014 INTERNATIONAL CONFERENCE ON GREEN COMPUTING COMMUNICATION AND ELECTRICAL ENGINEERING (ICGCCEE), 2014,
  • [10] Improvement of node localization algorithms on wireless sensor network
    Gao, P.
    Liu, H.
    Wei, Y.
    Li, C. L.
    [J]. SIXTH INTERNATIONAL CONFERENCE ON ELECTRONICS AND INFORMATION ENGINEERING, 2015, 9794
12345