Wed 17 Aug 2022 22:10 - 22:40 at Wallaby - Assurance and Accountability Chair(s): Jaelson Castro

Assurance case development (ACD) is a novel approach for demonstrating that a system is safe for use. Assurance cases comprise various project information, including requirements and their traceability to other artifacts. A practitioners’ survey was performed to understand how requirements engineering and ACD activities currently interplay. This study aimed to identify the state of practice of ACD, the existing integration between requirements engineering and ACD, and the practitioners’ opinion on this integration. The results revealed that the interplay occurs across all requirement engineering activities and that practitioners perceive benefits such as raising safety assurance awareness, early traceability development, and early identification of assurance evidence needs. Practitioners see requirements specification and change request analysis as the most suitable activities for integrating ACD and requirements engineering.

Wed 17 Aug

Displayed time zone: Hobart change

21:40 - 22:40
Assurance and AccountabilityJournal-First / Research Papers at Wallaby
Chair(s): Jaelson Castro Universidade Federal de Pernambuco
21:40
30m
Talk
Legal Accountability as Software Quality: A U.S. Data Processing Perspective
Research Papers
Travis Breaux Carnegie Mellon University, Thomas Norton Fordham University
22:10
30m
Talk
How assurance case development and requirements engineering interplay: a study with practitioners
Journal-First
Camilo Almendra Universidade Federal do Ceará, Carla Silva Universidade Federal de Pernambuco, Luiz Eduardo G. Martins Universidade Federal de São Paulo, Johnny Marques Instituto Tecnológico de Aeronáutica