Wed 6 Sep 2023 11:45 - 12:15 at f142 - Formal Requirements Chair(s): Paola Spoletini

Today’s technologies are becoming more and more pervasive and advanced software systems can replace human beings in many different tasks. This is especially true in the case of automated decision-making systems based on machine learning (ML). Important ethical implications arise when such decision systems are used in sensitive contexts (e.g., justice or loans). The elicitation of these implications, that is, of the ethical requirements behind ML-based systems is a new challenge we must address to avoid societal risks. This is particularly urgent for fairness since this notion lacks a precise and commonly accepted definition, thus hampering its assessment. This paper aims to give a comprehensive definition of fairness, present a unified taxonomy of alternative interpretations, define a new decision tree that can guide the choice of the correct interpretation, and carry out a preliminary assessment with experiments in a real-world context.

Understanding Fairness Requirements for ML-based Software (2023_RE@Next!.pdf)264KiB

Wed 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:15
Formal RequirementsJournal-First / Industrial Innovation Papers / RE@Next! Papers at f142
Chair(s): Paola Spoletini Kennesaw State University
10:45
30m
Paper
Requirements Analysis of Variability Constraints in a Configurable Flight Software System
Industrial Innovation Papers
A: Chin Khor Iowa State University, A: Robyn Lutz Iowa State University
Pre-print
11:15
30m
Talk
The Role of Formalism in System Requirements
Journal-First
A: Jean-Michel Bruel IRIT (CNRS and Univ. of Toulouse)
Link to publication DOI
11:45
30m
Research paper
Understanding Fairness Requirements for ML-based Software
RE@Next! Papers
A: Luciano Baresi Politecnico di Milano, A: Chiara Criscuolo Politecnico di Milano, A: Carlo Ghezzi Politecnico di Milano
File Attached