| Title |
On the Role of Simulations in Engineering Self-Organizing MAS:
the Case of an Intrusion Detection System in TuCSoN |
| Authors |
Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Type |
In Workshop Proceedings |
| Booktitle |
3rd International Workshop on Engineering Self-Organising Applications (ESOA 2005) |
| Pages |
161--175 |
| Address |
AAMAS 2005, Utrecht, The Netherlands |
| Editor |
Sven Brueckner, Giovanna Di Marzo Serugendo, David Hales, Franco Zambonelli |
| Year |
2005 |
| Abstract |
The intrinsic complexity of self-organizing MASs (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 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. |
| |
|
