Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Emeritus Professor Alexander RomanovskyORCiD, Dr Leonardus Arief, Dr Elena Troubitsyna
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.
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
