Marcio Dias
Adaptable Analysis of Dependable System Architectures Through Monitoring
Dias, Marcio; Richardson, Debra J.
Authors
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 |
Public URL | https://durham-repository.worktribe.com/output/1692798 |
Additional Information | Series title: Lecture Notes in Computer Science. |
You might also like
Software Architecture-based Regression Testing
(2006)
Journal Article
Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components
(2003)
Presentation / Conference Contribution
Generating Regression Tests via Model Checking
(2004)
Presentation / Conference Contribution