Using Models at Runtime to Address Assurance for Self-Adaptive Systems

Betty Cheng, Kerstin Eder, Martin Gogolla +10

A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirement…