REFSQ 2025
Mon 7 - Thu 10 April 2025 Spain

This program is tentative and subject to change.

[Context and motivation] Self-adaptive robotic systems often operate in complex problem domains where mission plans are restricted by multiple requirements. These requirements often lead to context-dependent conflicts that hinder practitioners from automatically generating plans that adhere to their requirements. [Question/problem] Currently, practitioners usually solve such conflicts manually since available techniques, e.g., prioritization and requirement relaxation, are not always effective given that they do not consider the context of a conflict. Additionally, these techniques do not take the stakeholders’ varying needs into account. [Principal ideas/results] Our study applies a design science approach to identify the challenges practitioners face when handling conflicting requirements and elicit potential solutions. We develop a dynamic conflict resolution approach that iteratively combines the two different resolution strategies relaxation and prioritization, supported by human feedback. [Contribution] Our results show that practitioners commonly are confronted with complex combinations of requirements and resulting conflicts for which conventional resolution techniques reach their limits. Our approach to dynamic conflict resolution addresses these issues and was evaluated in interviews with five practitioners. The results show that interviewees deem our approach feasible for solving common conflicts in robotics and consider it more effective than manual approaches. In the future, we aim to include explanations to help humans make decisions and understand conflict resolution strategies, especially in situations shaped by complex problem domains and operating contexts.

This program is tentative and subject to change.

Thu 10 Apr

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

14:00 - 15:30
Research Track - Session R10 - Requirements Quality AssuranceResearch Track at B3 - Teleensenyament
Chair(s): Eric Knauss Chalmers | University of Gothenburg
14:00
30m
Talk
Requirements Traceability Link Recovery via Retrieval-Augmented GenerationTechnical Paper
Research Track
Tobias Hey Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology
Pre-print
14:30
20m
Talk
Towards Connecting Requirements with Developer Artifacts in a Local ContextPreview Paper
Research Track
Sonora Halili Smith College, Karenna Kung Smith College, Paola Spoletini Kennesaw State University, Alicia M. Grubb Smith College
14:50
20m
Talk
Adaptive Resolution of Requirements Conflicts in Robot Mission PlanningTechnical Paper
Research Track
Juan García Díaz Chalmers | University of Gothenburg, Carlotta Hillger Chalmers | University of Gothenburg, Antonia Welzel Chalmers | University of Gothenburg, Raffaela Groner Chalmers | University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology