CaVi - Simulation and model checking for wireless sensor networks

A. Boulis; A. Fehnker; M. Fruth; A. McIver

doi:10.1109/QEST.2008.32

CaVi - Simulation and model checking for wireless sensor networks

A. Boulis^*, A. Fehnker, M. Fruth, A. McIver

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

6 Citations (Scopus)

25 Downloads (Pure)

Abstract

CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavior of a wireless sensor network in great detail. Due to the probabilistic behavior of these systems, however, the simulation covers only a small fraction of all possible behaviors. Formal model checking techniques, based on Markov Decision Processes, use less detailed and more abstract models and compute exact probabilities and expected values for the entire behavior, where simulation can only give averages. CaVi allows for creating a single model for simulation, Monte-Carlo simulation, and model checking.

Original language	English
Title of host publication	Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
Editors	Rubino G.
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	37-38
Number of pages	2
ISBN (Print)	9780769533605
DOIs	https://doi.org/10.1109/QEST.2008.32
Publication status	Published - 2008
Event	5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 - St. Malo, France Duration: 14 Sept 2008 → 17 Sept 2008

Other

Other	5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
Country/Territory	France
City	St. Malo
Period	14/09/08 → 17/09/08

Bibliographical note

Copyright 2008 IEEE. Reprinted from Proceedings, Quantitative Evaluation of Systems : QEST 2008 : 14-17 September 2008, St. Malo, France. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Access to Document

10.1109/QEST.2008.32

Publisher version (open access).pdfFinal published version, 266 KB

Cite this

@inproceedings{67b6e0b19cf342b0a2f298fbe7de9224,

title = "CaVi - Simulation and model checking for wireless sensor networks",

abstract = "CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavior of a wireless sensor network in great detail. Due to the probabilistic behavior of these systems, however, the simulation covers only a small fraction of all possible behaviors. Formal model checking techniques, based on Markov Decision Processes, use less detailed and more abstract models and compute exact probabilities and expected values for the entire behavior, where simulation can only give averages. CaVi allows for creating a single model for simulation, Monte-Carlo simulation, and model checking.",

author = "A. Boulis and A. Fehnker and M. Fruth and A. McIver",

note = "Copyright 2008 IEEE. Reprinted from Proceedings, Quantitative Evaluation of Systems : QEST 2008 : 14-17 September 2008, St. Malo, France. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University{\^a}€{\texttrademark}s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.; 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 ; Conference date: 14-09-2008 Through 17-09-2008",

year = "2008",

doi = "10.1109/QEST.2008.32",

language = "English",

isbn = "9780769533605",

pages = "37--38",

editor = "Rubino G.",

booktitle = "Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Boulis, A, Fehnker, A, Fruth, M & McIver, A 2008, CaVi - Simulation and model checking for wireless sensor networks. in R G. (ed.), Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008., 4634949, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 37-38, 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, St. Malo, France, 14/09/08. https://doi.org/10.1109/QEST.2008.32

CaVi - Simulation and model checking for wireless sensor networks. / Boulis, A.; Fehnker, A.; Fruth, M. et al.
Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008. ed. / Rubino G. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2008. p. 37-38 4634949.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - CaVi - Simulation and model checking for wireless sensor networks

AU - Boulis, A.

AU - Fehnker, A.

AU - Fruth, M.

AU - McIver, A.

N1 - Copyright 2008 IEEE. Reprinted from Proceedings, Quantitative Evaluation of Systems : QEST 2008 : 14-17 September 2008, St. Malo, France. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

PY - 2008

Y1 - 2008

N2 - CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavior of a wireless sensor network in great detail. Due to the probabilistic behavior of these systems, however, the simulation covers only a small fraction of all possible behaviors. Formal model checking techniques, based on Markov Decision Processes, use less detailed and more abstract models and compute exact probabilities and expected values for the entire behavior, where simulation can only give averages. CaVi allows for creating a single model for simulation, Monte-Carlo simulation, and model checking.

AB - CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavior of a wireless sensor network in great detail. Due to the probabilistic behavior of these systems, however, the simulation covers only a small fraction of all possible behaviors. Formal model checking techniques, based on Markov Decision Processes, use less detailed and more abstract models and compute exact probabilities and expected values for the entire behavior, where simulation can only give averages. CaVi allows for creating a single model for simulation, Monte-Carlo simulation, and model checking.

UR - https://www.scopus.com/pages/publications/56649092999

U2 - 10.1109/QEST.2008.32

DO - 10.1109/QEST.2008.32

M3 - Conference proceeding contribution

AN - SCOPUS:56649092999

SN - 9780769533605

SP - 37

EP - 38

BT - Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

A2 - G., Rubino

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

Y2 - 14 September 2008 through 17 September 2008

ER -

CaVi - Simulation and model checking for wireless sensor networks

Abstract

Other

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this