English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

As aircraft systems become increasingly autonomous, the human-machine roleallocation changes and opportunities for new failure modes arise. Thisnecessitates an approach to identify the safety requirements for theincreasingly autonomous system (IAS) as well as a framework and techniques toverify and validate that an IAS meets its safety requirements. We use CrewResource Management techniques to identify requirements and behaviors for safehuman-machine teaming behaviors. We provide a methodology to verify that an IASmeets its requirements. We apply the methodology to a case study in Urban AirMobility, which includes two contingency scenarios: unreliable sensor andaborted landing. For this case study, we implement an IAS agent in the Soarlanguage that acts as a copilot for the selected contingency scenarios andperforms takeoff and landing preparation, while the pilot maintains finaldecision authority. We develop a formal human-machine team architecture modelin the Architectural Analysis and Design Language (AADL), with operator and IASrequirements formalized in the Assume Guarantee REasoning Environment (AGREE)Annex to AADL. We formally verify safety requirements for the human-machineteam given the requirements on the IAS and operator. We develop an automatedtranslator from Soar to the nuXmv model checking language and formally verifythat the IAS agent satisfies its requirements using nuXmv. We share the designand requirements errors found in the process as well as our lessons learned.

Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study