2003 · 19 citations · 3 references
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.
3
Issues in Predicting the Reliability of Composed Components
Judith A. Stafford, John D. McGregor · 2002 · 30 citations
Provably dependable software architectures
V. Stavridou, R. A. Riemenschneider · 1998 · 19 citations