Integrating Runtime Verification into an Automated UAS Traffic Management System-Reference-Cited by-同舟云学术

Integrating Runtime Verification into an Automated UAS Traffic Management System

Published:2020 Issue: Volume: Page:340-357
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Cauwels Matthew^ORCID,Hammer Abigail^ORCID,Hertz Benjamin^ORCID,Jones Phillip H.^ORCID,Rozier Kristin Y.^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-59155-7_26

Reference27 articles.

1. AeroViroment: VAPOR All-electric Helicopter UAS. https://www.avinc.com/uas/view/vapor-vtol . Accessed 17 Dec 2019

2. Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35–77 (1993)

3. Aweiss, A.S., Owens, B.D., Rios, J.L., Homola, J.R., Mohlenbrink, C.P.: UAS Traffic Management National Campaign II. In: 2018 AIAA SciTech, pp. 1–16, January 2018

4. Bakhirkin, A., Ferrère, T., Henzinger, T., Nickovic, D.: The first-order logic of signals. In: EMSOFT (2018)

5. Federal Aviation Administration (FAA): FAA Aerospace Forecast - Fiscal Years 2019–2039 (2019). https://www.faa.gov/data_research/aviation/aerospace_forecasts/media/FY2019-39_FAA_Aerospace_Forecast.pdf

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints;Formal Methods for Industrial Critical Systems;2023

2. R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software;Computer Aided Verification;2023

3. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines;Lecture Notes in Computer Science;2023

4. Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I;Lecture Notes in Computer Science;2022

5. Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry;Lecture Notes in Computer Science;2022