Matches in SemOpenAlex for { <https://semopenalex.org/work/W2195150892> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2195150892 endingPage "62" @default.
- W2195150892 startingPage "58" @default.
- W2195150892 abstract "As the technological and operational capabilities of unmanned aircraft systems (UAS) continue to grow, so too does the need to introduce these systems into civil airspace. Unmanned Aircraft Systems Integration in the National Airspace System is a NASA research project that addresses the integration of civil UAS into non-segregated airspace operations. One of the major challenges of this integration is the lack of an on-board pilot to comply with the legal requirement that pilots see and avoid other aircraft. The need to provide an equivalent to this requirement for UAS has motivated the development of a detect and avoid (DAA) capability to provide the appropriate situational awareness and maneuver guidance in avoiding and remaining well clear of traffic aircraft. Formal methods has played a fundamental role in the development of this capability. This talk reports on the formal methods work conducted under NASA’s Safe Autonomous System Operations project in support of the development of DAA for UAS. This work includes specification of low-level and high-level functional requirements, formal verification of algorithms, and rigorous validation of software implementations. The talk also discusses technical challenges in formal methods research in the context of the development and safety analysis of advanced air traffic management concepts." @default.
- W2195150892 created "2016-06-24" @default.
- W2195150892 creator A5016058241 @default.
- W2195150892 date "2015-01-01" @default.
- W2195150892 modified "2023-10-03" @default.
- W2195150892 title "Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)" @default.
- W2195150892 cites W1421638684 @default.
- W2195150892 cites W169070976 @default.
- W2195150892 cites W1978149312 @default.
- W2195150892 cites W1990210124 @default.
- W2195150892 cites W1993722858 @default.
- W2195150892 cites W2082485176 @default.
- W2195150892 cites W2399829426 @default.
- W2195150892 cites W4236912930 @default.
- W2195150892 cites W68238214 @default.
- W2195150892 cites W2143848809 @default.
- W2195150892 doi "https://doi.org/10.1007/978-3-319-25150-9_4" @default.
- W2195150892 hasPublicationYear "2015" @default.
- W2195150892 type Work @default.
- W2195150892 sameAs 2195150892 @default.
- W2195150892 citedByCount "5" @default.
- W2195150892 countsByYear W21951508922019 @default.
- W2195150892 countsByYear W21951508922020 @default.
- W2195150892 countsByYear W21951508922022 @default.
- W2195150892 countsByYear W21951508922023 @default.
- W2195150892 crossrefType "book-chapter" @default.
- W2195150892 hasAuthorship W2195150892A5016058241 @default.
- W2195150892 hasConcept C110354214 @default.
- W2195150892 hasConcept C115903868 @default.
- W2195150892 hasConcept C127413603 @default.
- W2195150892 hasConcept C145804949 @default.
- W2195150892 hasConcept C146978453 @default.
- W2195150892 hasConcept C151730666 @default.
- W2195150892 hasConcept C166961238 @default.
- W2195150892 hasConcept C178802073 @default.
- W2195150892 hasConcept C18762648 @default.
- W2195150892 hasConcept C199360897 @default.
- W2195150892 hasConcept C201995342 @default.
- W2195150892 hasConcept C26713055 @default.
- W2195150892 hasConcept C2776777543 @default.
- W2195150892 hasConcept C2777904410 @default.
- W2195150892 hasConcept C2779343474 @default.
- W2195150892 hasConcept C2780722376 @default.
- W2195150892 hasConcept C41008148 @default.
- W2195150892 hasConcept C59488412 @default.
- W2195150892 hasConcept C75606506 @default.
- W2195150892 hasConcept C78519656 @default.
- W2195150892 hasConcept C86803240 @default.
- W2195150892 hasConceptScore W2195150892C110354214 @default.
- W2195150892 hasConceptScore W2195150892C115903868 @default.
- W2195150892 hasConceptScore W2195150892C127413603 @default.
- W2195150892 hasConceptScore W2195150892C145804949 @default.
- W2195150892 hasConceptScore W2195150892C146978453 @default.
- W2195150892 hasConceptScore W2195150892C151730666 @default.
- W2195150892 hasConceptScore W2195150892C166961238 @default.
- W2195150892 hasConceptScore W2195150892C178802073 @default.
- W2195150892 hasConceptScore W2195150892C18762648 @default.
- W2195150892 hasConceptScore W2195150892C199360897 @default.
- W2195150892 hasConceptScore W2195150892C201995342 @default.
- W2195150892 hasConceptScore W2195150892C26713055 @default.
- W2195150892 hasConceptScore W2195150892C2776777543 @default.
- W2195150892 hasConceptScore W2195150892C2777904410 @default.
- W2195150892 hasConceptScore W2195150892C2779343474 @default.
- W2195150892 hasConceptScore W2195150892C2780722376 @default.
- W2195150892 hasConceptScore W2195150892C41008148 @default.
- W2195150892 hasConceptScore W2195150892C59488412 @default.
- W2195150892 hasConceptScore W2195150892C75606506 @default.
- W2195150892 hasConceptScore W2195150892C78519656 @default.
- W2195150892 hasConceptScore W2195150892C86803240 @default.
- W2195150892 hasLocation W21951508921 @default.
- W2195150892 hasOpenAccess W2195150892 @default.
- W2195150892 hasPrimaryLocation W21951508921 @default.
- W2195150892 hasRelatedWork W1483628554 @default.
- W2195150892 hasRelatedWork W2021301069 @default.
- W2195150892 hasRelatedWork W2095592787 @default.
- W2195150892 hasRelatedWork W2110672358 @default.
- W2195150892 hasRelatedWork W2127462759 @default.
- W2195150892 hasRelatedWork W2195150892 @default.
- W2195150892 hasRelatedWork W2408451775 @default.
- W2195150892 hasRelatedWork W2563812813 @default.
- W2195150892 hasRelatedWork W2750436926 @default.
- W2195150892 hasRelatedWork W4211251805 @default.
- W2195150892 isParatext "false" @default.
- W2195150892 isRetracted "false" @default.
- W2195150892 magId "2195150892" @default.
- W2195150892 workType "book-chapter" @default.