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.
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.
References
Air Traffic Control Simulator – Source Forge Project, http://sourceforge.net/projects/atcj/
Al-Shaer, E.: A Hierarchical Filtering-based Monitoring Architecture for Large-scale Distributed Systems, Ph.D. Dissertation, Computer Science Department, Old Dominion University (December 1998)
Bates, P.: Debugging heterogeneous distributed systems using event-based models of behavior. ACM Trans Computer System 13(1), 1–31 (1995)
Dias, M., Richardson, D.: Issues on Software Monitoring, ICS Technical Report, Department of Information and Computer Science, University of California, Irvine, CA (July 2002)
Dias, M., Richardson, D.: Issues in Analyzing Dynamic System Evolution. In: Proceedings of the IASTED International Conference on Software Engineering and Applications, Marina del Rey, USA, November 03-05 (2003)
Dias, M.: A Flexible and Dynamic Approach for Reconfigurable Software Monitoring, Ph.D. Dissertation, Department of Informatics, School of Information and Computer Science, University of California, Irvine (December 2004)
Hilbert, D.: Large-Scale Collection of Application Usage Data and User Feedback to Inform Interactive Software Development, Ph.D. Dissertation, Information and Computer Science Department, University of California at Irvine (1999)
Leveson, N.L., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Trans. Software Engineering 20(9), 684–707 (1994)
Mansouri-Samani, M.: Monitoring of Distributed Systems, Ph.D. Dissertation, Department of Computing, University of London (December 1995)
Medvidovic, N., Rosenblum, D., Taylor, R.: A Language and Environment for Architecture-Based Software Development and Evolution. In: Proceedings of 21 st International Conference on Software Engineering, Los Angeles, CA (May 1999)
Schroeder, B.: On-Line Monitoring: A Tutorial. IEEE Computer 28(6), 72–77 (1995)
Silva Filho, R.S., de Souza, C.R.B., Redmiles, D.F.: The Design of a Configurable, Extensible and Dynamic Notification Service. In: Proc. Second International Workshop on Distributed Event-Based Systems (DEBS 2003), In conjunction with The ACM SIGMOD/PODS Conference, San Diego, CA, USA, June 8, pp. 1–8 (2003)
Snodgrass, R.: A Relational Approach to Monitoring Complex Systems. ACM Trans. on Computer Systems 6(2), 156–196 (1988)
Taylor, R., Medvidovic, N., Anderson, K., Whitehead, E., Robbins, J., Nies, K., Oreizy, P., Dubrow, D.: A Component- and Message-Based Architectural Style for GUI Software. IEEE Transactions on Software Engineering 22(6), 390–406 (1996)
Vieira, M., Dias, M., Richardson, D.: Analyzing Software Architecture with Argus-I. In: Proc. Int’l Conf. on Software Engineering, June 2000, pp. 758–761 (2000)
Vigna, G., Eckmann, S.T., Kemmerer, R.A.: The STAT Tool Suite. In: Proceedings of DISCEX 2000, Hilton Head, South Carolina. IEEE Press, Los Alamitos (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dias, M.S., Richardson, D.J. (2005). Adaptable Analysis of Dependable System Architectures Through Monitoring. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems III. Lecture Notes in Computer Science, vol 3549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11556169_6
Download citation
DOI: https://doi.org/10.1007/11556169_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28968-5
Online ISBN: 978-3-540-31648-0
eBook Packages: Computer ScienceComputer Science (R0)