| Title |
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS |
| Authors |
Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Type |
In Conference Proceedings |
| Booktitle |
AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: simulazione
e analisi formale di sistemi complessi'' (WOA 2005) |
| Pages |
85--90 |
| Address |
Camerino, MC, Italy |
| Editor |
Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini |
| Year |
2005 |
| Abstract |
The intrinsic complexity of self-organizing multi-agent systems calls
for the use of formal methods to predict global system evolutions
at early stages of the design process. In particular, we evaluate
the use of simulations of high-level
system models to analyse properties of a design, which can anticipate
the detection of wrong design choices and the tuning of system parameters,
so as to rapidly converge to given overall requirements and performance
factors. We take abnormal behavior detection as a case, and devise
an architecture inspired by principles from human immune systems.
This is based on the TuCSoN infrastructure, which provides agents
with an environment of artifacts — most notably coordination artifacts
and agent coordination contexts. We then use stochastic pi-calculus
for specifying and running quantitative, large-scale simulations, which allow us to verify the basic applicability of our ID and obtain
a preliminary set of its main working parameters. |
| |
|
