Skip to main content

On rigorous design and implementation of fault tolerant ambient systems

Iliasov, Alexei and Romanovsky, Alexander and Arief, Budi and Laibinis, Linas and Troubitsyna, Elena (2007) On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07). IEEE, pp. 141-145. ISBN 978-0-7695-2765-9. (doi:10.1109/ISORC.2007.46)

PDF - Author's Accepted Manuscript
Download (164kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1109/ISORC.2007.46

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.

Item Type: Book section
DOI/Identification number: 10.1109/ISORC.2007.46
Additional information: Unmapped bibliographic data: C7 - 4208837 [EPrints field already has value set] LA - English [Field not mapped to EPrints] J2 - Proc. IEEE Int. Symp. Object. Component-Oriented Real-Time Distrib. Comput. [Field not mapped to EPrints] AD - School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, United Kingdom [Field not mapped to EPrints] AD - Department of Information Technologies, Aabo Akademi University, 20520 Turku, Finland [Field not mapped to EPrints] DB - Scopus [Field not mapped to EPrints] M3 - Conference Paper [Field not mapped to EPrints] A4 - IEEE Computer Soc. Technical Committee on Distributed Processing [Field not mapped to EPrints] C3 - Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007 [Field not mapped to EPrints]
Uncontrolled keywords: Fault tolerance, Middleware, Software engineering, Fault tolerant ambient systems, Mobile elements, Fault tolerant computer systems
Subjects: Q Science
Divisions: Faculties > Sciences > School of Computing
Depositing User: Budi Arief
Date Deposited: 17 Nov 2016 11:12 UTC
Last Modified: 17 Sep 2019 14:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58695 (The current URI for this page, for reference purposes)
Arief, Budi: https://orcid.org/0000-0002-1830-1587
  • Depositors only (login required):

Downloads

Downloads per month over past year