The nature of distributed multi-agent systems makes assuring their survivability under stress particularly challenging. However, the nature of distributed agent-based systems also brings the potential to address these particular challenges, and, indeed, to assure survivability to a degree beyond that possible in non-agent-based architectures. This extended abstract synopsizes a paper detailing approaches that are rooted in the essential properties of agent software architectures to assure the survivability of distributed agent-based systems. Specifically, the paper describes efforts under the DARPA UltraLog program to formulate a survivability argument based on properties of agent architectures. This extended abstract truncates many details from the original; interested readers are encouraged to contact the authors for the complete paper.
[1]
Mieczyslaw M. Kokar,et al.
Control theory-based foundations of self-controlling software
,
1999,
IEEE Intell. Syst..
[2]
Victoria Stavridou,et al.
Provably dependable software architectures
,
1998,
ISAW '98.
[3]
Peter G. Bishop,et al.
A Methodology for Safety Case Development
,
2000,
SSS.
[4]
David A. Fisher.
Survivability and Simulation
,
2000
.
[5]
Munindar P. Singh,et al.
Readings in agents
,
1997
.
[6]
John D. McGregor,et al.
Issues in Predicting the Reliability of Composed Components
,
2002
.
[7]
Sven Dietrich,et al.
The survivability of survivability
,
2001
.