𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Verification and Validation of Complex Systems: Human Factors Issues

✍ Scribed by V. David Hopkin (auth.), John A. Wise, V. David Hopkin, Paul Stager (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
1993
Tongue
English
Leaves
682
Series
NATO ASI Series 110
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much has been written about the design and developmentprocess, very little organized information is available on how to verifyand validate highly complex and highly coupled dynamic systems. Inability toevaluate such systems adequately may become the limiting factor in our ability to employ systems that our technology and knowledge allow us to design. This volume, based on a NATO Advanced Science Institute held in 1992, is designed to provide guidance for the verification and validation of all highly complex and coupled systems. Air traffic control isused an an example to ensure that the theory is described in terms that will allow its implementation, but the results can be applied to all complex and coupled systems. The volume presents the knowledge and theory ina format that will allow readers from a wide variety of backgrounds to apply it to the systems for which they are responsible. The emphasis is on domains where significant advances have been made in the methods of identifying potential problems and in new testing methods and tools. Also emphasized are techniques to identify the assumptions on which a system is built and to spot their weaknesses.

✦ Table of Contents


Front Matter....Pages I-6
Front Matter....Pages 7-7
Verification and Validation: Concepts, Issues, and Applications....Pages 9-33
Resilience Theory and System Evaluation....Pages 35-60
On The Future Of Hybrid Human-Machine Systems....Pages 61-85
Basic Considerations in Verification and Validation....Pages 87-95
Front Matter....Pages 97-97
Validation in Complex Systems: Behavioral Issues....Pages 99-114
Defining Human-Centered System Issues for Verifying and Validating Air Traffic Control Systems....Pages 115-129
Front Matter....Pages 131-131
Evaluating the Impact of New Technology on Human-Machine Cooperation....Pages 133-158
Integrating Verification and Validation with the Design of Complex Man-Machine Systems....Pages 159-172
Assessment of Complexity....Pages 173-180
Limits to Analysis and Verification....Pages 181-191
The Validation and Verification of Complex Knowledge-Based Systems....Pages 193-202
Front Matter....Pages 203-203
The Reliability Of Interactive Systems: Simulation Based Assessment....Pages 205-221
The Identification of Latent Organizational Failures in Complex Systems....Pages 223-237
The Role of Incident Investigation in System Validation....Pages 239-250
Problems of Systematic Safety Assessments: Lessons Learned from Aircraft Accidents....Pages 251-259
Major Incidents, Safe and Reliable Verdicts and the Process of Validation and Verification....Pages 261-277
Front Matter....Pages 279-279
The Human Component of System Validation....Pages 281-304
When Task Demand is Variable: Verifying and Validating Mental Workload in Complex, β€œReal World” Systems....Pages 305-313
Performance Evaluation of Human-Machine Systems....Pages 315-332
Requirements Analysis for Human System Information Exchange....Pages 333-340
Front Matter....Pages 279-279
Working Memory and Human-Machine Systems....Pages 341-353
Front Matter....Pages 355-355
The Role of Verification and Validation in the Design Process of Knowledge Based Components of Air Traffic Control Systems....Pages 357-373
Automation and Representation in Complex Man-Machine Systems....Pages 375-380
How to Fit the Man-Machine Interface and Mental Models of the Operators....Pages 381-397
Front Matter....Pages 399-399
Cultures with Requisite Imagination....Pages 401-416
System Validation β€” A Step in a Continuous Improvement Process....Pages 417-421
Cultural Behavior in the Airline Cockpit System: A Theoretical Framework Proposal....Pages 423-432
Front Matter....Pages 433-433
The Inclusion of Future Users in the Design and Evaluation Process....Pages 435-441
User Involvement in the Development of Highly Interactive Software Systems....Pages 443-451
Psychological Aspects of Human Factors Testing and Evaluation of Military Human-Machine Systems....Pages 453-455
Involving the User in the Design of Computer-Based Displays in Power Plant Control Rooms....Pages 457-461
Front Matter....Pages 463-463
Systems Theory Versus Verification and Validation....Pages 465-474
Controlling Factors: An Operator’s Perspective....Pages 475-479
What They Want Is What They Get?....Pages 481-487
Contemporary Issues in ATC System Development....Pages 489-495
Validation Problems in Air Traffic Control Systems....Pages 497-520
Simulating and Evaluating the Future β€” Pitfalls or Success?....Pages 521-527
The National Plan for Aviation Human Factors....Pages 529-540
Front Matter....Pages 541-541
Test and Evaluation Program for a Prototype of an Advanced Computerized Control Room for Nuclear Power Plants....Pages 543-552
Validation Issues in Decision Support Systems for Maintenance Planning....Pages 553-574
Front Matter....Pages 541-541
Artificial Habitat for Man in Extreme Environments as an Integrated Human-Machine System....Pages 575-583
Concept of a FMS/ATC Air-Ground Data Link Testbed Employing an Airbus A340 Full Flight Simulator....Pages 585-592
The Qualification of Military Aircraft Cockpits....Pages 593-608
The Use of Video to Verify and Validate Human System Interactions: A Methodology....Pages 609-615
Potential Application of Neural Networks to Verification and Validation of Complex Systems....Pages 617-623
Front Matter....Pages 625-625
Verification and Validation of the Training Components of Highly Complex Systems....Pages 627-633
An Expert Air Traffic Control Teaching Machine: Critical Learning Issues....Pages 635-650
Interaction of Stages in Validating and Verifying ATC Training....Pages 651-657
The Verification of Pilot Abilities as a Basis for Validating Flight Crew Competency....Pages 659-670
Front Matter....Pages 671-671
Closing Remarks....Pages 673-678
Complex and Integrated Human-Machine Systems: Retroflections....Pages 679-685
Back Matter....Pages 687-710

✦ Subjects


Software Engineering;System Performance and Evaluation;Complexity;Special Purpose and Application-Based Systems


πŸ“œ SIMILAR VOLUMES


Verification and Validation of Rule-Base
✍ Suzanne Smith (Author); Abraham Kandel (Author) πŸ“‚ Library πŸ“… 1993 πŸ› CRC Press

<p>This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these

System-on-Chip Security: Validation and
✍ Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra πŸ“‚ Library πŸ“… 2020 πŸ› Springer International Publishing 🌐 English

<p><p>This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle. The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and sid

Human Factors in Simple and Complex Syst
✍ Proctor, Robert W.; Zandt, Trisha Van πŸ“‚ Library πŸ“… 2008 πŸ› CRC Press 🌐 English

Historical Foundations of Human FactorsHistorical Foundations of Human FactorsResearch Methods in Human FactorsReliability and Human Error in SystemsHuman Information Processing Perceptual Factors and Their ApplicationsVisual PerceptionPerception of Objects in the WorldHearing, Proprioception, and t

Human Factors in Simple and Complex Syst
✍ Proctor, Robert W.; Zandt, Trisha Van πŸ“‚ Library πŸ“… 2008 πŸ› CRC Press 🌐 English

Historical Foundations of Human FactorsHistorical Foundations of Human FactorsResearch Methods in Human FactorsReliability and Human Error in SystemsHuman Information Processing Perceptual Factors and Their ApplicationsVisual PerceptionPerception of Objects in the WorldHearing, Proprioception, and t

Validation and Verification of Knowledge
✍ JesΓΊs CardeΓ±osa, David Escorial (auth.), Anca Vermesan, Frans Coenen (eds.) πŸ“‚ Library πŸ“… 1999 πŸ› Springer US 🌐 English

<p>Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout develo