Title :
Synthesis of observers for autonomic evolutionary systems from requirements models
Author :
Steghofer, Jan-Philipp ; Eberhardinger, Benedikt ; Nafz, Florian ; Reif, Wolfgang
Author_Institution :
Inst. for Software & Syst. Eng., Univ. of Augsburg, Augsburg, Germany
Abstract :
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.
Keywords :
evolutionary computation; fault tolerant computing; formal verification; iterative methods; software engineering; OCL constraints; autonomic evolutionary systems; autonomous evolutionary systems; iterative incremental design processes; observer synthesis; requirements models; software engineering; Abstracts; Adaptation models; Frequency control; Monitoring; Observers; Runtime; Unified modeling language; Adaptive Systems; Autonomous agents; Fault Detection; Software Engineering;
Conference_Titel :
Integrated Network Management (IM 2013), 2013 IFIP/IEEE International Symposium on
Conference_Location :
Ghent
Print_ISBN :
978-1-4673-5229-1
