CaVi -- Simulation and Model Checking for Wireless Sensor Networks

Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

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 languageEnglish
Title of host publicationFifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008)
PublisherIEEE Computer Society
Pages37-38
Number of pages2
ISBN (Print)978-0-7695-3360-5
DOIs
Publication statusPublished - 2008
Externally publishedYes
Event5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 - Palais du Grand Large, St Malo, France
Duration: 14 Sep 200817 Sep 2008
Conference number: 5
http://www.qest.org/qest2008/

Conference

Conference5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
Abbreviated titleQEST
CountryFrance
CitySt Malo
Period14/09/0817/09/08
Internet address

Fingerprint

Model checking
Wireless sensor networks
Monte Carlo simulation
Formal verification

Cite this

Boulis, A., Fehnker, A., Fruth, M., & McIver, A. (2008). CaVi -- Simulation and Model Checking for Wireless Sensor Networks. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008) (pp. 37-38). IEEE Computer Society. https://doi.org/10.1109/QEST.2008.32
Boulis, Athanassios ; Fehnker, Ansgar ; Fruth, Matthias ; McIver, Annabelle. / CaVi -- Simulation and Model Checking for Wireless Sensor Networks. Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). IEEE Computer Society, 2008. pp. 37-38
@inproceedings{55a6759a27784a6fa98c69f264c8fba3,
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 = "Athanassios Boulis and Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
year = "2008",
doi = "10.1109/QEST.2008.32",
language = "English",
isbn = "978-0-7695-3360-5",
pages = "37--38",
booktitle = "Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008)",
publisher = "IEEE Computer Society",
address = "United States",

}

Boulis, A, Fehnker, A, Fruth, M & McIver, A 2008, CaVi -- Simulation and Model Checking for Wireless Sensor Networks. in Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). IEEE Computer Society, 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, Athanassios; Fehnker, Ansgar; Fruth, Matthias; McIver, Annabelle.

Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). IEEE Computer Society, 2008. p. 37-38.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - CaVi -- Simulation and Model Checking for Wireless Sensor Networks

AU - Boulis, Athanassios

AU - Fehnker, Ansgar

AU - Fruth, Matthias

AU - McIver, Annabelle

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.

U2 - 10.1109/QEST.2008.32

DO - 10.1109/QEST.2008.32

M3 - Conference contribution

SN - 978-0-7695-3360-5

SP - 37

EP - 38

BT - Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008)

PB - IEEE Computer Society

ER -

Boulis A, Fehnker A, Fruth M, McIver A. CaVi -- Simulation and Model Checking for Wireless Sensor Networks. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). IEEE Computer Society. 2008. p. 37-38 https://doi.org/10.1109/QEST.2008.32