Skip to main content

Research Repository

Advanced Search

Adaptable Analysis of Dependable System Architectures Through Monitoring

Dias, Marcio; Richardson, Debra J.

Authors

Marcio Dias

Debra J. Richardson



Contributors

Rogério de Lemos
Editor

Cristina Gacek
Editor

Alexander Romanovsky
Editor

Abstract

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.

Citation

Dias, M., & Richardson, D. J. (2005). Adaptable Analysis of Dependable System Architectures Through Monitoring. In R. D. Lemos, C. Gacek, & A. Romanovsky (Eds.), Architecting dependable systems III (122-147). Springer Verlag. https://doi.org/10.1007/11556169_6

Publication Date 2005
Deposit Date Oct 28, 2008
Publisher Springer Verlag
Pages 122-147
Series Title Lecture notes in computer science
Book Title Architecting dependable systems III.
ISBN 9783540289685
DOI https://doi.org/10.1007/11556169_6
Additional Information Series title: Lecture Notes in Computer Science.


You might also like



Downloadable Citations