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 Dive into the research topics of 'CaVi -- Simulation and Model Checking for Wireless Sensor Networks'. Together they form a unique fingerprint.

  • 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