REFSQ 2023
Mon 17 - Thu 20 April 2023 Barcelona, Spain
Tue 18 Apr 2023 16:40 - 17:00 at Sitges - Session R5 - RE for Artificial Intelligence Chair(s): Andreas Vogelsang

Context & motivation: The development of software that learns has revolutionized how many systems perform. For the most part, these systems are neither safety- nor mission-critical. However, as technology and aspirations advance, there is an increased desire and need for Machine Learning (ML) software in safety- and mission-critical systems, e.g., driverless cars or autonomous space robotics. Problem: In these domains, reliability is crucial and systems have to undergo much scrutiny in terms of both the developed artefacts and the adopted development process. Central to the development of such systems is the elicitation and definition of software requirements that are used to guide the design and verification process. The addition of software components that learn, and the associated capability for unforeseen behavior, makes defining detailed software requirements especially difficult. Principal ideas/results: In this paper, we identify unique characteristics of software requirements that are specific to ML components. To this end, we collect and examine requirements from both academic and industrial sources. Contribution: To the best of our knowledge, this is the first work that presents real-life, industrial patterns of requirements for ML components. Furthermore, this paper identifies key characteristics and provides a foundation for developing a taxonomy of requirements for software that learns.

Tue 18 Apr

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

16:00 - 17:30
Session R5 - RE for Artificial IntelligenceResearch Papers at Sitges
Chair(s): Andreas Vogelsang University of Cologne
16:00
40m
Scientific evaluation
An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications
Research Papers
P: Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology, A: Eric Knauss Chalmers | University of Gothenburg, A: Iswarya Malleswaran Chalmers University of Technology, A: Shruthi Dinakaran Chalmers University of Technology, D: Anastasia Mavridou KBR / NASA Ames Research Center
Pre-print
16:40
20m
Research preview
Exploring Requirements for Software that Learns: A Research Preview
Research Papers
P: Anastasia Mavridou KBR / NASA Ames Research Center, A: Marie Farrell The University of Manchester, A: Johann Schumann KBR / NASA Ames Research Center, D: Xavier Franch Universitat Politècnica de Catalunya
17:00
20m
Vision and Emerging Results
A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper
Research Papers
P: Xavier Franch Universitat Politècnica de Catalunya, A: Andreas Jedlitschka Fraunhofer, A: Silverio Martínez-Fernández UPC-BarcelonaTech, D: Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology