Modeling human-machine systems :on modes, error, and patterns of interaction

ION HIERARCHY MODEL..................................................................................... 23 PROCRU MODEL............................................................................................................. 24 GOMS MODEL................................................................................................................. 25 FINITE STATE MACHINE (FSM) MODEL ............................................................................... 27 PETRI-NETS..................................................................................................................... 30 DISCRETE CONTROL NETWORK .......................................................................................... 31 THE OPERATOR FUNCTION MODEL (OFM)............................................................................ 33 CHAPTER SUMMARY ........................................................................................................ 36

[1]  Richard J. Jagacinski,et al.  A Finite-State Description of Coordination in a Two-Handed Target Acquisition Task , 1982, IEEE Transactions on Systems, Man, and Cybernetics.

[2]  A. K. Bejczy,et al.  The Effect of Part-simulation of Weightlessness on Human Control of Bilateral Teleoperation: Neuromotor Considerations , 1984 .

[3]  Robert J. K. Jacob,et al.  A Specification Language for Direct-Manipulation User Interfaces , 1986, ACM Trans. Graph..

[4]  Robert S Dodd,et al.  A Review and Discussion of Flight Management System Incidents Reported to the Aviation Safety Reporting System , 1992 .

[5]  Harold Thimbleby,et al.  Character level ambiguity: consequences for user interface design , 1982 .

[6]  N E LOVELESS,et al.  Direction-of-motion stereotypes: a review. , 1962, Ergonomics.

[7]  Dimitre Novatchev,et al.  Chunking and Phrasing and the Design of Human-Computer Dialogues - Response , 1986, IFIP Congress.

[8]  Christopher D. Wickens,et al.  The Effects of Participatory Mode and Task Workload on the Detection of Dynamic System Failures , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  H. J. Einhorn,et al.  Linear regression and process-tracing models of judgment. , 1979 .

[10]  T. Gerig.  Multivariate Analysis: Techniques for Educational and Psychological Research , 1975 .

[11]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .

[12]  Michael Mecham,et al.  PILOTS, A300 SYSTEMS CITED IN NAGOYA CRASH. , 1996 .

[13]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[14]  Christopher D. Wickens,et al.  The Transfer of Failure-Detection Skills between Monitoring and Controlling Dynamic Systems , 1982 .

[15]  David D. Woods.  Cognitive engineering in aerospace applications , 1993 .

[16]  Earl L. Wiener,et al.  Human factors of flight-deck checklists: The normal checklist , 1990 .

[17]  James Sneeringer,et al.  User‐interface design for text editing: A case study , 1978, Softw. Pract. Exp..

[18]  John W. Tukey,et al.  Exploratory Data Analysis. , 1979 .

[19]  John L. McLucas,et al.  Report of the President's Task Force on Aircraft Crew Complement , 1981 .

[20]  Mary Beth Rosson,et al.  Patterns of experience in text editing , 1983, CHI '83.

[21]  William Francis Ganong,et al.  Review of Medical Physiology , 1969 .

[22]  Maynard RamseyIII.  Blood pressure monitoring: Automated oscillometric devices , 1991 .

[23]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[24]  Alan J. Dix,et al.  Formal methods for interactive systems , 1991, Computers and people series.

[25]  Anthony J. Hornof,et al.  GLEAN: a computer-based tool for rapid GOMS model usability evaluation of user interface designs , 1995, UIST '95.

[26]  Christine M. Mitchell,et al.  Operator Modeling: Conceptual and Methodological Distinctions , 1987 .

[27]  H B TIMMERMAN,et al.  What is task analysis? , 1951, Bulletin of the Medical Library Association.

[28]  Neville Moray,et al.  Acquisition of Process Control Skills , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[29]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[30]  S. Kraemer.  Steps to an Ecology of Mind: Gregory Bateson , 1993, British Journal of Psychiatry.

[31]  Jens Rasmussen,et al.  The role of hierarchical knowledge representation in decisionmaking and system management , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[32]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[33]  A Kirlik,et al.  Modeling Strategic Behavior in Human-Automation Interaction: Why an "Aid" Can (and Should) Go Unused , 1993, Human factors.

[34]  David Woods,et al.  Human factors challenges in process control: The case of nuclear power plants. , 1987 .

