Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498575992> ?p ?o ?g. }
- W1498575992 abstract "While new versions of automated control systems such as flight guidance systems are introduced at a rapid pace, it is widely recognized that user interaction with these machines is increasingly problematic. One cause for this difficulty that is commonly cited in the literature, is the discrepancy between the machine's behavior and the operator's (e.g., pilot) expectations. This paper discusses a formal approach to the analysis of operator's interaction with complex automated control systems. We focus attention on the issue of interface correctness; that is, on the question whether the display provides adequate information about the machine's configurations (states, modes, and associated parameters) and transitions, so as to enable the operator to successfully perform the specified set of tasks. To perform the analysis several assumptions are made: (1) A complete formal model of the machine's behavior is available (e.g., as a state transition system, or as a hybrid-machine); (2) A specification of operator's tasks is available and can be formally described (e.g., the reliable and predictable transition between activities involved in executing a climb to a new altitude); (3) The pilot is well trained and has a correct 'mental' model of the machine's response-map. By 'comparing' the machine's model with the set of operator's tasks we formally (i.e., mathematically) evaluate two questions: 1) does the machine's output interface (display) enable the operator to determine, unambiguously, what the current configuration (e.g., mode) of the machine is, and 2) does the display enable the operator to determine, unambiguously, what the next configuration of the machine will be, in response to a specified interaction by the operator (e.g., engaging a mode or changing a parameter such as a speed or target altitude). This paper describes a methodology for conducting such an evaluation using examples from automated flight control systems of modem 'glass cockpit' jetliners. Taxonomy of the different types of discrepancies that lead to pilot inability to resolve the current and next configuration of the machine is suggested. Data from incident reports involving 'mode confusion' is used to corroborate these discrepancies. Finally, means for compensating, either by augmenting the display and/or the operator's 'mental model' are briefly mentioned." @default.
- W1498575992 created "2016-06-24" @default.
- W1498575992 creator A5009643453 @default.
- W1498575992 creator A5015451584 @default.
- W1498575992 creator A5060274017 @default.
- W1498575992 creator A5079450962 @default.
- W1498575992 date "1998-01-01" @default.
- W1498575992 modified "2023-09-27" @default.
- W1498575992 title "Formal Aspects of Human-Automation Interaction" @default.
- W1498575992 cites W152458668 @default.
- W1498575992 cites W1550840327 @default.
- W1498575992 cites W1557496348 @default.
- W1498575992 cites W1586726320 @default.
- W1498575992 cites W2030341930 @default.
- W1498575992 cites W2057366010 @default.
- W1498575992 cites W2153246402 @default.
- W1498575992 cites W30881380 @default.
- W1498575992 cites W60364249 @default.
- W1498575992 cites W571410096 @default.
- W1498575992 hasPublicationYear "1998" @default.
- W1498575992 type Work @default.
- W1498575992 sameAs 1498575992 @default.
- W1498575992 citedByCount "12" @default.
- W1498575992 countsByYear W14985759922013 @default.
- W1498575992 countsByYear W14985759922015 @default.
- W1498575992 crossrefType "journal-article" @default.
- W1498575992 hasAuthorship W1498575992A5009643453 @default.
- W1498575992 hasAuthorship W1498575992A5015451584 @default.
- W1498575992 hasAuthorship W1498575992A5060274017 @default.
- W1498575992 hasAuthorship W1498575992A5079450962 @default.
- W1498575992 hasConcept C104317684 @default.
- W1498575992 hasConcept C107457646 @default.
- W1498575992 hasConcept C113843644 @default.
- W1498575992 hasConcept C115901376 @default.
- W1498575992 hasConcept C119857082 @default.
- W1498575992 hasConcept C120665830 @default.
- W1498575992 hasConcept C121332964 @default.
- W1498575992 hasConcept C127413603 @default.
- W1498575992 hasConcept C129307140 @default.
- W1498575992 hasConcept C154945302 @default.
- W1498575992 hasConcept C157915830 @default.
- W1498575992 hasConcept C158448853 @default.
- W1498575992 hasConcept C167822520 @default.
- W1498575992 hasConcept C17020691 @default.
- W1498575992 hasConcept C173608175 @default.
- W1498575992 hasConcept C177264268 @default.
- W1498575992 hasConcept C185592680 @default.
- W1498575992 hasConcept C192209626 @default.
- W1498575992 hasConcept C199360897 @default.
- W1498575992 hasConcept C41008148 @default.
- W1498575992 hasConcept C48103436 @default.
- W1498575992 hasConcept C55439883 @default.
- W1498575992 hasConcept C55493867 @default.
- W1498575992 hasConcept C78519656 @default.
- W1498575992 hasConcept C86339819 @default.
- W1498575992 hasConceptScore W1498575992C104317684 @default.
- W1498575992 hasConceptScore W1498575992C107457646 @default.
- W1498575992 hasConceptScore W1498575992C113843644 @default.
- W1498575992 hasConceptScore W1498575992C115901376 @default.
- W1498575992 hasConceptScore W1498575992C119857082 @default.
- W1498575992 hasConceptScore W1498575992C120665830 @default.
- W1498575992 hasConceptScore W1498575992C121332964 @default.
- W1498575992 hasConceptScore W1498575992C127413603 @default.
- W1498575992 hasConceptScore W1498575992C129307140 @default.
- W1498575992 hasConceptScore W1498575992C154945302 @default.
- W1498575992 hasConceptScore W1498575992C157915830 @default.
- W1498575992 hasConceptScore W1498575992C158448853 @default.
- W1498575992 hasConceptScore W1498575992C167822520 @default.
- W1498575992 hasConceptScore W1498575992C17020691 @default.
- W1498575992 hasConceptScore W1498575992C173608175 @default.
- W1498575992 hasConceptScore W1498575992C177264268 @default.
- W1498575992 hasConceptScore W1498575992C185592680 @default.
- W1498575992 hasConceptScore W1498575992C192209626 @default.
- W1498575992 hasConceptScore W1498575992C199360897 @default.
- W1498575992 hasConceptScore W1498575992C41008148 @default.
- W1498575992 hasConceptScore W1498575992C48103436 @default.
- W1498575992 hasConceptScore W1498575992C55439883 @default.
- W1498575992 hasConceptScore W1498575992C55493867 @default.
- W1498575992 hasConceptScore W1498575992C78519656 @default.
- W1498575992 hasConceptScore W1498575992C86339819 @default.
- W1498575992 hasLocation W14985759921 @default.
- W1498575992 hasOpenAccess W1498575992 @default.
- W1498575992 hasPrimaryLocation W14985759921 @default.
- W1498575992 hasRelatedWork W1495552971 @default.
- W1498575992 hasRelatedWork W1499402091 @default.
- W1498575992 hasRelatedWork W1516860807 @default.
- W1498575992 hasRelatedWork W1543281322 @default.
- W1498575992 hasRelatedWork W1586726320 @default.
- W1498575992 hasRelatedWork W1604704855 @default.
- W1498575992 hasRelatedWork W1856641962 @default.
- W1498575992 hasRelatedWork W1974690389 @default.
- W1498575992 hasRelatedWork W2030341930 @default.
- W1498575992 hasRelatedWork W2057366010 @default.
- W1498575992 hasRelatedWork W2087922884 @default.
- W1498575992 hasRelatedWork W2098467469 @default.
- W1498575992 hasRelatedWork W2114184533 @default.
- W1498575992 hasRelatedWork W2123179704 @default.
- W1498575992 hasRelatedWork W2123591057 @default.
- W1498575992 hasRelatedWork W2131578099 @default.
- W1498575992 hasRelatedWork W2137679653 @default.