FRINK Linked Data Fragments server

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

• W2912994437 endingPage "146" @default.
• W2912994437 startingPage "107" @default.
• W2912994437 abstract "Future unmanned aircraft are expected to be autonomous, perform missions automatically, and act intelligently when unforeseen events or degraded situations occur. This results in enormous complexity for modeling and computing the system states, system behavior, and environmental data. Furthermore, the aerospace domain is a safety-critical domain, enforcing specific levels of safety and compliance to extensive standards. Therefore, software has to be of high quality and free of safety-critical errors. But the verification and validation of a complex system, especially the high-level software components, is a critical element. Because of software complexity and the fact that the state-space of theoretically possible executions cannot be covered by testing, a holistic testing concept, utilizing complementary test methodologies, is required. This chapter discusses the high-level autonomous capabilities of the German Aerospace Center (DLR) Autonomous Research Testbed for Intelligent Systems (ARTIS) framework and focuses on the challenges and best practice approach for verification and certification for autonomous unmanned aircraft. One of the first challenges for developing an intelligent unmanned aircraft is the development of a high-quality set of requirements that describes the autonomous behavior of the system. Furthermore, this work proposes the development of a generic set of high-level requirements describing the targeted level of autonomy. To complement traditional verification methodologies, which also play an important role, model checking is also used to proof consistency of behavior and compliance to the requirements. Another way to assure safety, specifically for autonomous behavior, is to utilize runtime monitoring concepts. The idea is to supervise the execution and escalate any error as soon as it occurs to a high-level decision-making unit, such as a pilot. Furthermore, it is commonly understood that self-awareness, maintenance of information about the system status, is necessary to be able to act intelligently." @default.
• W2912994437 created "2019-02-21" @default.
• W2912994437 creator A5032880653 @default.
• W2912994437 creator A5044958748 @default.
• W2912994437 date "2018-01-01" @default.
• W2912994437 modified "2023-09-25" @default.
• W2912994437 title "Toward Safe Intelligent Unmanned Aircraft Using Formal Methods and Runtime Monitoring" @default.
• W2912994437 cites W125167016 @default.
• W2912994437 cites W13765794 @default.
• W2912994437 cites W1489391022 @default.
• W2912994437 cites W1528130211 @default.
• W2912994437 cites W1535116423 @default.
• W2912994437 cites W1570024512 @default.
• W2912994437 cites W1575809242 @default.
• W2912994437 cites W1644864267 @default.
• W2912994437 cites W1974018186 @default.
• W2912994437 cites W1974204180 @default.
• W2912994437 cites W1978612064 @default.
• W2912994437 cites W1987761485 @default.
• W2912994437 cites W2011274429 @default.
• W2912994437 cites W2036449508 @default.
• W2912994437 cites W2037831800 @default.
• W2912994437 cites W2041750090 @default.
• W2912994437 cites W2049777185 @default.
• W2912994437 cites W2069755704 @default.
• W2912994437 cites W209085883 @default.
• W2912994437 cites W2095473904 @default.
• W2912994437 cites W2101623441 @default.
• W2912994437 cites W2115484804 @default.
• W2912994437 cites W2119696713 @default.
• W2912994437 cites W2167108850 @default.
• W2912994437 cites W2167955381 @default.
• W2912994437 cites W2319751712 @default.
• W2912994437 cites W2323830807 @default.
• W2912994437 cites W3137722765 @default.
• W2912994437 cites W4251772280 @default.
• W2912994437 doi "https://doi.org/10.2514/5.9781624104794.0107.0146" @default.
• W2912994437 hasPublicationYear "2018" @default.
• W2912994437 type Work @default.
• W2912994437 sameAs 2912994437 @default.
• W2912994437 citedByCount "0" @default.
• W2912994437 crossrefType "book-chapter" @default.
• W2912994437 hasAuthorship W2912994437A5032880653 @default.
• W2912994437 hasAuthorship W2912994437A5044958748 @default.
• W2912994437 hasConcept C127413603 @default.
• W2912994437 hasConcept C149635348 @default.
• W2912994437 hasConcept C178802073 @default.
• W2912994437 hasConcept C201995342 @default.
• W2912994437 hasConcept C41008148 @default.
• W2912994437 hasConcept C79403827 @default.
• W2912994437 hasConceptScore W2912994437C127413603 @default.
• W2912994437 hasConceptScore W2912994437C149635348 @default.
• W2912994437 hasConceptScore W2912994437C178802073 @default.
• W2912994437 hasConceptScore W2912994437C201995342 @default.
• W2912994437 hasConceptScore W2912994437C41008148 @default.
• W2912994437 hasConceptScore W2912994437C79403827 @default.
• W2912994437 hasLocation W29129944371 @default.
• W2912994437 hasOpenAccess W2912994437 @default.
• W2912994437 hasPrimaryLocation W29129944371 @default.
• W2912994437 hasRelatedWork W1519398290 @default.
• W2912994437 hasRelatedWork W1998320603 @default.
• W2912994437 hasRelatedWork W2015197026 @default.
• W2912994437 hasRelatedWork W2043941084 @default.
• W2912994437 hasRelatedWork W2056851291 @default.
• W2912994437 hasRelatedWork W2082877702 @default.
• W2912994437 hasRelatedWork W2363207358 @default.
• W2912994437 hasRelatedWork W2363789696 @default.
• W2912994437 hasRelatedWork W2374512474 @default.
• W2912994437 hasRelatedWork W3164102603 @default.
• W2912994437 isParatext "false" @default.
• W2912994437 isRetracted "false" @default.
• W2912994437 magId "2912994437" @default.
• W2912994437 workType "book-chapter" @default.