A dynamic shadow approach for mobile agents to survive crash failures

Pears, Simon; Xu, Jie; Boldyreff, Cornelia

doi:10.1109/isorc.2003.1199243

Cited by 10 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the approach proposed by Pears et al (2003a), the server that generates the agent has to track is during the whole execution process, which results in high communication costs. In Pears et al (2003b), a replica is generated at each server the agent visits and responds by generating a new agent in case of a failure; this approach has the same problems as in Johansen et al (1999). In Agbaria et al (2003), periodic checkpointing prevents applications from losing all computation data in case of a failure.…”

Section: Related Workmentioning

confidence: 99%

A novel fault-tolerant execution model by using of mobile agents

Shen

Shan³

2009

Journal of Network and Computer Applications

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

A novel fault-tolerant execution model by using of mobile agents

Shen

Shan³

2009

Journal of Network and Computer Applications

View full text Add to dashboard Cite

“…This work has been influenced by many previous works on fault tolerance such as the use of monitors (9) , the use of semi-passive replicated agents (13), , the author's own work on the use of distributed logical clocks and distributed replication of state change to augment recovery by check-pointing that started fault tolerance in distributed multi agent systems [4]. However, the major thrust of this work has been to simulate stress pathways using a bio-computing model of distributed multi agent systems.…”

Section: Related Workmentioning

confidence: 99%

“…In the recent years, multiple attempts of incorporating fault recovery in distributed agent based systems and mobile agent based systems have been developed. The schemes can be classified as active agent replication based (13,14) , exception handling, agent recovery using integration of check-pointing and distributed replication of beliefs and change of state between two check-points (4) , and adaptation based high level heuristics (10) . Active replication based systems keep a hot replicated agent that substitutes in the case of the corresponding agent failure until the agent is recovered again.…”

mentioning

confidence: 99%

Incorporating fault tolerance in distributed agent based systems by simulating bio-computing model of stress pathways

Bansal

2006

Sensors, and Command, Control, Communications, and Intelligence (C3I) Technologies for Homeland Security and Homeland Defense V

View full text Add to dashboard Cite

Bio-computing model of 'Distributed Multiple Intelligent Agents Systems' (BDMIAS) models agents as genes, a cooperating group of agents as operons ─ commonly regulated groups of genes, and the complex task as a set of interacting pathways such that the pathways involve multiple cooperating operons. The agents (or groups of agents) interact with each other using message passing and pattern based bindings that may reconfigure agent's function temporarily. In this paper, a technique has been described for incorporating fault tolerance in BDMIAS. The scheme is based upon simulating BDMIAS, exploiting the modeling of biological stress pathways, integration of fault avoidance, and distributed fault recovery of the crashed agents. Stress pathways are latent pathways in biological system that gets triggered very quickly, regulate the complex biological system by temporarily regulating or inactivating the undesirable pathways, and are essential to avoid catastrophic failures. Pattern based interaction between messages and agents allow multiple agents to react concurrently in response to single condition change represented by a message broadcast. The fault avoidance exploits the integration of the intelligent processing rate control using message based loop feedback and temporary reconfiguration that alters the data flow between functional modules within an agent, and may alter. The fault recovery exploits the concept of semi passive shadow agents -one on the local machine and other on the remote machine, dynamic polling of machines, logically time stamped messages to avoid message losses, and distributed archiving of volatile part of agent state on distributed machines. Various algorithms have been described.

show abstract

“…Thus any error from which an agent is unable to recover leads to agent termination. There have been several solutions for introducing recovery based on exception handlers attached to applications, agents or services [21,17,15]. Such handlers monitor system states and, in case of an error, execute some recovery actions.…”

Section: Introductionmentioning

confidence: 99%

Formal development of cooperative exception handling for mobile agent systems

Laibinis

Troubitsynå

Iliasov

et al. 2008

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

Mobile agent systems often require sophisticated cooperation and coordination during error detection and recovery. In this paper we propose novel fault tolerance mechanisms that support co-operative exception handling in such systems. The paper demonstrates how mechanisms like these can be formally developed and analysed. We start with identifying the typical modes of failures in agents and analysing possible failure and recovery scenarios in mobile systems. Stepwise refinement is used as our formal framework for top-down development and verification. Using the framework we formally verify the essential model properties, such as interoperability, local and global state consistency and termination of error recovery. Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. We also demonstrate how the results of our formal development can be instantiated and reused in developing real-world agent software. AbstractMobile agent systems often require sophisticated cooperation and coordination during error detection and recovery. In this paper we propose novel fault tolerance mechanisms that support co-operative exception handling in such systems. The paper demonstrates how mechanisms like these can be formally developed and analysed. We start with identifying the typical modes of failures in agents and analysing possible failure and recovery scenarios in mobile systems. Stepwise refinement is used as our formal framework for top-down development and verification. Using the framework we formally verify the essential model properties, such as interoperability, local and global state consistency and termination of error recovery. Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. We also demonstrate how the results of our formal development can be instantiated and reused in developing real-world agent software. About the authorAlexei Iliasov is a Research Associate within the School of Computing Science, Newcastle University.Alexander Romanovsky is a Research Professor. He has been involved in a number of ESPRIT, FP and EPSRC/UK projects on system dependability within which a wide range of general fault tolerance mechanisms and architectures have been developed (DSoS, PDCS, DeVa, CaberNet, MAFTIA, ReSIST, DISCS, RODIN). He has been a co-investigator of two EPSRC/UK projects (DOTS and TrAmS). Now he is coordinating a major FP7 Integrated Project DEPLOY aiming to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods in 5 sectors of European industry. His main interests are in fault tolerance, rigorous design of resilient systems, software architectures, exception handing, mobile agents and service oriented architectures. Suggested keywords FAULT TOLERANCE, FORMAL METHODS Formal development of cooperative exception handling for mobile agent systems ABSTRACTMobile agent systems often require so...

show abstract

A dynamic shadow approach for mobile agents to survive crash failures

Cited by 10 publications

References 16 publications

A novel fault-tolerant execution model by using of mobile agents

A novel fault-tolerant execution model by using of mobile agents

Incorporating fault tolerance in distributed agent based systems by simulating bio-computing model of stress pathways

Formal development of cooperative exception handling for mobile agent systems

Contact Info

Product

Resources

About