Search criteria:

List of files deposited in CurateND that match your search criteria

• 1

  Article

  Leveraging artifact trees to evolve and reuse safety cases
  

  Author(s):

  Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn Lutz

  Abstract:

  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 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 t…

  Date Published:

  2019-05

  Record Visibility:

  Public

• 2

  Article

  Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces
  

  Author(s):

  Michael Vierhauser, Sean Beyley, Jane Wyngaard, Wandi Xiong, Joshua Huseman, Robyn Lutz, Jane Cleland-Huang

  Abstract:

  The growing adoption of unmanned aerial vehicles (UAV) for tasks such as eCommerce, aerial surveillance, and environmental monitoring introduces the need for new safety mechanisms in an increasingly cluttered airspace. In our work we thus emphasize safety issues that emerge at the intersection of infrastructures responsible for controlling the airspace, and the diverse UAVs operating in their space. We build on safety assurance cases (SAC)- a state-of-the-art solution for reasoning about safe…

  Date Created:

  2019-05-06

  Record Visibility:

  Public

• 3

  Article

  Interlocking Safety Cases for Unmanned Autonomous Systems in Urban Environments
  

  Author(s):

  Michael Vierhauser, Sean Bayley, Jane Wyngaard, Jinghui Cheng, Wandi Xiong, Robyn Lutz, Joshua Huseman, Jane Cleland-Huang

  Abstract:

  The growing adoption of small unmanned aircraft systems (sUAS) for tasks such as eCommerce, aerial surveillance, and environmental monitoring introduces the need for new safety mechanisms in an increasingly cluttered airspace. Safety assurance cases (SAC) provide a state-of-the-art solution for reasoning about system and software safety in numerous safety-critical domains. We propose a novel approach based on the idea of interlocking safety cases. The sUAS infrastructure safety case (iSAC) sp…

  Date Created:

  2018-09-05

  Record Visibility:

  Public