Search criteria:

List of files deposited in CurateND that match your search criteria

• 1

  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

• 2

  Article

  Monitoring CPS at Runtime A Case Study in the UAV Domain
  

  Author(s):

  Michael Vierhauser, Jane Cleland-Huang, Sean Bayley, Thomas Krismayer, Rick Rabiser, Paul Grünbacher

  Abstract:

  Unmanned aerial vehicles (UAVs) are becoming increasingly pervasive in everyday life, supporting diverse use cases such as aerial photography, delivery of goods, or disaster reconnaissance and management. UAVS are cyber-physical systems (CPS): they integrate computation (embedded software and control systems) with physical components (the UAVS flying in the physical world).UAVS in particular and CPS in general require monitoring capabilities to detect and possibly mitigate erroneous and safet…

  Date Created:

  2018-06-15

  Record Visibility:

  Public