Using probabilistic model checking and simulation for designing self-organizing systems

Authors:
Matteo Casadei;Mirko Viroli
Affiliations:
Università di Bologna, Cesena (FC), Italy;Università di Bologna, Cesena (FC), Italy
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 2
Cited 1

Swarm intelligence: from natural to artificial systems

Swarm intelligence: from natural to artificial systems
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

Electronic Notes in Theoretical Computer Science (ENTCS)

Analysing robot swarm behaviour via probabilistic model checking

Robotics and Autonomous Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Self-organization is a feasible metaphor for dealing with the growing complexity of today's software systems. Self-organization makes desired global system's behavior appear as an emergent property from component local interactions. The corresponding dynamics is usually non-linear so that the adoption of stochastic simulation and probabilistic model checking becomes essential in the early design stage. In this paper, as a reference example, a possible application of such techniques is shown on a problem called collective sort, whose emergent properties were analyzed by relying on the PRISM probabilistic model checker.