Matches in SemOpenAlex for { <https://semopenalex.org/work/W3085284966> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3085284966 endingPage "357" @default.
- W3085284966 startingPage "340" @default.
- W3085284966 abstract "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. 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." @default.
- W3085284966 created "2020-09-21" @default.
- W3085284966 creator A5019021179 @default.
- W3085284966 creator A5025797852 @default.
- W3085284966 creator A5026774201 @default.
- W3085284966 creator A5049964874 @default.
- W3085284966 creator A5076408743 @default.
- W3085284966 date "2020-01-01" @default.
- W3085284966 modified "2023-10-01" @default.
- W3085284966 title "Integrating Runtime Verification into an Automated UAS Traffic Management System" @default.
- W3085284966 cites W143962766 @default.
- W3085284966 cites W1970932506 @default.
- W3085284966 cites W209085883 @default.
- W3085284966 cites W2139891885 @default.
- W3085284966 cites W2161219194 @default.
- W3085284966 cites W2238768211 @default.
- W3085284966 cites W2416164602 @default.
- W3085284966 cites W2551408835 @default.
- W3085284966 cites W2563812813 @default.
- W3085284966 cites W2568050379 @default.
- W3085284966 cites W2767816403 @default.
- W3085284966 cites W2810537124 @default.
- W3085284966 cites W2901054789 @default.
- W3085284966 cites W2951218420 @default.
- W3085284966 cites W2956582956 @default.
- W3085284966 cites W3045529937 @default.
- W3085284966 doi "https://doi.org/10.1007/978-3-030-59155-7_26" @default.
- W3085284966 hasPublicationYear "2020" @default.
- W3085284966 type Work @default.
- W3085284966 sameAs 3085284966 @default.
- W3085284966 citedByCount "9" @default.
- W3085284966 countsByYear W30852849662020 @default.
- W3085284966 countsByYear W30852849662021 @default.
- W3085284966 countsByYear W30852849662022 @default.
- W3085284966 countsByYear W30852849662023 @default.
- W3085284966 crossrefType "book-chapter" @default.
- W3085284966 hasAuthorship W3085284966A5019021179 @default.
- W3085284966 hasAuthorship W3085284966A5025797852 @default.
- W3085284966 hasAuthorship W3085284966A5026774201 @default.
- W3085284966 hasAuthorship W3085284966A5049964874 @default.
- W3085284966 hasAuthorship W3085284966A5076408743 @default.
- W3085284966 hasBestOaLocation W30852849662 @default.
- W3085284966 hasConcept C111919701 @default.
- W3085284966 hasConcept C127413603 @default.
- W3085284966 hasConcept C146978453 @default.
- W3085284966 hasConcept C149635348 @default.
- W3085284966 hasConcept C19527686 @default.
- W3085284966 hasConcept C201995342 @default.
- W3085284966 hasConcept C2780722376 @default.
- W3085284966 hasConcept C41008148 @default.
- W3085284966 hasConcept C74448152 @default.
- W3085284966 hasConcept C79403827 @default.
- W3085284966 hasConceptScore W3085284966C111919701 @default.
- W3085284966 hasConceptScore W3085284966C127413603 @default.
- W3085284966 hasConceptScore W3085284966C146978453 @default.
- W3085284966 hasConceptScore W3085284966C149635348 @default.
- W3085284966 hasConceptScore W3085284966C19527686 @default.
- W3085284966 hasConceptScore W3085284966C201995342 @default.
- W3085284966 hasConceptScore W3085284966C2780722376 @default.
- W3085284966 hasConceptScore W3085284966C41008148 @default.
- W3085284966 hasConceptScore W3085284966C74448152 @default.
- W3085284966 hasConceptScore W3085284966C79403827 @default.
- W3085284966 hasLocation W30852849661 @default.
- W3085284966 hasLocation W30852849662 @default.
- W3085284966 hasOpenAccess W3085284966 @default.
- W3085284966 hasPrimaryLocation W30852849661 @default.
- W3085284966 hasRelatedWork W2018658478 @default.
- W3085284966 hasRelatedWork W2152228757 @default.
- W3085284966 hasRelatedWork W2153492146 @default.
- W3085284966 hasRelatedWork W2792712728 @default.
- W3085284966 hasRelatedWork W3032549603 @default.
- W3085284966 hasRelatedWork W3169169347 @default.
- W3085284966 hasRelatedWork W610578066 @default.
- W3085284966 hasRelatedWork W795534422 @default.
- W3085284966 hasRelatedWork W1907459373 @default.
- W3085284966 hasRelatedWork W2093375981 @default.
- W3085284966 isParatext "false" @default.
- W3085284966 isRetracted "false" @default.
- W3085284966 magId "3085284966" @default.
- W3085284966 workType "book-chapter" @default.