Towards a research agenda for understanding and managing uncertainty in self-adaptive systems
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 …
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …
A systematic literature review of istar extensions
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 …
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
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 …
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 …
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 …
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
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 …
analysis in recent decades. The quality guidelines related to dependability attributes such as …
Software requirements selection with incomplete linguistic preference relations
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 …
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
Software requirements are the expectation of stakeholders which are identified and modeled
by various requirements elicitation and modeling techniques like traditional methods, goal …
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 …
adaptation. A SAS often operates in dynamic and partially unknown environments, which …
A federated society of bots for smart contract testing
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 …
transactions on a distributed persistent data storage called the blockchain. The nature of …