Synthesis of observers for autonomic evolutionary systems from requirements models

Monitoring the behaviour of autonomous evolutionary systems is a necessity to control their behaviour at runtime and react to undesired changes or developments. We propose an approach that derives observers from system requirements annotated with OCL-constraints in a model-driven way that can easily be integrated into iterative incremental design processes.