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.

Conference Day
Fri 31 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:20
Software QualitySoftware Engineering in Practice / New Ideas and Emerging Results / Papers / Technical Track at Viger
Chair(s): Ying ZouQueen's University, Kingston, Ontario
16:00
20m
Talk
WSQF: Comprehensive Software Quality Evaluation Framework and Benchmark based on the SQuaRESEIPIndustry Program
Software Engineering in Practice
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
16:20
20m
Talk
Leveraging Artifact Trees to Evolve and Reuse Safety CasesArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
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
16:40
10m
Talk
Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-ClassNIER
New Ideas and Emerging Results
Tobias DürschmidCarnegie Mellon University, Institute for Software Research, Eunsuk KangCarnegie Mellon University, David GarlanCarnegie Mellon University
Pre-print
16:50
10m
Talk
Current Challenges in Practical Object-Oriented Software DesignNIER
New Ideas and Emerging Results
Maurício AnicheDelft University of Technology, Netherlands, Joe YoderThe Refactory, Inc., Fabio KonUniversity of São Paulo
17:00
20m
Talk
Discussion Period
Papers