FM Conference 2026 Conference Paper
The SLEEC Framework for Normative Requirements Engineering
- Pedro Ribeiro
- Radu Calinescu
- Ana Cavalcanti
- Marsha Chechik
- Sinem Getir Yaman
- Lina Marsso
- Isobel Standen
- Beverley Townsend
Abstract Autonomous agents are increasingly deployed in sensitive, human-centric domains—such as healthcare, assistive care, and emergency response—where their decision-making must align with complex human norms. These translate into Social, Legal, Ethical, Empathetic, and Cultural (SLEEC) requirements that are often nuanced and context-dependent, challenging traditional software engineering paradigms. Our tutorial paper presents a comprehensive, tool-supported methodology for managing the SLEEC requirements lifecycle, covering elicitation, well-formedness validation, and conformance verification of software design models against SLEEC requirements. We demonstrate the use of our methodology and associated tools through application to a robot-assisted dressing system, providing a guide for researchers and engineers to bridge the gap between abstract human norms and verifiable system designs.