Leveraging Artifact Trees to Evolve and Reuse Safety CasesTechnical Track
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 MayDisplayed 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 20mTalk | 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 20mTalk | Leveraging Artifact Trees to Evolve and Reuse Safety CasesTechnical 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 10mTalk | 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 10mTalk | 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 20mTalk | Discussion Period Papers |