Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Rodin: Rigorous Open Development Environment for Complex Systems. IST FP6 STREP project (last accessed August 6, 2008), http://rodin.cs.ncl.ac.uk/
Arief, B., Iliasov, A., Romanovsky, A.: On developing open mobile fault tolerant agent systems. In: Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C., Romanovsky, A. (eds.) SELMAS 2007. LNCS, vol. 4408, pp. 21–40. Springer, Heidelberg (2007)
Iliasov, A.: Implementation of Cama Middleware (last accessed August 6, 2008), http://sourceforge.net/projects/cama
Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.: On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. Technical report, CS-TR-993, School of Computing Science, Newcastle University (December 2006)
Metayer, C., Abrial, J.R., Voisin, L.: Rodin Deliverable 3.2: Event-B Language. Technical report, Project IST-511599, School of Computing Science, University of Newcastle (2005)
Iliasov, A., Khomenko, V., Koutny, M., Niaouris, A., Romanovsky, A.: Mobile B Systems. In: Proceedings of Workshop on Methods, Models and Tools for Fault Tolerance at IFM 2007, CS-TR 1032, Newcastle University (2007)
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
Abrial, J.R., Schuman, S.A., Meyer, B.: A specification language. In: McNaughten, R., McKeag, R. (eds.) On the Construction of Programs. Cambridge University Press, Cambridge (1980)
Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1(2), 221–232 (1975)
Plasil, F., Holub, V.: Exceptions in Component Interaction Protocols - Necessity. In: Architecting Systems with Trustworthy Components, pp. 227–244 (2004)
Iliasov, A.: Refinement patterns for rapid development of dependable systems. In: Proceedings of Engineering Fault Tolerant Systems Workshop et ESEC/FSE. ACM Digital Library, Croatia (2007)
Iliasov, A., Romanovsky, A.: Refinement Patterns for Fault Tolerant Systems. In: The Seventh European Dependable Computing Conference (EDCC-7) (Technical paper). IEEE CS, Los Alamitos (2008)
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System Of Patterns. John Wiley & Sons Ltd., West Sussex (1996)
Iliasov, A., Romanovsky, A.: Structured coordination spaces for fault tolerant mobile agents. In: Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A.R. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol. 4119, pp. 181–199. Springer, Heidelberg (2006)
Arief, B., Coleman, J., Hall, A., Hilton, A., Iliasov, A., Johnson, I., Jones, C., Laibinis, L., Leppanen, S., Oliver, I., Romanovsky, A., Snook, C., Troubitsyna, E., Ziegler, J.: Rodin Deliverable D4: Traceable Requirements Document for Case Studies. Technical report, Project IST-511599, School of Computing Science, University of Newcastle (2005)
Troubitsyna, E. (ed.): Rodin Deliverable D8: Initial Report on Case Study Development. Project IST-511599, School of Computing Science, University of Newcastle (2005)
Troubitsyna, E. (ed.): Rodin Deliverable D27: Case Study Demonstrators. Project IST-511599, School of Computing Science, University of Newcastle (2007)
Smartdust: Wikipedia definition (last accessed August 6, 2008), http://en.wikipedia.org/wiki/Smartdust
Iliasov, A., Koutny, M.: A Method and Tool for Design of Multi-Agent Systems. In: Pahl, C. (ed.) Proceedings of Software Engineering (SE 2008). ACTA Press (2008)
Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)
Troubitsyna, E. (ed.): Rodin Deliverable D26: Final Report on Case Study Development. Project IST-511599, School of Computing Science, University of Newcastle (2007)
CrossbowTechnology: MPR/MIB User’s Manual (last accessed August 6, 2008), http://www.xbow.com/Support/Support_pdf_files/MPR-MIB_Series_Users_Manual.pdf
Deploy: Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity. IST FP7 IP project (last accessed August 6, 2008), http://www.deploy-project.eu/
TrAmS: Trustworthy Ambient Systems Platform Grant (last accessed August 6, 2008), http://www.cs.ncl.ac.uk/research/current%20projects?pid=223/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Iliasov, A., Arief, B., Romanovsky, A. (2009). Step-Wise Development of Resilient Ambient Campus Scenarios. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds) Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science, vol 5454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00867-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-00867-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00866-5
Online ISBN: 978-3-642-00867-2
eBook Packages: Computer ScienceComputer Science (R0)