Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Joshua Huseman

dblp:221/1651 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0002-4409-4702ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Cyber-physical and IoT security · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%
Software engineering, system software, and programming languages
1 paper
Program analysis · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › dynamic analysis
runtime monitoring
0.112021
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces · IEEE Trans. Software Eng. 2021
Embedded and real-time systems
cyber-physical system platforms
0.112021
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces · IEEE Trans. Software Eng. 2021
Embedded and real-time systems › cyber-physical system platforms
unmanned aerial vehicle
0.112021
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces · IEEE Trans. Software Eng. 2021

Methods — techniques the papers use, named apart from their topics

safety assurance cases · 1.5runtime monitoring · 1.5reputation model · 1.5
YearPublicationVenuePosition
2021 Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces
abstract
The growing adoption of unmanned aerial vehicles (UAVs) 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 safety - and propose a novel approach based on interlocking SACs. The infrastructure safety case (ISAC) specifies assumptions upon UAV behavior, while each UAV demonstrates compliance to the ISAC by presenting its own (pluggable) safety case (pSAC) which connects to the ISAC through a set of interlock points. To collect information on each UAV we enforce a “trust but monitor” policy, supported by runtime monitoring and an underlying reputation model. We evaluate our approach in three ways: first by developing ISACs for two UAV infrastructures, second by running simulations to evaluate end-to-end effectiveness, and finally via an outdoor field-study with physical UAVs. The results show that interlocking SACs can be effective for identifying, specifying, and monitoring safety-related constraints upon UAVs flying in a controlled airspace.
Michael Vierhauser, Sean Bayley, Jane Wyngaard, Wandi Xiong, Jinghui Cheng 0001, Joshua Huseman, Robyn R. Lutz, Jane Cleland-Huang
IEEE Trans. Software Eng.6