Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

•We propose a model-based approach for the modeling and verification of requirements.•We integrate the notion of goal-oriented concepts for the requirements definition of self-adaptive systems.•We identify the adaptability features associated with the requirements of these systems.•We apply it on an ambient assisted living system.

Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an important role, and one has to identify as early as possible the requirements that are adaptable. We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques. For this, we use Relax, which is a Requirements Engineering language which introduces flexibility in Non-Functional Requirements. We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems. For properties verification, we use OMEGA2/IFx profile and toolset. We illustrate our proposed approach by applying it on an academic case study.