[PDF][PDF] Self-Adaptation Driven by SysML and Goal Models–A Literature Review

AA Andaa, D Amyot - e-Informatica Software Engineering …, 2022 - bibliotekanauki.pl
Background: Socio-cyber-physical systems (SCPSs) are a type of cyber-physical systems
with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an …

Adapting requirements models to varying environments

D Alrajeh, A Cailliau, A van Lamsweerde - Proceedings of the ACM/IEEE …, 2020 - dl.acm.org
The engineering of high-quality software requirements generally relies on properties and
assumptions about the environment in which the software-to-be has to operate. Such …

The four types of self-adaptive systems: a metamodel

L Sabatucci, V Seidita, M Cossentino - Intelligent Interactive Multimedia …, 2018 - Springer
The basic ideas of self-adaptive systems are not a novelty in computer science. There are
plenty of systems that are able of monitoring their operative context to take run-time …

Runtime monitoring and resolution of probabilistic obstacles to system goals

A Cailliau, AV Lamsweerde - ACM Transactions on Autonomous and …, 2019 - dl.acm.org
Software systems are deployed in environments that keep changing over time. They should
therefore adapt to changing conditions to meet their requirements. The satisfaction rate of …

Requirements engineering

A Bennaceur, TT Tun, Y Yu, B Nuseibeh - Handbook of software …, 2019 - Springer
Requirements engineering (RE) aims to ensure that systems meet the needs of their
stakeholders including users, sponsors, and customers. Often considered as one of the …

REASSURE: Requirements elicitation for adaptive socio-technical systems using repertory grid

S Dey, SW Lee - Information and Software Technology, 2017 - Elsevier
Context Socio-technical systems are expected to understand the dynamics of the execution
environment and behave accordingly. Significant work has been done on formalizing and …

Towards a new template for the specification of requirements in semi-structured natural language

R Mazo, CA Jaramillo, P Vallejo… - Journal of Software …, 2020 - hal.science
Requirements engineering is a systematic and disciplined approach for the specification
and management of software requirements; one of its objectives is to transform the …

Arithmetic semantics of feature and goal models for adaptive cyber-physical systems

AA Anda, D Amyot - 2019 IEEE 27th International …, 2019 - ieeexplore.ieee.org
Many Cyber-Physical Systems (CPSs) today are self-adaptive, in order to handle frequent
changes in environmental conditions and requirements. In CPSs, goal-based reasoning is …

Creativity triggers: extension and empirical evaluation of their effectiveness during requirements elicitation

B Giunta, C Burnay, N Maiden, S Faulkner - Journal of Systems and …, 2022 - Elsevier
Creativity helps organization to produce novel solutions to complex and sometimes
enduring problems. By breaking traditional ways of looking at a given problem and …

Modeling adaptive socio-cyber-physical systems with goals and SysML

AA Anda - 2018 IEEE 26th International Requirements …, 2018 - ieeexplore.ieee.org
Socio-cyber-physical systems (SCPSs) are cyber-physical systems (CPSs) with a socio-
technical system (STS) aspect. Several SCPSs need to adapt dynamically to changing …