A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Analyzing software architectures with Argus-I
Proceedings of the 22nd international conference on Software engineering
On-Line Monitoring: A Tutorial
Computer
A hierarchical filtering-based monitoring architecture for large-scale distributed systems
A hierarchical filtering-based monitoring architecture for large-scale distributed systems
Large-scale collection of application usage data and user feedback to inform interactive software development
The design of a configurable, extensible and dynamic notification service
Proceedings of the 2nd international workshop on Distributed event-based systems
A flexible and dynamic approach for reconfigurable software monitoring
A flexible and dynamic approach for reconfigurable software monitoring
Hi-index | 0.00 |
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.