| 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. Maintenance and evolution of these systems are complex activities to accomplish, since these are performed during normal system operation.; Complexity and dynamic evolution of systems with high-availability and dependability requirements bring some challenges for verification. These challenges are associated with necessary runtime modifications in the dynamic analysis. Basically, these modifications may affect the set of properties being verified and also the set of analysis services being performed. In this work, we present an approach that allows runtime adaptation of dynamic analysis performed by monitoring systems. Our approach is based on: composition of analysis from basic services; architectures for monitoring systems; service-oriented components, and; support to multiple specification languages. Our approach allows adaptation of dynamic analysis in order to properly handle the challenges faced when verifying highly available and dependable systems. |
