FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105117573> ?p ?o ?g. }

• W3105117573 abstract "The expected proliferation of UAS in the NAS requires technologies that ensure safe operation. There is significant interest from industry and civil aviation authorities to have a standard practice to enable flight operations for UAS containing flight safety critical functions which are too costly to certify. Developing a certification path for these UAS technologies could advance safety of UAS operating in the NAS. In response to this need ASTM released standard F3269-17 in 2018. This standard proposes a run-time assurance architecture whereby an untrusted or non-pedigreed and therefore non-certified flight safety critical function (complex function) can be included in a UAS avionics system that can be certified. GE Aviation is developing an avionics solution intended for safe operation of UAS. As part of ensuring safe operation of UAS GE Aviation's avionics implements a runtime safety assurance (RTA) system that follows the guidelines laid out in the ASTM F3269-17 standard. Formal methods-based verification and validation (V&V) tools hold great promise for addressing the exploding cost of performing V&V on flight safety critical systems that include software. However, there are very few examples demonstrating a side-by-side comparison of the traditional V&V approach and a V&V approach where formal methods-based tools are used at appropriate steps in the process. This paper presents a side-by-side comparison of a complete V&V process for the RTA using both traditional and formal methods-based V&V and shows the benefits of formal tools applied at various early stages of the V&V process. More specifically this paper shows a comparison for the generation of the following evidence for the RTA: Requirements analysis, test case generation, and prof that requirements are fully implemented by the select sub-systems and/or components architecture." @default.
• W3105117573 created "2020-11-23" @default.
• W3105117573 creator A5004778931 @default.
• W3105117573 creator A5006175160 @default.
• W3105117573 creator A5031785339 @default.
• W3105117573 creator A5053186956 @default.
• W3105117573 creator A5060219474 @default.
• W3105117573 creator A5069151080 @default.
• W3105117573 date "2020-10-11" @default.
• W3105117573 modified "2023-09-27" @default.
• W3105117573 title "Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions" @default.
• W3105117573 cites W116342864 @default.
• W3105117573 cites W135733646 @default.
• W3105117573 cites W1571270892 @default.
• W3105117573 cites W1590462283 @default.
• W3105117573 cites W1998702583 @default.
• W3105117573 cites W2768093068 @default.
• W3105117573 cites W2774981561 @default.
• W3105117573 cites W3002402551 @default.
• W3105117573 cites W3008542921 @default.
• W3105117573 cites W2767658051 @default.
• W3105117573 doi "https://doi.org/10.1109/dasc50938.2020.9256529" @default.
• W3105117573 hasPublicationYear "2020" @default.
• W3105117573 type Work @default.
• W3105117573 sameAs 3105117573 @default.
• W3105117573 citedByCount "0" @default.
• W3105117573 crossrefType "proceedings-article" @default.
• W3105117573 hasAuthorship W3105117573A5004778931 @default.
• W3105117573 hasAuthorship W3105117573A5006175160 @default.
• W3105117573 hasAuthorship W3105117573A5031785339 @default.
• W3105117573 hasAuthorship W3105117573A5053186956 @default.
• W3105117573 hasAuthorship W3105117573A5060219474 @default.
• W3105117573 hasAuthorship W3105117573A5069151080 @default.
• W3105117573 hasConcept C111498074 @default.
• W3105117573 hasConcept C111919701 @default.
• W3105117573 hasConcept C112805685 @default.
• W3105117573 hasConcept C11413529 @default.
• W3105117573 hasConcept C115903868 @default.
• W3105117573 hasConcept C127413603 @default.
• W3105117573 hasConcept C14036430 @default.
• W3105117573 hasConcept C146978453 @default.
• W3105117573 hasConcept C15792166 @default.
• W3105117573 hasConcept C163707989 @default.
• W3105117573 hasConcept C17744445 @default.
• W3105117573 hasConcept C178802073 @default.
• W3105117573 hasConcept C199539241 @default.
• W3105117573 hasConcept C200601418 @default.
• W3105117573 hasConcept C201995342 @default.
• W3105117573 hasConcept C21547014 @default.
• W3105117573 hasConcept C2777904410 @default.
• W3105117573 hasConcept C41008148 @default.
• W3105117573 hasConcept C46304622 @default.
• W3105117573 hasConcept C48002344 @default.
• W3105117573 hasConcept C512918668 @default.
• W3105117573 hasConcept C74448152 @default.
• W3105117573 hasConcept C75606506 @default.
• W3105117573 hasConcept C78458016 @default.
• W3105117573 hasConcept C86803240 @default.
• W3105117573 hasConcept C98045186 @default.
• W3105117573 hasConceptScore W3105117573C111498074 @default.
• W3105117573 hasConceptScore W3105117573C111919701 @default.
• W3105117573 hasConceptScore W3105117573C112805685 @default.
• W3105117573 hasConceptScore W3105117573C11413529 @default.
• W3105117573 hasConceptScore W3105117573C115903868 @default.
• W3105117573 hasConceptScore W3105117573C127413603 @default.
• W3105117573 hasConceptScore W3105117573C14036430 @default.
• W3105117573 hasConceptScore W3105117573C146978453 @default.
• W3105117573 hasConceptScore W3105117573C15792166 @default.
• W3105117573 hasConceptScore W3105117573C163707989 @default.
• W3105117573 hasConceptScore W3105117573C17744445 @default.
• W3105117573 hasConceptScore W3105117573C178802073 @default.
• W3105117573 hasConceptScore W3105117573C199539241 @default.
• W3105117573 hasConceptScore W3105117573C200601418 @default.
• W3105117573 hasConceptScore W3105117573C201995342 @default.
• W3105117573 hasConceptScore W3105117573C21547014 @default.
• W3105117573 hasConceptScore W3105117573C2777904410 @default.
• W3105117573 hasConceptScore W3105117573C41008148 @default.
• W3105117573 hasConceptScore W3105117573C46304622 @default.
• W3105117573 hasConceptScore W3105117573C48002344 @default.
• W3105117573 hasConceptScore W3105117573C512918668 @default.
• W3105117573 hasConceptScore W3105117573C74448152 @default.
• W3105117573 hasConceptScore W3105117573C75606506 @default.
• W3105117573 hasConceptScore W3105117573C78458016 @default.
• W3105117573 hasConceptScore W3105117573C86803240 @default.
• W3105117573 hasConceptScore W3105117573C98045186 @default.
• W3105117573 hasFunder F4320306101 @default.
• W3105117573 hasLocation W31051175731 @default.
• W3105117573 hasOpenAccess W3105117573 @default.
• W3105117573 hasPrimaryLocation W31051175731 @default.
• W3105117573 hasRelatedWork W113724497 @default.
• W3105117573 hasRelatedWork W1510110859 @default.
• W3105117573 hasRelatedWork W1548465585 @default.
• W3105117573 hasRelatedWork W2052577482 @default.
• W3105117573 hasRelatedWork W2077629733 @default.
• W3105117573 hasRelatedWork W2086025510 @default.
• W3105117573 hasRelatedWork W2295057953 @default.
• W3105117573 hasRelatedWork W2783678835 @default.
• W3105117573 hasRelatedWork W3105117573 @default.
• W3105117573 hasRelatedWork W3212507206 @default.
• W3105117573 isParatext "false" @default.

• next