Toggle Main Menu Toggle Search

Open Access padlockePrints

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD, Dr Leonardus Arief, Dr Elena Troubitsyna

Downloads


Abstract

Building fault tolerant ambient systems is an even more challenging task than building fault tolerant distributed systems, as their components are loosely synchronised, can move, become disconnected, and their behaviour may depend on the changing context. In this paper, we demonstrate how to build such a system using an ambient lecture scenario. The approach we are putting forward relies on using a combination of formal methods applied for rigorous development of the critical parts of the system and a set of design abstractions proposed specifically for the ambient applications and supported by a special middleware. Our middleware provides system structuring through the concepts of roles, agents, locations and scopes, making it easier for the developers to achieve fault tolerance. In addition to these, the middleware facilitates recovery by detecting a set of predefined abnormal situations (such as disconnections). The paper outlines our experience in developing the lecture scenario using this approach, focusing specifically on designing and implementing the fault tolerance mechanisms.


Publication metadata

Author(s): Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Print publication date: 01/12/2006

Source Publication Date: December 2006

Report Number: 993

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne


Share