DocumentCode
627619
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
fYear
2013
fDate
27-31 May 2013
Firstpage
1405
Lastpage
1408
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Integrated Network Management (IM 2013), 2013 IFIP/IEEE International Symposium on
Conference_Location
Ghent
Print_ISBN
978-1-4673-5229-1
Type
conf
Filename
6573200
Link To Document