An approach based on runtime models for developing dynamically adaptive systems

Our proposed approach addresses these requirements: It enables specifying dynamically adaptive systems using AADL and AO4AADL and verifying the integrity of the system at any time of its life cycle even at runtime based on a set of architectural patterns. Our approach uses the Aspect Oriented Software Development to ensure the monitoring of the system and perform the reconfiguration through a set of routines developed in our middleware.