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

• Published in: The Journal of systems and software 2015-09, Vol.107, p.50-70
• Main Authors: Ahmad, Manzoor, Belloir, Nicolas, Bruel, Jean-Michel
• Format: Article
• Language: English
• Subjects: Computer Science; Cryptography and Security; Dynamic Adaptive Systems; Embedded Systems; Goal Oriented Requirements Engineering; Hardware Architecture; Human-Computer Interaction; Integrated approach; Mathematical models; Model Driven Engineering; Modeling and Simulation; Non Functional Requirements; Properties verification; Relax; Requirements; Requirements analysis; Software Engineering; Studies
• ISSN: 0164-1212; 1873-1228
• DOI: 10.1016/j.jss.2015.05.028

•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.