Skip to main content

Step-wise development of resilient ambient campus scenarios

Iliasov, Alexei and Arief, Budi and Romanovsky, Alexander (2009) Step-wise development of resilient ambient campus scenarios. In: Butler, Michael and Jones, Cliff and Romanovsky, Alexander and Troubitsyna, Elena, eds. Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science . Springer, pp. 297-323. ISBN 03029743. (doi:10.1007/978-3-642-00867-2_14) (KAR id:58690)

PDF Author's Accepted Manuscript
Language: English
Download (351kB) Preview
[thumbnail of CS5-MeMoT.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


This paper puts forward a new approach to developing resilient ambient applications. In its core is a novel rigorous development method supported by a formal theory that enables us to produce a well-structured step-wise design and to ensure disciplined integration of error recovery measures into the resulting implementation. The development method, called AgentB, uses the idea of modelling database to support a coherent development of and reasoning about several model views, including the variable, event, role, agent and protocol views. This helps system developers in separating various modelling concerns and makes it easier for future tool developers to design a toolset supporting this development. Fault tolerance is systematically introduced during the development of various model views. The approach is demonstrated through the development of several application scenarios within an ambient campus case study conducted at Newcastle University (UK) as part of the FP6 RODIN project. © 2009 Springer Berlin Heidelberg.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-642-00867-2_14
Additional information: Unmapped bibliographic data: LA - English [Field not mapped to EPrints] J2 - Lect. Notes Comput. Sci. [Field not mapped to EPrints] AD - School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, United Kingdom [Field not mapped to EPrints] DB - Scopus [Field not mapped to EPrints] M3 - Conference Paper [Field not mapped to EPrints]
Uncontrolled keywords: Application scenarios, Development methods, Error recoveries, Formal theories, New approaches, System developers, Toolset, Quality assurance, Fault tolerance
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Budi Arief
Date Deposited: 17 Nov 2016 10:44 UTC
Last Modified: 16 Feb 2021 13:39 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year