Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems


Matteo Casadei, Mirko Viroli

24th Annual ACM Symposium on Applied Computing (SAC 2009), pages 2103-2104
March, 8-12 2009
ACM, Honolulu, Hawai'i, USA
Sung Y. Shin, Sascha Ossowski, Ronaldo Menezes, Mirko} Viroli (eds.)

The attention to self-organization as a feasible metaphor for dealing with the growing complexity of today's software system is constantly growing. In particular, by adopting self-organization, systems can adapt to highly dynamic environments by local interaction among system's components. As a consequence, the global behavior of the system can be regarded as an emergent property since it appears by a process emerging from component local interactions. The corresponding system dynamics is usually non-linear and complex so that the adoption of simulation and verification techniques in the early design stage becomes essential to carry out an effective design. Accordingly, in this paper we discuss a hybrid approach relying on stochastic simulation and probabilistic model checking and show a possible application on a problem called collective sort taken as a case study. To this end, the PRISM probabilistic model checker is adopted as a concrete tool for analyzing emergent properties of collective sort. The obtained results are presented and discussed. 

 @inproceedings{modelchecking-sac09,
Address = {Honolulu, Hawai'i, USA},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12~} # mar,
Pages = {2103--2104},
Publisher = {ACM},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Volume = {III},
Year = 2009}

 

Publication

— authors

Matteo Casadei, Mirko Viroli

— editors

Sung Y. Shin, Sascha Ossowski, Ronaldo Menezes, Mirko} Viroli

— status

published

— sort

paper in proceedings

Venue

— volume

24th Annual ACM Symposium on Applied Computing (SAC 2009)

— volume

III

— pages

2103-2104

— publication date

March, 8-12 2009

Identifiers

— print ISBN

978-1-60558-166-8 

BibTeX

— BibTeX ID
modelchecking-sac09
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY