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

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 Zou Queen'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 Tsuda Waseda University, Hironori Washizaki Waseda University, Kiyoshi Honda , Hidenori Nakai Waseda University, Yoshiaki Fukazawa Waseda University, Motoei Azuma Waseda University, Toshihiro Komiyama NEC Corporation, Tokyo, Japan, Tadashi Nakano Computer Software Association of Japan, Tokyo, Japan, Hirotsugu Suzuki Computer Software Association of Japan, Tokyo, Japan, Sumie Morita FUJITSU GENERAL LIMITED, Kanagawa, Japan (until the end of FY2017, FUJITSU LABORATORIES LTD.,Kanagawa, Japan), Katsue Kojima Fujitsu Limited, Tokyo, Japan, Akiyoshi Hando FUJITSU 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 Agrawal University of Notre Dame, Seyedehzahra Khoshmanesh Iowa State University, Michael Vierhauser University of Notre Dame, Mona Rahimi , Jane Cleland-Huang University of Notre Dame, Robyn Lutz Iowa State University
16:40
10m
Talk
Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-ClassNIER
New Ideas and Emerging Results
Tobias Dürschmid Carnegie Mellon University, Institute for Software Research, Eunsuk Kang Carnegie Mellon University, David Garlan Carnegie Mellon University
Pre-print
16:50
10m
Talk
Current Challenges in Practical Object-Oriented Software DesignNIER
New Ideas and Emerging Results
Maurício Aniche Delft University of Technology, Netherlands, Joe Yoder The Refactory, Inc., Fabio Kon University of São Paulo
17:00
20m
Talk
Discussion Period
Papers