Show simple item record

dc.contributor.authorZheng, M
dc.contributor.authorSanań, D
dc.contributor.authorSun, J
dc.contributor.authorLiu, Y
dc.contributor.authorDong, JS
dc.contributor.authorGu, Y
dc.date.accessioned2017-10-24T03:57:01Z
dc.date.available2017-10-24T03:57:01Z
dc.date.issued2013
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-35873-9_30
dc.identifier.urihttp://hdl.handle.net/10072/172902
dc.description.abstractWireless sensor networks may be used to conduct critical tasks like fire detection or surveillance monitoring. It is thus important to guarantee the correctness of such systems by systematically analyzing their behaviors. Formal verification of wireless sensor networks is an extremely challenging task as the state space of sensor networks is huge, e.g., due to interleaving of sensors and intra-sensor interrupts. In this work, we develop a method to reduce the state space significantly so that state space exploration methods can be applied to a much smaller state space without missing a counterexample. Our method explores the nature of networked NesC programs and uses a novel two-level partial order reduction approach to reduce interleaving among sensors and intra-sensor interrupts. We define systematic rules for identifying dependence at sensor and network levels so that partial order reduction can be applied effectively. We have proved the soundness of the proposed reduction technique, and present experimental results to demonstrate the effectiveness of our approach.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom515
dc.relation.ispartofpageto535
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume7737 LNCS
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleState space reduction for sensor networks using two-level partial order reduction
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record