Integrating Goal Models and Problem Frames for Requirements Analysis of Self-Adaptive CPS

Abstract

As Cyber-Physical Systems (CPS) operate in open, dynamic and diverse environments, they need to be self-adaptive to address the uncertainty challenges. And it is urgent to study self-adaptive software intensive Cyber-Physical Systems (self-adaptive CPS). As self-adaptive CPS interact closely with the environments and users, their requirements analysis is particularly challenging. General requirement models (e.g., goal models and problem frames) of CPS or self-adaptive software cannot be directly applied to self-adaptive CPS. In this paper, we present the Adapt-Requirement Model, which integrates goal models and problem frames, and further extends both models with self-adaptive CPS concepts. The integrated approach incorporates advantages of both goal models and problem frames, and can specify adaptation objectives of stakeholders as well as dynamic contexts of the system. Moreover, we create a UML Profile to represent Adapt-Requirement Model, and create a supporting tool for it. The UML profile and supporting tool has established continuity and integratability between Adapt-Requirement Model and UML design models. The applicability of our approach is illustrated using an example of Smart Building Firefighting System.