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, Emeritus Professor Alexander RomanovskyORCiD, Dr Leonardus Arief, Dr Elena Troubitsyna

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that change their behaviour depending on the surrounding environment, as well as the possibility of their disconnection and re-connection. It is therefore necessary to construct the critical parts of fault tolerant ambient systems in a rigorous manner. This can be achieved by deploying formal approach at the design stage, coupled with sound framework and support at the implementation stage. In this paper, we briefly describe a middleware that we developed to provide system structuring through the concepts of roles, agents, locations and scopes, making it easier for the developers to achieve fault tolerance. We then outline our experience in developing an ambient lecture system using the combination of formal approach and our middleware. © 2007 IEEE.


Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007

Year of Conference: 2007

Pages: 141-145

Publisher: Institute of Electrical and Electronics Engineers

URL: http://dx.doi.org/10.1109/ISORC.2007.46

DOI: 10.1109/ISORC.2007.46

Library holdings: Search Newcastle University Library for this item

ISBN: 0769527655


Share