Publication | Closed Access
Leveraging agent properties to assure survivability of distributed multi-agent systems
19
Citations
3
References
2003
Year
Unknown Venue
EngineeringSurvivable SystemSoftware EngineeringAutonomous Agent SystemSoftware AgentFormal VerificationAgent-based SystemNormative Multi-agent SystemSystems EngineeringDistributed Multi-agent SystemsAgent PropertiesSystem SoftwareAgent Programming LanguageDarpa Ultralog ProgramMechanism DesignAgent Development ToolDistributed SystemsComputer ScienceMulti-agent Mechanism DesignMulti-agent SystemsFormal MethodsAgent ArchitecturesAgent-oriented Software Engineering
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.
| Year | Citations | |
|---|---|---|
1999 | 116 | |
2002 | 30 | |
1998 | 19 |
Page 1
Page 1