| Title |
On the Role of Simulations in Engineering Self-organising MAS: The
Case of an Intrusion Detection System in TuCSoN |
| Authors |
Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Type |
In Article Collection/Post-proceedings |
| Booktitle |
Engineering Self-Organising Systems |
| Publisher |
Springer Berlin / Heidelberg |
| Pages |
153 -- 166 |
| Volume |
3910 |
| Editor |
Brueckner, Sven A. and Di Marzo Serugendo, Giovanna and Hales, David
and Zambonelli, Franco |
| ISBN |
3-540-33342-8 |
| ISSN |
0302-9743 |
| DOI |
10.1007/11734697_12 |
| Year |
2006 |
| Note |
Third International Workshop, ESOA 2005, Utrecht, The Netherlands,
July 25, 2005, Revised Selected Papers |
| Abstract |
The intrinsic complexity of self-organising MASs (multi-agent systems)
suggests the use of formal methods at early stages of the design process in order to predict global system evolutions. 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 intrusion detection (ID) 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. |
| |
|
