Self-Adaptation: Model-based Automated Construction of Transition Logics (A04)

• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems ; Software Engineering and Programming Languages
• Term: since 2017
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 210487104

A4 investigates automated construction approaches for transition logics in self-adaptive communication systems. Context feature models used for the specification of transition options are extended by annotations for the description of (non-functional) properties of transitions such as timing constraints, transition costs and transition probabilities. These models allow for the verification of crucial requirements for transition sequences of cooperating transition logics. Based on these models, architectural concepts are developed to instantiate a MAPE cycle-based runtime environment using a framework.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1053: MAKI - Multi-Mechanism-Adaptation for the Future Internet
• Applicant Institution: Technische Universität Darmstadt
• Project Heads: Professor Dr. Christian Becker; Professor Dr. Andreas Schürr