Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

ACM/IEEE ICCPS is the premier single-track conference for advances in CPS, including theory, tools, applications, systems, testbeds, and field deployments. The conference focuses on the development of fundamental principles that underpin the integration of cyber and physical elements, as well as on the development of technologies, tools, architectures, and infrastructure for the design and implementation of CPS.

Cybernetics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

An increasingly important concern of software engineers is handling uncertainties at design time, such as environment dynamics that may be difficult to predict or requirements that may change during operation. The idea of self-adaptation is to handle such uncertainties at runtime, when the knowledge becomes available. As more critical systems require self-adaptation, providing guarantees for adaptation has become a high-priority. Providing such guarantees with traditional architecture-based approaches has shown to be complex. To tackle this challenge, this thesis studies the application of control theory to realize self-adaptation. We first present a systematic literature review of contol-based software adaptation. Then we describe SimCA, a new control-based approach to self-adaptation that satisfies multiple goals and provides formal guarantees on the adaptation outcomes. SimCA supports the following types of goals (referred as STO-reqs): setpoint goals (S), keeping a value below/above a certain threshold (T), and minimizing/maximizing a value (O). SimCA also adapts to new goals being added or existing goals being removed at runtime. Moreover, if the software configuration changes during operation, e.g., a new service is added in a service-based system, SimCA rebuilds the models and adapts accordingly. To demonstrate the applicability and effectiveness of the approach, we perform a comparative evaluation of SimCA with other known architecture- and control-based approaches. The research results are validated in the domains of embedded (UUV system), service-based (TAS exemplar) systems, and Internet of Things (IoT).