Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080252805> ?p ?o ?g. }
- W2080252805 endingPage "590" @default.
- W2080252805 startingPage "576" @default.
- W2080252805 abstract "Aircraft automation designers are faced with the challenge to develop and improve automation such that it is transparent to the pilots using it. To identify problems that may arise between pilots and automation, methods are needed that can uncover potential problems with automation early in the design process. In this paper, simulation and model checking are combined and their respective advantages leveraged to find problematic human-automation interaction using methods that would be available early in the design process. A particular problem of interest is automation surprises, which describe events when pilots are surprised by the actions of the automation. The Tarom flight 381 incident involving the former Airbus automatic speed protection logic, leading to an automation surprise, is used as a common case study. Results of this case study indicate that both methods identified the automation surprise found in the Tarom flight 381 incident, and that the simulation identified additional automation surprises associated with that flight logic. The work shows that the methods can be symbiotically combined, and the joint method is suitable to identify problematic human-automation interaction such as automation surprise." @default.
- W2080252805 created "2016-06-24" @default.
- W2080252805 creator A5014333268 @default.
- W2080252805 creator A5020087247 @default.
- W2080252805 creator A5041686916 @default.
- W2080252805 date "2014-10-01" @default.
- W2080252805 modified "2023-10-15" @default.
- W2080252805 title "Example of a Complementary Use of Model Checking and Human Performance Simulation" @default.
- W2080252805 cites W10653132 @default.
- W2080252805 cites W1516860807 @default.
- W2080252805 cites W1576880698 @default.
- W2080252805 cites W1930974174 @default.
- W2080252805 cites W1974690389 @default.
- W2080252805 cites W2017030442 @default.
- W2080252805 cites W2023594372 @default.
- W2080252805 cites W2060369194 @default.
- W2080252805 cites W2068539421 @default.
- W2080252805 cites W2085675184 @default.
- W2080252805 cites W2101324577 @default.
- W2080252805 cites W2111867012 @default.
- W2080252805 cites W2123342143 @default.
- W2080252805 cites W2123591057 @default.
- W2080252805 cites W2124454823 @default.
- W2080252805 cites W2126341542 @default.
- W2080252805 cites W2127702736 @default.
- W2080252805 cites W2138239212 @default.
- W2080252805 cites W2140551161 @default.
- W2080252805 cites W2141456449 @default.
- W2080252805 cites W2141582527 @default.
- W2080252805 cites W2259853674 @default.
- W2080252805 cites W2329212935 @default.
- W2080252805 cites W4206670382 @default.
- W2080252805 cites W65631314 @default.
- W2080252805 doi "https://doi.org/10.1109/thms.2014.2331034" @default.
- W2080252805 hasPublicationYear "2014" @default.
- W2080252805 type Work @default.
- W2080252805 sameAs 2080252805 @default.
- W2080252805 citedByCount "20" @default.
- W2080252805 countsByYear W20802528052015 @default.
- W2080252805 countsByYear W20802528052016 @default.
- W2080252805 countsByYear W20802528052017 @default.
- W2080252805 countsByYear W20802528052018 @default.
- W2080252805 countsByYear W20802528052019 @default.
- W2080252805 countsByYear W20802528052020 @default.
- W2080252805 countsByYear W20802528052022 @default.
- W2080252805 countsByYear W20802528052023 @default.
- W2080252805 crossrefType "journal-article" @default.
- W2080252805 hasAuthorship W2080252805A5014333268 @default.
- W2080252805 hasAuthorship W2080252805A5020087247 @default.
- W2080252805 hasAuthorship W2080252805A5041686916 @default.
- W2080252805 hasBestOaLocation W20802528051 @default.
- W2080252805 hasConcept C111919701 @default.
- W2080252805 hasConcept C112930515 @default.
- W2080252805 hasConcept C115901376 @default.
- W2080252805 hasConcept C127413603 @default.
- W2080252805 hasConcept C149635348 @default.
- W2080252805 hasConcept C15744967 @default.
- W2080252805 hasConcept C200601418 @default.
- W2080252805 hasConcept C201995342 @default.
- W2080252805 hasConcept C21457203 @default.
- W2080252805 hasConcept C2780343955 @default.
- W2080252805 hasConcept C41008148 @default.
- W2080252805 hasConcept C64260653 @default.
- W2080252805 hasConcept C71924100 @default.
- W2080252805 hasConcept C77805123 @default.
- W2080252805 hasConcept C78519656 @default.
- W2080252805 hasConcept C81667532 @default.
- W2080252805 hasConcept C98045186 @default.
- W2080252805 hasConceptScore W2080252805C111919701 @default.
- W2080252805 hasConceptScore W2080252805C112930515 @default.
- W2080252805 hasConceptScore W2080252805C115901376 @default.
- W2080252805 hasConceptScore W2080252805C127413603 @default.
- W2080252805 hasConceptScore W2080252805C149635348 @default.
- W2080252805 hasConceptScore W2080252805C15744967 @default.
- W2080252805 hasConceptScore W2080252805C200601418 @default.
- W2080252805 hasConceptScore W2080252805C201995342 @default.
- W2080252805 hasConceptScore W2080252805C21457203 @default.
- W2080252805 hasConceptScore W2080252805C2780343955 @default.
- W2080252805 hasConceptScore W2080252805C41008148 @default.
- W2080252805 hasConceptScore W2080252805C64260653 @default.
- W2080252805 hasConceptScore W2080252805C71924100 @default.
- W2080252805 hasConceptScore W2080252805C77805123 @default.
- W2080252805 hasConceptScore W2080252805C78519656 @default.
- W2080252805 hasConceptScore W2080252805C81667532 @default.
- W2080252805 hasConceptScore W2080252805C98045186 @default.
- W2080252805 hasFunder F4320306101 @default.
- W2080252805 hasIssue "5" @default.
- W2080252805 hasLocation W20802528051 @default.
- W2080252805 hasOpenAccess W2080252805 @default.
- W2080252805 hasPrimaryLocation W20802528051 @default.
- W2080252805 hasRelatedWork W1843091747 @default.
- W2080252805 hasRelatedWork W1878364515 @default.
- W2080252805 hasRelatedWork W1969152673 @default.
- W2080252805 hasRelatedWork W1993281969 @default.
- W2080252805 hasRelatedWork W1995995248 @default.
- W2080252805 hasRelatedWork W2080252805 @default.
- W2080252805 hasRelatedWork W2385822586 @default.
- W2080252805 hasRelatedWork W2759881596 @default.