Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems. Unlike other books which examine theories and issues in individual fields, this book reviews important problems and countermeasures across the fields of software reliability, software verification and validation, digital systems, human factors engineering and human reliability analysis. Divided into four sections dealing with software reliability, digital system reliability, human reliability and human operators in large-scale digital systems, the book offers insights from professional researchers in each specialized field in a diverse yet unified approach.

Provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems. Includes supplementary material: sn.pub/extras

Autorentext

Poong Hyun Seong is a full professor at the Korea Advanced Institute of Science and Technology (KAIST), where he founded the Nuclear Instrumentation and Control and Information Engineering (NICIE) laboratory, one of the National Research Laboratories (NRL). He has served as a consultant to the Korea Electric Power Research Institute (KEPRI), the Korea Power Electric Company (KOPEC), and the Korea Atomic Energy Research Institute (KAERI). His research interests include research and development of digital instrumentation and control systems, software verification and validation, digital system reliability/safety assessment, human reliability assessment (HRA), quantitative safety assessment of instrumentation and control systems (including human operators), cognitive systems engineering, and research and development of ubiquitous maintenance systems.

Inhalt
Hardware-related Issues and Countermeasures.- Reliability of Electronic Components.- Issues in System Reliability and Risk Model.- Case Studies for System Reliability and Risk Assessment.- Software-related Issues and Countermeasures.- Software Faults and Reliability.- Software Reliability Improvement Techniques.- NuSEE: Nuclear Software Engineering Environment.- Human-factors-related Issues and Countermeasures.- Human Reliability Analysis in Large-scale Digital Control Systems.- Human Factors Engineering in Large-scale Digital Control Systems.- HUPESS: Human Performance Evaluation Support System.- Integrated System-related Issues and Countermeasures.- Issues in Integrated Model of I&C Systems and Human Operators.- Countermeasures in Integrated Model of I&C Systems and Human Operators.- INDESCO: Integrated Decision Support System to Aid the Cognitive Activities of Operators.