Towards a research agenda for understanding and managing uncertainty in self-adaptive systems

D Weyns, R Calinescu, R Mirandola, K Tei… - ACM SIGSOFT …, 2023 - dl.acm.org
Despite considerable research efforts on handling uncertainty in self-adaptive systems, a
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …

A systematic literature review of istar extensions

E Gonçalves, J Castro, J Araújo, T Heineck - Journal of Systems and …, 2018 - Elsevier
Abstract iStar is a general-purpose goal-based modelling language used to model
requirements at early and late phases of software development. It has been used in …

Efficient analysis of large adaptation spaces in self-adaptive systems using machine learning

F Quin, D Weyns, T Bamelis, SS Buttar… - 2019 IEEE/ACM 14th …, 2019 - ieeexplore.ieee.org
When a self-adaptive system detects that its adaptation goals may be compromised, it needs
to determine how to adapt to ensure its goals. To that end, the system can analyze the …

[HTML][HTML] Mission specification and decomposition for multi-robot systems

EB Gil, GN Rodrigues, P Pelliccione… - Robotics and Autonomous …, 2023 - Elsevier
Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …

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 …

Dependability analysis of a system using state-space modeling techniques: a systematic review

K Gaurav, V Kumar, BK Singh - IEEE Transactions on Reliability, 2023 - ieeexplore.ieee.org
There has been considerable development in the domain of dependability engineering and
analysis in recent decades. The quality guidelines related to dependability attributes such as …

Software requirements selection with incomplete linguistic preference relations

M Sadiq, A Parveen, SK Jain - Business & Information Systems …, 2021 - Springer
Software requirements (SRs) selection is a multicriteria group decision making (MCGDM)
problem whose objective is to select the SRs from the pool of the requirements on the basis …

UML and NFR-framework based method for the analysis of the requirements of an information system

M Arif, CW Mohammad, M Sadiq - International Journal of Information …, 2023 - Springer
Software requirements are the expectation of stakeholders which are identified and modeled
by various requirements elicitation and modeling techniques like traditional methods, goal …

Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach

GF Solano, RD Caldas, GN Rodrigues… - 2019 IEEE/ACM 14th …, 2019 - ieeexplore.ieee.org
Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-
adaptation. A SAS often operates in dynamic and partially unknown environments, which …

A federated society of bots for smart contract testing

E Viglianisi, M Ceccato, P Tonella - Journal of Systems and Software, 2020 - Elsevier
Smart contracts are a new type of software that allows its users to perform irreversible
transactions on a distributed persistent data storage called the blockchain. The nature of …