Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 16:20 - 16:40 at Viger - Software Quality Chair(s): Ying Zou

Safety Assurance Cases (SACs) are increasingly used to guide and evaluate the safety of software-intensive systems. They are used to construct a hierarchically organized set of claims, arguments, and evidence in order to provide a structured argument that a system is safe for use. However, as the size of the system evolves and grows in size, a SAC can be difficult to maintain. In this paper we utilize design science to develop a novel solution for identifying areas of a SAC that are affected by changes to the system. Moreover, we generate actionable recommendations for updating the SAC, including its underlying artifacts and trace links, in order to evolve an existing safety case for use in a new version of the system. Our approach, Safety Artifact Forest Analysis (SAFA), leverages traceability to automatically compare software artifacts from a previously approved or certified version with a new version of the system. We identify critical changes in the system and visualize them in a Delta View of the two versions. We further provide actionable recommendations that an analyst or developer can take to evolve the safety case. We evaluate our approach using the Dronology system for monitoring and coordinating the actions of cooperating, small Unmanned Aerial Vehicles. Results from a user study show that SAFA helped users to identify changes that potentially impacted system safety and provided information that could be used to help maintain and evolve a SAC.

Fri 31 May

icse-2019-Paper-Presentations
16:00 - 17:20: Papers - Software Quality at Viger
Chair(s): Ying ZouQueen's University, Kingston, Ontario
icse-2019-Software-Engineering-in-Practice16:00 - 16:20
Talk
Naohiko TsudaWaseda University, Hironori WashizakiWaseda University, Kiyoshi Honda, Hidenori NakaiWaseda University, Yoshiaki FukazawaWaseda University, Motoei AzumaWaseda University, Toshihiro KomiyamaNEC Corporation, Tokyo, Japan, Tadashi Nakano Computer Software Association of Japan, Tokyo, Japan, Hirotsugu SuzukiComputer Software Association of Japan, Tokyo, Japan, Sumie MoritaFUJITSU GENERAL LIMITED, Kanagawa, Japan (until the end of FY2017, FUJITSU LABORATORIES LTD.,Kanagawa, Japan), Katsue KojimaFujitsu Limited, Tokyo, Japan, Akiyoshi HandoFUJITSU BROAD SOLUTION & CONSULTING Inc., Tokyo, Japan
icse-2019-Technical-Papers16:20 - 16:40
Talk
Ankit AgrawalUniversity of Notre Dame, Seyedehzahra KhoshmaneshIowa State University, Michael VierhauserUniversity of Notre Dame, Mona Rahimi, Jane Cleland-HuangUniversity of Notre Dame, Robyn LutzIowa State University
icse-2019-New-Ideas-and-Emerging-Reults16:40 - 16:50
Talk
Tobias DürschmidCarnegie Mellon University, Institute for Software Research, Eunsuk KangCarnegie Mellon University, David GarlanCarnegie Mellon University
Pre-print
icse-2019-New-Ideas-and-Emerging-Reults16:50 - 17:00
Talk
Maurício AnicheDelft University of Technology, Netherlands, Joe YoderThe Refactory, Inc., Fabio KonUniversity of São Paulo
icse-2019-Paper-Presentations17:00 - 17:20
Talk