[35]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[36]  Michael E. Atwood,et al.  GOMS meets the phone company: Analytic modeling applied to real-world problems , 1990, INTERACT.

[37]  Nancy G. Leveson,et al.  Integrated safety analysis of requirements specifications , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[38]  G. Bateson,et al.  Mind and Nature: A Necessary Unity , 1979 .

[39]  Robert J. K. Jacob,et al.  Using formal specifications in the design of a human-computer interface , 1983, CACM.

[40]  K. Preston White,et al.  Systems engineering models of human-machine interaction , 1981, Proceedings of the IEEE.

[41]  Christine M. Mitchell,et al.  GT-MSOCC: A Domain for Research on Human - Computer Interaction and Decision Aiding in Supervisory Control Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[42]  Christine M. Mitchell,et al.  Analysis and Aiding the Human Operator in Electronics Assembly , 1991 .

[43]  R. Hyman.  Quasi-Experimentation: Design and Analysis Issues for Field Settings (Book) , 1982 .

[44]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[45]  L. Bainbridge.  Types of hierarchy imply types of model. , 1993, Ergonomics.

[46]  M. Hardy.  Regression with dummy variables , 1993 .

[47]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[48]  E. Ziegel,et al.  Bootstrapping: A Nonparametric Approach to Statistical Inference , 1993 .

[49]  Barbara G. Kanki,et al.  The impact of cockpit automation on crew coordination and communication. Volume 1: Overview, LOFT evaluations, error severity, and questionnaire data , 1991 .

[50]  Kim J. Vicente,et al.  Making the abstraction hierarchy concrete , 1994, Int. J. Hum. Comput. Stud..

[51]  Robert Tibshirani,et al.  An Introduction to the Bootstrap , 1994 .

[52]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[53]  Christine M. Mitchell,et al.  A methodology for human-machine systems research: knowledge engineering, modeling, and simulation , 1995, IEEE Trans. Syst. Man Cybern..

[54]  Willem P. de Roever,et al.  Introduction to Design Choices in the Semantics of Statecharts , 1991, Inf. Process. Lett..

[55]  Kim J. Vicente,et al.  A Longitudinal Study of the Effects of Ecological Interface Design on Skill Acquisition , 1996, Hum. Factors.

[56]  R Catrambone,et al.  Aggregation Bias and the Use of Regression in Evaluating Models of Human Performance , 1993, Human factors.

[57]  John T. Boardman.  Wholes and parts-a systems approach , 1995, IEEE Trans. Syst. Man Cybern..

[58]  E. Hutchins.  Cognition in the wild , 1995 .

[59]  Norman Cliff,et al.  Analyzing Multivariate Data , 1987 .

[60]  K. Abbott,et al.  The interfaces between flightcrews and modern flight deck systems , 1996 .

[61]  Asaf Degani,et al.  Who or what saved the day? A comparison of traditional and glass cockpits , 1991 .

[62]  Steven W. Floyd,et al.  In the Age of the Smart Machine: The Future of Work and Power. , 1989 .

[63]  D M Gaba,et al.  Case 2-1992. Unintentional delivery of vasoactive drugs with an electromechanical infusion device. , 1992, Journal of cardiothoracic and vascular anesthesia.

[64]  Roberta Caldenvood.  Decision Models: Some Lessons From the Field , 1991 .

[65]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[66]  Renwick E. Curry,et al.  Flight-deck automation: promises and problems , 1980 .

[67]  Elwyn Edwards.  Some Aspects of Automation in Civil Transport Aircraft , 1976 .

[68]  Robert F. Sproull,et al.  Principles of interactive computer graphics (2nd ed.) , 1979 .

[69]  T. Govindaraj,et al.  Operator modeling in civil aviation , 1990, 1990 IEEE International Conference on Systems, Man, and Cybernetics Conference Proceedings.

[70]  J. D. Lee,et al.  A systematic evaluation of technological innovation: a case study of ship navigation , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[71]  Nadine B. Sarter,et al.  How in the World Did We Ever Get into That Mode? Mode Error and Awareness in Supervisory Control , 1995, Hum. Factors.

[72]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[73]  Eric Harslem,et al.  Designing the STAR User Interface , 1987, ECICS.

