DAIDALUS: detect and avoid alerting logic for unmanned systems
C Muñoz, A Narkawicz, G Hagen… - 2015 IEEE/AIAA 34th …, 2015 - ieeexplore.ieee.org
This paper presents DAIDALUS (Detect and Avoid Alerting Logic for Unmanned Systems), a
reference implementation of a detect and avoid concept intended to support the integration …
reference implementation of a detect and avoid concept intended to support the integration …
ICAROUS: Integrated configurable algorithms for reliable operations of unmanned systems
M Consiglio, C Muñoz, G Hagen… - 2016 IEEE/AIAA 35th …, 2016 - ieeexplore.ieee.org
NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling
near-term, safe operations of small UAS vehicles in uncontrolled airspace, ie, Class G …
near-term, safe operations of small UAS vehicles in uncontrolled airspace, ie, Class G …
PVSio-web 2.0: Joining PVS to HCI
PVSio-web is a graphical environment for facilitating the design and evaluation of interactive
(human-computer) systems. Using PVSio-web, one can generate and evaluate realistic …
(human-computer) systems. Using PVSio-web, one can generate and evaluate realistic …
Formal analysis of the compact position reporting algorithm
Abstract The Automatic Dependent Surveillance-Broadcast (ADS-B) system allows aircraft to
communicate current state information, including position and velocity messages, to other …
communicate current state information, including position and velocity messages, to other …
Unmanned aircraft systems in the national airspace system: a formal methods perspective
As the technological and operational capabilities of unmanned aircraft systems (UAS) have
grown, so too have international efforts to integrate UAS into civil airspace. However, one of …
grown, so too have international efforts to integrate UAS into civil airspace. However, one of …
A verified packrat parser interpreter for parsing expression grammars
C Blaudeau, N Shankar - Proceedings of the 9th ACM SIGPLAN …, 2020 - dl.acm.org
Parsing expression grammars (PEGs) offer a natural opportunity for building verified parser
interpreters based on higher-order parsing combinators. PEGs are expressive …
interpreters based on higher-order parsing combinators. PEGs are expressive …
Sensor uncertainty mitigation and dynamic well clear volumes in DAIDALUS
This paper presents recent updates to DAIDALUS (Detect & Avoid Alerting Logic for
Unmanned Systems), a detect and avoid (DAA) software package for the integration of civil …
Unmanned Systems), a detect and avoid (DAA) software package for the integration of civil …
System-Theoretic Safety Analysis for Teams of Collaborative Controllers
AN Kopeikin - 2024 - dspace.mit.edu
Human teams collaborate by establishing roles, changing functional authorities, maintaining
team cognition, coordinating, and hel** one another close control loops. These complex …
team cognition, coordinating, and hel** one another close control loops. These complex …
The MINERVA software development process
This paper presents a software development process for safety-critical software components
of cyber-physical systems. The process is called MINERVA, which stands for Mirrored …
of cyber-physical systems. The process is called MINERVA, which stands for Mirrored …
User-Guided Verification of Security Protocols via Sound Animation
Current formal verification of security protocols relies on specialized researchers and
complex tools, inaccessible to protocol designers who informally evaluate their work with …
complex tools, inaccessible to protocol designers who informally evaluate their work with …