Integrating Runtime Verification into an Automated UAS Traffic Management System
dc.contributor.author | Cauwels, Matthew | |
dc.contributor.author | Hammer, Abigail | |
dc.contributor.author | Hertz, Benjamin | |
dc.contributor.author | Jones, Phillip | |
dc.contributor.author | Rozier, Kristin Yvonne | |
dc.contributor.author | Rozier, Kristin Yvonne | |
dc.contributor.department | Aerospace Engineering | |
dc.contributor.department | Computer Science | |
dc.contributor.department | Virtual Reality Applications Center | |
dc.contributor.department | Electrical and Computer Engineering | |
dc.contributor.department | Mathematics | |
dc.date | 2020-09-16T16:48:43.000 | |
dc.date.accessioned | 2021-02-24T18:25:05Z | |
dc.date.available | 2021-02-24T18:25:05Z | |
dc.date.copyright | Wed Jan 01 00:00:00 UTC 2020 | |
dc.date.embargo | 2021-09-07 | |
dc.date.issued | 2020-09-07 | |
dc.description.abstract | <p><p id="x-x-x-Par1">Unmanned Aerial Systems (UAS) are quickly integrating into the National Air Space (NAS). With the number of registered small (under 55 pounds) UAS in the USA alone at over 1.5 million, and projected to expand rapidly, according to the Federal Aviation Administration (FAA), safety is a pressing consideration. Safe UAS integration into the NAS requires an intelligent, automated system for UAS Traffic Management (UTM). Even more than for manned aircraft, UTM must integrate runtime checks to ensure system safety, at the very least to make up for the lack of humans on board to employ the common-sense safety checks ingrained into the culture of human aviation. <p id="x-x-x-Par2">We overview a candidate automated, intelligent UTM system and propose multiple integration points for runtime verification (RV) to ensure that each part of the UTM adheres to safety requirements during operation. We write, validate, and present patterns for formal requirements across multiple subsystems of this UTM framework. After encoding our requirements as flight-certifiable runtime observers in the R2U2 RV engine, we execute them in simulation across multiple real-life test flights supplemented with simulated data to cover additional cases that did not occur in flight. Lessons learned accompany an analysis of the efficacy and performance of RV integration into the UTM framework.</p> | |
dc.description.comments | <p>This is a post-peer-review, pre-copyedit version of a book chapter published as Cauwels, Matthew, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, and Kristin Y. Rozier. "Integrating Runtime Verification into an Automated UAS Traffic Management System." In: Muccini H. et al. (eds) <em>Software Architecture. </em>ECSA 2020. Communications in Computer and Information Science 1269 (2020): 340-357. DOI: <a href="https://doi.org/10.1007/978-3-030-59155-7_26" target="_blank">10.1007/978-3-030-59155-7_26</a>. Posted with permission.</p> | |
dc.format.mimetype | application/pdf | |
dc.identifier | archive/lib.dr.iastate.edu/aere_conf/83/ | |
dc.identifier.articleid | 1083 | |
dc.identifier.contextkey | 19423554 | |
dc.identifier.s3bucket | isulib-bepress-aws-west | |
dc.identifier.submissionpath | aere_conf/83 | |
dc.identifier.uri | https://dr.lib.iastate.edu/handle/20.500.12876/93019 | |
dc.language.iso | en | |
dc.source.bitstream | archive/lib.dr.iastate.edu/aere_conf/83/2020_RozierKristin_IntegratingRuntime.pdf|||Sat Jan 15 02:09:44 UTC 2022 | |
dc.source.uri | 10.1007/978-3-030-59155-7_26 | |
dc.subject.disciplines | Multi-Vehicle Systems and Air Traffic Control | |
dc.subject.disciplines | Systems and Communications | |
dc.subject.disciplines | Systems Architecture | |
dc.subject.disciplines | Systems Engineering and Multidisciplinary Design Optimization | |
dc.subject.keywords | UAS | |
dc.subject.keywords | UTM | |
dc.subject.keywords | Runtime Verification | |
dc.subject.keywords | R2U2 | |
dc.title | Integrating Runtime Verification into an Automated UAS Traffic Management System | |
dc.type | article | |
dc.type.genre | conference | |
dspace.entity.type | Publication | |
relation.isAuthorOfPublication | 3c555e5b-8fd1-4c38-98c6-6a2449fab7cf | |
relation.isOrgUnitOfPublication | 047b23ca-7bd7-4194-b084-c4181d33d95d | |
relation.isOrgUnitOfPublication | f7be4eb9-d1d0-4081-859b-b15cee251456 | |
relation.isOrgUnitOfPublication | dad3cd36-0f8b-49c3-b43f-1df139ae2068 | |
relation.isOrgUnitOfPublication | a75a044c-d11e-44cd-af4f-dab1d83339ff | |
relation.isOrgUnitOfPublication | 82295b2b-0f85-4929-9659-075c93e82c48 |
File
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 2020_RozierKristin_IntegratingRuntime.pdf
- Size:
- 1.71 MB
- Format:
- Adobe Portable Document Format
- Description: