M.S. Dias and D.J. Richardson (USA)
Dynamic Analysis, System Evolution.
Dynamic system evolution has become the main focus for many software researchers, given the increased importance of dependable systems in our society. Some of these systems need to be online 24/7, and their maintenance and evolution should happen during operation, based on dynamic reconfiguration techniques and mechanisms. However, the flexibility and powerfulness provided by dynamic reconfiguration of software systems impose new challenges for software verification. In this paper, we discuss some of these challenges, and present our approach to deal with them. Our approach is supported by MonArch, a flexible and dynamically reconfigurable software monitoring infrastructure. We demonstrate our approach with an example where the dynamic adaptation of the monitoring system is needed to properly analyze a dynamic reconfigurable system.
Important Links:
Go Back
