Project Details
Projekt Print View

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
Applicant Institution Technische Universität Darmstadt
 
 

Additional Information

Textvergrößerung und Kontrastanpassung