CaVi -- Simulation and Model Checking for Wireless Sensor Networks

Athanassios Boulis; Ansgar Fehnker; Matthias Fruth; Annabelle McIver

doi:10.1109/QEST.2008.32

CaVi -- Simulation and Model Checking for Wireless Sensor Networks

Athanassios Boulis
, Ansgar Fehnker
, Matthias Fruth
, Annabelle McIver

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008)
Publisher	IEEE
Pages	37-38
Number of pages	2
ISBN (Print)	978-0-7695-3360-5
DOIs	https://doi.org/10.1109/QEST.2008.32
Publication status	Published - 2008
Externally published	Yes
Event	5th International Conference on the Quantitative Evaluation of Systems, QEST 2008 - Palais du Grand Large, St Malo, France Duration: 14 Sept 2008 → 17 Sept 2008 Conference number: 5 http://www.qest.org/qest2008/

Conference

Conference	5th International Conference on the Quantitative Evaluation of Systems, QEST 2008
Abbreviated title	QEST
Country/Territory	France
City	St Malo
Period	14/09/08 → 17/09/08
Internet address	http://www.qest.org/qest2008/

Access to Document

10.1109/QEST.2008.32

Cite this

@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",

address = "United States",

note = "5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, QEST ; Conference date: 14-09-2008 Through 17-09-2008",

url = "http://www.qest.org/qest2008/",

}

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, 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

TY - GEN

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

AU - Boulis, Athanassios

AU - Fehnker, Ansgar

AU - Fruth, Matthias

AU - McIver, Annabelle

N1 - Conference code: 5

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

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

Conference

Access to Document

Fingerprint

Cite this