We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

Adaptable analysis of dependable system architectures through monitoring.

Dias, M. and Richardson, D. J. (2005) 'Adaptable analysis of dependable system architectures through monitoring.', in Architecting dependable systems III. Berlin: Springer, pp. 122-147. Lecture notes in computer science. (3549).


Every day, our society becomes more dependent on complex software systems with high availability requirements, such as those present in telecommunications, air traffic control, power plants and distribution lines, among others. In order to facilitate the task of maintaining and evolving such systems, dynamic software architecture infrastructures have recently been in the research agenda. However, complexity and dynamic evolution of dependable systems bring some challenges for verification. Some of these challenges are associated to modifications in the set of properties being verified and also in the types of analysis being performed during system operation. In this work, we present a multiple specification and architectural-based approach for software monitoring that allows the adaptation of analysis tasks in order to properly handle the challenges mentioned above.

Item Type:Book chapter
Full text:Full text not available from this repository.
Publisher Web site:
Record Created:28 Oct 2008
Last Modified:09 Oct 2014 12:41

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Look up in GoogleScholar | Find in a UK Library