NASA Technical Reports Server (NTRS) 20020063577: Formal Analysis of Human Automation Interaction: The Problem of Display Correctness

20 Pages·28 MB·English

by  NASA Technical Reports Server (NTRS)

n
l,'J___.__

•i_!.ii__
_C!!ii__I!_Ii..___i_i

specified activities
! For every situation,
where are we on the
list?
• mode
• parameters
...........
! For every possible ' ".
pilot interaction, wh \ "-,
will we be on the list? I
0'4' "_
l
l
• mode
l
%
O parameters %
\
%
! For every possible pairs of
activities, what pilot interaction
is necessary to transition
between the pair?

O)
\
\
\
\
\
\
\
W
a
m
/
/
/
/
/
>.
13
/
LU