Wed 3 Sep 2025 17:20 - 17:40 at Salon de Grados - Verification and Quality Assurance Chair(s): Chiara Mannari

Self-adaptive systems (SAS) must make runtime decisions to balance trade-offs among competing quality-of-service (QoS) requirements — such as cost, performance, and reliability — under uncertain and dynamic conditions. Current approaches to support this, such as Pareto-based or utility-driven methods, often lack a quantifiable notion of what constitutes an acceptable loss in one requirement in favor of another. Inspired by practices in clinical trials, we propose a novel, requirements-centric application of Non-Inferiority (NI) Trials to decision-making in SAS. We reinterpret the NI margin — traditionally used to determine the acceptability of new treatments — as a stakeholder-specified tolerance threshold for QoS trade-offs. This offers a statistically grounded method to assess whether a new decision-making technique satisfies stakeholder-defined ”good enough” thresholds compared to established alternatives. We apply this approach to compare two reinforcement learning techniques in an SAS context and demonstrate how it captures nuanced trade-off decisions in QoS satisfaction. We argue that NI Trials can complement existing RE methods by introducing a principled mechanism for reasoning about acceptable degradation, supporting negotiation, monitoring, and prioritization of requirements in uncertain environments.

Wed 3 Sep

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:00 - 17:40
Verification and Quality AssuranceResearch Papers / RE@Next! Papers / Journal-First at Salon de Grados
Chair(s): Chiara Mannari
16:00
30m
Paper
What does a Public Discourse state about Requirements Process Debt Causes?
Research Papers
Sávio Freire Federal Institute of Ceará, Manoel Mendonça Federal University of Bahia, Julio Cesar Leite Federal University of Bahia (UFBA)
16:30
30m
Talk
QUESTRL: A Q&A Framework for Specifying and Designing Trustworthy Reinforcement Learning Systems
Research Papers
Katherine R. Dearstyne University of Notre Dame, Pedro Alarcon Granadeno University of Notre Dame, Theodore Chambers University of Notre Dame, Jane Cleland-Huang University of Notre Dame
17:00
20m
Paper
Assessment of the Quality of the Text of Safety Standards with Industrial Semantic Technologies
Journal-First
Jose Luis de la Vara Universidad de Castilla - La Mancha, Hector Bahamonde , Clara Ayora Universidad de Castilla-La Mancha
17:20
20m
Paper
How Good is Good Enough? Non-Inferiority Trials for Requirements Trade-Offs in Self-Adaptive Systems
RE@Next! Papers
Huma Samin University of Exeter, Nelly Bencomo Durham University, Anikó Ekárt Aston University, Birmingham, UK