A5093713883- Safety Systems Engineering in Autonomy
- Software Reliability and Analysis Research
- Business Process Modeling and Analysis
- Formal Methods in Verification
- Information and Cyber Security
University of York
2024
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, cultural (SLEEC) norms values of their stakeholders. Normative non-functional requirements (N-NFRs) are used capture these by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs need be specified multiple stakeholders widely different, non-technical expertise (ethicists, lawyers, regulators,...
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, cultural (SLEEC) norms values of their stakeholders. Normative non-functional requirements (N-NFRs) are used capture these by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs need be specified multiple stakeholders widely different, non-technical expertise (ethicists, lawyers, regulators,...
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these are typically defined by non-technical stakeholders with different expertise priorities (ethicists, lawyers, social scientists, etc.), ensuring their well-formedness consistency is very challenging. Recent research has tackled this challenge using domain-specific language normative as rules whose can then be...