[74]  L. Bainbridge.  Ironies of Automation , 1982 .

[75]  Marilyn Sue Bogner,et al.  Human Error in Medicine , 1995 .

[76]  Charles E. Billings,et al.  Human-centered aircraft automation: A concept and guidelines , 1991 .

[77]  P. Wright,et al.  USING A FORMAL LANGUAGE TO SUPPORT NATURALLANGUAGE IN ACCIDENT , 1995 .

[78]  Christine M. Mitchell,et al.  OFMspert: inference of operator intentions in supervisory control using a blackboard architecture , 1988, IEEE Trans. Syst. Man Cybern..

[79]  D A Norman,et al.  The 'problem' with automation: inappropriate feedback and interaction, not 'over-automation'. , 1990, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[80]  J. W. McDaniel,et al.  Rules for fighter cockpit automation , 1988, Proceedings of the IEEE 1988 National Aerospace and Electronics Conference.

[81]  Viktor Mikhaĭlovich Glushkov,et al.  An Introduction to Cybernetics , 1957, The Mathematical Gazette.

[82]  S. Casner.  Understanding the Determinants of Problem-Solving Behavior in a Complex Environment , 1994 .

[83]  James D. Foley,et al.  The art of natural graphic man—Machine conversation , 1974 .

[84]  Elizabeth Ann Lyall.  The Effects of Mixed-Fleet Flying of the Boeing 737-200 and −300 , 1992 .

[85]  Nancy Kober,et al.  Safe, Comfortable, Attractive, and Easy to Use: Improving the Usability of Home Medical Devices , 1996 .

[86]  John W. Sutherland,et al.  General Systems Theory: Foundations, Developments, Applications , 1974 .

[87]  S. Liden.  The evolution of Flight Management Systems , 1994, AIAA/IEEE Digital Avionics Systems Conference. 13th DASC.

[88]  Nadine B. Sarter,et al.  Pilot Interaction With Cockpit Automation II: An Experimental Study of Pilots’ Model and Awareness of the Flight Management System , 1994 .

[89]  Rémi Bastide,et al.  A design life-cycle for the formal design of user interfaces , 1996 .

[90]  Christine M. Mitchell,et al.  A methodology for understanding how operators select and use modes of automation to control complex dynamic systems , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[91]  R. John Hansman,et al.  Mode Awareness in Advanced Autoflight Systems , 1995 .

[92]  René Amalberti,et al.  Cognitive Modelling of Fighter Aircraft Process Control: A Step Towards an Intelligent On-Board Assistance System , 1992, Int. J. Man Mach. Stud..

[93]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.

[94]  C. Wickens.  Engineering psychology and human performance, 2nd ed. , 1992 .

[95]  David C. Nagel,et al.  Pilots of the Future: Human or Computer? , 1985, Computer.

[96]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[97]  Lucy Suchman.  Plans and situated actions: the problem of human-machine communication , 1987 .

[98]  Asaf Degani,et al.  On the design of flight-deck procedures , 1994 .

[99]  Merle F. Poller,et al.  A comparative study of moded and modeless text editing by experienced editor users , 1983, CHI '83.

[100]  James Reason,et al.  Human Error , 1990 .

[101]  Thomas B. Sheridan,et al.  Man-machine systems;: Information, control, and decision models of human performance , 1974 .

[102]  E. Smith,et al.  Choice reaction time: an analysis of the major theoretical positions. , 1968, Psychological bulletin.

[103]  R. E. Curry.  The Introduction of New Cockpit Technology: A Human Factors Study , 1985 .

[104]  Jeff Johnson,et al.  The Xerox Star: an influential user interface design , 1995 .

[105]  L. R. Goldberg.  Simple models or simple processes? Some research on clinical judgments. , 1968, The American psychologist.

[106]  W H Rogers,et al.  CLASSIFICATION AND REDUCTION OF PILOT ERROR , 1989 .

[107]  Ivars Peterson,et al.  Pick a Sample. , 1991 .

[108]  Sheldon Baron,et al.  PROCRU: A model for analyzing flight crew procedures in approach to landing , 1980 .

[109]  K. Bråthen,et al.  An integrated framework for task analysis and systems engineering: approach, example and experience , 1994, Int. J. Hum. Comput. Stud..

