Lancaster EPrints

Architecting dynamic reconfiguration in dependable systems

Gomes, Antonio Tadeu A. and Batista, Thais V. and Joolia, Ackbar and Coulson, Geoffrey (2007) Architecting dynamic reconfiguration in dependable systems. In: Architecting Dependable Systems IV. Lecture Notes in Computer Science . Springer Verlag, Berlin, pp. 237-261. ISBN 978-3-540-74033-9

Full text not available from this repository.

Abstract

The need for dynamic reconfiguration is a complicating factor in the design of dependable systems, as it demands from software architects both rigour and planning. Although recent research has shown that systematic and integrated "specification-to-deployment" environments are promising approaches to architecting dependable systems, few proposals have yet considered dynamic reconfiguration, and then only in specific situations. In this paper, we propose a generic approach to supporting dynamic reconfiguration in dependable systems. The proposed approach is built on our view that dynamic reconfiguration in such systems needs to be causally connected at runtime to a corresponding high-level software architecture specification. In more detail, we propose two causally-connected models: an architecture-level model and a runtime-level model. Dynamic reconfiguration can be applied either through an architecture specification at the architecture level, or through reconfiguration primitives at the runtime level. Both foreseen and unforeseen reconfigurations are supported. We discuss the issues involved in handling these two types of reconfiguration at both levels and the mapping between them. We also discuss an implementation of our approach that evaluates its main benefits.

Item Type: Contribution in Book/Report/Proceedings
Uncontrolled Keywords: dependable systems ; dynamic reconfiguration ; specification-to-deployment environments ; SOFTWARE ; MIDDLEWARE
Subjects: UNSPECIFIED
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 52547
Deposited By: ep_importer_pure
Deposited On: 08 Mar 2012 09:48
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 00:51
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/52547

Actions (login required)

View Item