Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements

Abstract : Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework for specifying requirements models for dynamic software products lines and self-adaptive systems. The simulation is controlled by a feedback loop and a reasoning engine that operates on the functional and non-functional requirements. The paper contribution is threefold. First, REFAS allows developers to evaluate and improve requirements models through their simulation capabilities. Second, REFAS provides rich feedback in its interactive simulations for the human modeller to make informed decisions to improve her model. Third, REFAS automates the generation of simulation scenarios required to verify the model adequacy and correctness. We evaluate our contribution by comparing the application of REFAS to a case study used in other approaches.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Juan Carlos Muñoz Fernández Connect in order to contact the contributor
Submitted on : Friday, August 21, 2015 - 3:15:59 PM
Last modification on : Friday, April 29, 2022 - 10:12:49 AM
Long-term archiving on: : Wednesday, April 26, 2017 - 10:11:42 AM


REFAS paper SPLCv27.pdf
Files produced by the author(s)




Juan C Muñoz-Fernández, Gabriel Tamura, Irina Raicu, Raúl Mazo, Camille Salinesi. REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements. SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.444, ⟨10.1145/2791060.2791102⟩. ⟨hal-01185791⟩



Record views


Files downloads