Leveraging agent properties to assure survivability of distributed multi-agent systems

ABSTRACT

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.

REFERENCES

• 1: Bishop, P., Bloomfield, R. Guerra. "A Methodology for Safety Case Development", in Safety-critical Systems Symposium, Birmingham, UK, February 1998
• 2: Cougaar Open Source Site. http://www.cougaar.org
• 3: Dietrich, S., Ryan, P. "The Survivability of Survivability". Fourth Information Survivability Workshop, (ISW-2001/2002).
• 4: Fisher, D. "Survivability and Simulation", Third Information Survivability Workshop (ISW-2000).
• 5: Michael N. Huhns , Munindar P. Singh, Readings in agents, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1997
• 6: Mieczyslaw M. Kokar , Kenneth Baclawski , Yonet A. Eracar, Control Theory-Based Foundations of Self-Controlling Software, IEEE Intelligent Systems, v.14 n.3, p.37-45, May 1999 [doi>10.1109/5254.769883]
• 7: Manola, F. Providing System Properties (Ilities) and Quality of Service in Component-based Systems. Object Services and Consulting, 1999
• 8: Stafford, J, McGregor, J. "Issues in Predicting the Reliability of Composed Components". Submitted to 5th ICSE Workshop on Component-based Software Engineering.
• 9: Victoria Stavridou , R. A. Riemenschneider, Provably dependable software architectures, Proceedings of the third international workshop on Software architecture, p.133-136, November 01-05, 1998, Orlando, Florida, United States [doi>10.1145/288408.288442]
• 10: UltraLog Program Site. http://www.ultralog.net

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Fault tolerance

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Reliability, availability, and serviceability; Performance attributes; Measurement techniques

General Terms:
Measurement, Reliability, Security, Verification

Keywords:
agent properties, assurance, distributed multi-agent systems, survivability