Toggle Main Menu Toggle Search

Open Access padlockePrints

Step-wise development of resilient ambient campus scenarios

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


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


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.

Publication metadata

Author(s): Iliasov A, Arief B, Romanovsky A

Editor(s): Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Methods, Models and Tools for Fault Tolerance

Year of Conference: 2009

Pages: 297-323

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer


DOI: 10.1007/978-3-642-00867-2_14

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642008665