Modul
Engineering Self-Adaptive Systems [M-INFO-106626]
Leistungspunkte
3Turnus
Jedes WintersemesterDauer
1 SemesterSprache
EnglischLevel
4Version
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Teilleistungen
Identifier | Name | LP |
---|---|---|
T-INFO-113349 | Engineering Self-Adaptive Systems | 3 |
Erfolgskontrolle(n)
See partial achievements (Teilleistung)
Qualifikationsziele
- Understand the motivation for self-adaptation
- Get familiar with the basic principles and conceptual model of self-adaptation
- Understand how to engineer self-adaptive software systems from a software engineering perspective
- Understand the decision-making process using formal analysis at runtime for quality assurance
- Understand the notion of uncertainty in self-adaptive systems and how to tame it with formal verification at runtime
- Understand the level of adoption of self-adaptive systems in industry.
Voraussetzungen
See partial achievements (Teilleistung)
Inhalt
Self-adaptation is an important field of research and engineering that aims to address the challenging problem of how to engineer software systems that have to deal with uncertainties that can only be resolved at run time.
The course presents the basic principles of self-adaptation and introduces a conceptual feedback loop model of a self-adaptive system. It introduces quality models which can be used to estimate quality properties at runtime by a self-adaptive system to provide guarantees for the quality goals. The role played by the different types of uncertainties is then explored analyzing different possible approaches.
Arbeitsaufwand
Course workload:
30h in Class (lectures)
45h self-study during the semester
15h preparation for the exam