[110]  Peter G. Polson,et al.  A GOMS analysis of the advanced automated cockpit , 1994, CHI Conference Companion.

[111]  A. Kirlik.  Requirements for psychological models to support design: Towards ecological task analysis , 1991 .

[112]  Gerald Corning.  Supersonic and subsonic airplane design , 1960 .

[113]  Jim E. Greer,et al.  The VCR Tutor: Effective Instruction for Device Operation , 1995 .

[114]  B Shackel.  Ergonomics research needs in automation. , 1967, Ergonomics.

[115]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[116]  Herbert A. Simon,et al.  Process models and stochastic theories of simple concept formation , 1967 .

[117]  Ellis Rubinstein.  The accident that shouldn't have happened: A narrative account of what is believed to have occurred, based on reports from many experts , 1979, IEEE Spectrum.

[118]  D. McFarland,et al.  Intelligent behavior in animals and robots , 1993 .

[119]  Michael E. Atwood,et al.  Project Ernestine: analytic and empirical methods applied to a real-world CHI problem , 1995 .

[120]  Stuart K. Card.  Pioneers and settlers: methods used in successful user interface design , 1995 .

[121]  Charles E. Billings,et al.  Human-Centered Aviation Automation: Principles and Guidelines , 1996 .

[122]  Anthony I. Wasserman,et al.  Extending State Transition Diagrams for the Specification of Human–Computer Interaction , 1985, IEEE Transactions on Software Engineering.

[123]  Karlene H. Roberts,et al.  The Self-Designing High-Reliability Organization: Aircraft Carrier Flight Operations at Sea , 1987 .

[124]  Michael A Dornheim,et al.  AIRLINES IMPROVE AUTOMATION TRAINING. , 1996 .

[125]  Christine M. Mitchell,et al.  Use of Model-Based Qualitative Icons and Adaptive Windows in Workstations for Supervisory Control Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[126]  C. A. R. Hoare,et al.  The emperor's old clothes , 1981, CACM.

[127]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[128]  David E. Kieras,et al.  Towards a Practical GOMS Model Methodology for User Interface Design , 1988 .

[129]  John Clark,et al.  A First Look at Graph Theory , 1991 .

[130]  David Woods,et al.  Users as Designers: How People Cope with Poor HCI Design in Computer-Based Medical Devices , 1994 .

[131]  Jonathan Grudin,et al.  The case against user interface consistency , 1989, CACM.

[132]  J. Neter,et al.  Applied Linear Statistical Models (3rd ed.). , 1992 .

[133]  M. Agar.  Speaking of ethnography , 1985 .

[134]  Donald A. Norman,et al.  Design rules based on analyses of human error , 1983, CACM.

[135]  Andrew F. Monk,et al.  Mode Errors: A User-Centered Analysis and Some Preventative Measures Using Keying-Contingent Sound , 1986, Int. J. Man Mach. Stud..

[136]  R. Dawes.  Judgment under uncertainty: The robust beauty of improper linear models in decision making , 1979 .

[137]  Mitchel Resnick,et al.  Turtles, termites, and traffic jams - explorations in massively parallel microworlds , 1994 .

[138]  Asaf Degani.  On the typography of flight-deck documentation , 1992 .

[139]  Lance Sherry,et al.  A formalism for the specification of operationally embedded reactive systems [in aircraft guidance/navigation systems] , 1995, Proceedings of 14th Digital Avionics Systems Conference.

[140]  Wilfred J. Hansen.  User engineering principles for interactive systems , 1972, AFIPS '71 (Fall).

[141]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[142]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[143]  Tom Bösser,et al.  The Sane Toolkit for Cognitive Modelling and User-Centred Design , 1992 .

[144]  Elwyn Edwards,et al.  The Human Operator in Process Control , 1974 .

[145]  Christine M. Mitchell,et al.  A Discrete Control Model of Operator Function: A Methodology for Information Display Design , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[146]  John R. Wilson,et al.  Mental Models: Theory and Application in Human Factors , 1989 .

[147]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering , 1986 .

[148]  Merle F. Poller,et al.  The Effects of Modes on Text Editing by Experienced Editor Users , 1984 .