Reliability and risk issues in large scale safety-critical digital control systems:
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Springer
2009
|
| Series: | Springer series in reliability engineering
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Item Description: | Erscheint: August 2008 |
| Physical Description: | XXIV, 303 S. 112 schw.-w. Ill., 36 schw.-w. Tab., 24 schw.-w. Fotos, 88 schw.-w. graph. Darst. |
| ISBN: | 9781848003835 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035125708 | ||
| 003 | DE-604 | ||
| 005 | 20090407 | ||
| 007 | t | ||
| 008 | 081028s2009 ado| |||| 00||| eng d | ||
| 015 | |a 08,N26,1329 |2 dnb | ||
| 016 | 7 | |a 989103943 |2 DE-101 | |
| 020 | |a 9781848003835 |c Gb. : ca. EUR 106.95 (freier Pr.) |9 978-1-84800-383-5 | ||
| 024 | 3 | |a 9781848003835 | |
| 028 | 5 | 2 | |a 11909170 |
| 035 | |a (OCoLC)233935006 | ||
| 035 | |a (DE-599)DNB989103943 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-83 | ||
| 050 | 0 | |a TJ223.M53 | |
| 082 | 0 | |a 629.8312 |2 22 | |
| 084 | |a ZG 9270 |0 (DE-625)156055: |2 rvk | ||
| 084 | |a ZQ 5200 |0 (DE-625)158117: |2 rvk | ||
| 084 | |a ZQ 5340 |0 (DE-625)158134: |2 rvk | ||
| 084 | |a 600 |2 sdnb | ||
| 245 | 1 | 0 | |a Reliability and risk issues in large scale safety-critical digital control systems |c Poong Hyun Seong, ed. |
| 264 | 1 | |a London |b Springer |c 2009 | |
| 300 | |a XXIV, 303 S. |b 112 schw.-w. Ill., 36 schw.-w. Tab., 24 schw.-w. Fotos, 88 schw.-w. graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer series in reliability engineering | |
| 500 | |a Erscheint: August 2008 | ||
| 650 | 4 | |a Digital control systems | |
| 650 | 4 | |a Digital control systems |x Reliability | |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitale Regelung |0 (DE-588)4012293-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Digitale Regelung |0 (DE-588)4012293-1 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Seong, Poong Hyun |4 edt | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016793296 | ||
Record in the Search Index
| _version_ | 1804138105673875456 |
|---|---|
| adam_text | Contents
List of Contributors
..........................................................................................xv
List of Figures
.................................................................................................xvii
List of Tables
.................................................................................................xxiii
Part I Hardware-related Issues and Countermeasures
1
Reliability of Electronic Components
...........................................................3
Jong Gyun Choi, Poong Hyun Seong
1.1
Mathematical Reliability Models
.............................................................5
1.2
Permanent Failure Models of the Electronic Components
........................7
1.3
Intermittent Failure Models of the Electronic Components
.....................13
1.4
Transient Failure Models of the Electronic Components
........................15
1.5
Concluding Remarks
.............................................................................20
References
....................................................................................................21
2
Issues in System Reliability and Risk Model
25
Hyun Gook Kang
2.1
System Reliability Models
....................................................................27
2.1.1
Simple System Structure
............................................................29
2.1.2
Complicated System Structure
....................................................31
viii Contents
2.2
Modeling of the Multi-tasking of Digital Systems
..................................32
2.2.1
Risk Concentration
.....................................................................32
2.2.2
Dynamic Nature
.........................................................................35
2.3
Estimation of Software Failure Probability
............................................36
2.3.1
Quantification of Software Reliability
........................................36
2.3.2
Assessment of Software Development Process
............................37
2.3.3
Other Issues
...............................................................................38
2.4
Evaluation of Fault Tolerance Features
..................................................38
2.5
Evaluation ofNetwork Communication Safety
......................................41
2.6
Assessment of Human Failure Probability
.............................................42
2.7
Assessment of Common-cause Failure
..................................................43
2.8
Concluding Remarks
.............................................................................45
References
....................................................................................................45
3
Case Studies for System Reliability and Risk Assessment
.........................47
Jong Gyun Choi, Hyun Gook Kang, Poong Hyun Seong
3.1
Case Study
1 :
Reliability Assessment of Digital Hardware Modules
......48
3.2
Case Study
2:
Reliability Assessment of Embedded
Digital System Using Multi-state Function
............................................51
3.2.1
Model
........................................................................................53
3.2.2
A Model Application to NPP Component Control System
...........59
3.3
Case Study
3 :
Risk Assessment of Safety-critical Digital System
...........62
3.3.1
Procedures for the
PRA
of Digital I&C System
...........................63
3.3.2
System Layout and Modeling Assumptions
................................64
3.3.3
Quantification
............................................................................67
3.3.4
Sensitivity Study for the Fault Coverage
and the Software Failure Probability
...........................................69
3.3.5
Sensitivity Study for Condition-based
HRA
Method
...................73
3.4
Concluding Remarks
.............................................................................76
References
....................................................................................................76
Contents ix
Part II Software-related Issues and Counter
meas
ures
4
Software Faults and Reliability
..................................................................81
Han Seong Son, Man Cheol Kim
4.1
Software Faults
.....................................................................................81
4.1.1
Systematic Software Fault
..........................................................82
4.1.2
Random Software Fault
..............................................................83
4.1.3
Software Faults and System Reliability Estimation
.....................84
4.2
Quantitative Software Reliability Models
..............................................84
4.2.1
A Classification of Quantitative Software Reliability Models
......85
4.2.2
Time-related Software Reliability Models Versus
Non-time-related Software Reliability Models
............................86
4.2.3
Issues in Software Reliability Quantification
...............................87
4.2.4
Reliability Growth Models and Their Applicability
.....................89
4.3
Qualitative Software Reliability Evaluation
...........................................91
4.3.1
Software Fault Tree Analysis
......................................................92
4.3.2
Software Failure Mode and Effect Analysis
................................98
4.3.3
Software Hazard and
Operability
Studies
....................................99
4.4
Concluding Remarks
...........................................................................1°°
References
..................................................................................................
101
5
Software Reliability Improvement Techniques
105
Han Seong Son,
Seo
Ryong Koo
5.1
Formal Methods
..................................................................................
106
5.1.1
Formal Specification
................................................................107
5.1.2
Formal Verification
..................................................................108
5.1.3
Formal Methods and Fault Avoidance
......................................108
5.2
Verification and Validation
.................................................................1
Ю
5.2.1
Lifecycle V&V
........................................................................112
5.2.2
Integrated Approach to V&V
....................................................113
5.3
Fault Tolerance Techniques
.................................................................116
5.3.1
Diversity
..................................................................................
116
χ
Contents
5.3.2
Block Recovery
.......................................................................117
5.3.3
Perspectives on Software Fault Tolerance
.................................118
5.4
Concluding Remarks
...........................................................................119
References
..................................................................................................119
6
NuSEE: Nuclear Software Engineering Environment
.............................121
Seo
Ryong Koo, Han Seong Son, Poong Hyun Seong
6.1
NuSEE Toolset
...................................................................................123
6.1.1
NuSISRT
.................................................................................123
6.1.2
NuSRS
.....................................................................................127
6.1.3
NuSDS
....................................................................................130
6.1.4
NuSCM
...................................................................................132
6.2
Concluding Remarks
...........................................................................133
References
..................................................................................................134
Part HI Human-factors-related Issues and Countermeasures
7
Human Reliability Analysis in Large-scale Digital Control Systems
.......139
Jae Whan Kim
7.1
First-generation
HRA
Methods
...........................................................140
7.1.1
THERP
....................................................................................140
7.1.2
HCR
........................................................................................141
7.1.3
SLIM
.......................................................................................142
7.1.4
HEART
...................................................................................142
7.2
Second-generation
HRA
Methods
.......................................................143
7.2.1
CREAM
...................................................................................143
7.2.2
ATHEANA
..............................................................................148
7.2.3
The MDTA-based Method
.......................................................151
7.3
Concluding Remarks
...........................................................................
I59
References
..................................................................................................160
Contents xi
8 Human
Factors
Engineering in
Large-scale
Digital
Control
Systems......163
Jong
Hyun Kim, Poong Hyun Seong
8.1
Analyses for
HMI Design....................................................................164
8.1.1
Function Analysis
....................................................................164
8.1.2
Task Analysis
...........................................................................166
8.1.3
Cognitive Factors
.....................................................................169
8.2
HMI Design
........................................................................................173
8.2.1
Computer-based Information Display
.......................................174
8.2.2
Automation
..............................................................................180
8.2.3
Computerized Operator Support Systems
..................................183
8.3
Human Factors Engineering Verification and Validation
......................187
8.3.1
Verification
..............................................................................187
8.3.2
Validation
................................................................................188
8.4
Summary and Concluding Remarks
.....................................................190
References
..................................................................................................191
9
HUPESS: Human Performance Evaluation Support System
..................197
Jun
Su
Ha, Poong Hyun Seong
9.1
Human Performance Evaluation with HUPESS
...................................199
9.1.1
Needs for the Human Performance Evaluation
..........................199
9.1.2
Considerations and Constraints in Development of HUPESS
.... 199
9.2
Human Performance Measures
............................................................202
9.2.1
Plant Performance
....................................................................202
9.2.2
Personnel Task Performance
.....................................................206
9.2.3
Situation Awareness
(SA)
.........................................................208
9.2.4
Workload
.................................................................................212
9.2.5
Teamwork
................................................................................216
9.2.6
Anthropométrie
and Physiological Factors
................................216
9.3
Human Performance Evaluation Support System (HUPESS)
...............217
9.3.1
Introduction
.............................................................................217
9.3.2
Configuration of HUPESS
........................................................217
xii Contents
9.3.3
Integrated Measurement, Evaluation, and Analysis
withHUPESS
..........................................................................220
9.4
Implications for
HRA
in ACRs
...........................................................223
9.4.1
Issues Related to
HRA
.............................................................223
9.4.2
Role of Human Performance Evaluation for
HRA
.....................223
9.5
Concluding Remarks
...........................................................................223
References
..................................................................................................224
Part IV Integrated System-related Issues and Countermeasures
10
Issues in Integrated Model of I&C Systems and Human Operators
........233
Man Cheol Kim, Poong Hyun Seong
10.1
Conventional Way of Considering I&C Systems
and Human Operators
.........................................................................233
10.2
Interdependency of I&C Systems and Human Operators
......................234
10.2.1
Risk Concentration on I&C Systems
.........................................235
10.2.2
Effects of Instrument Faults on Human Operators
.....................236
10.2.3
Dependency of I&C Systems on Human Operators
...................236
10.3
Important Factors in Situation Assessment of Human Operators
..........237
10.3.1
Possibilities of Providing Wrong Information
to Human Operators
.................................................................237
10.3.2
Operators Trust on Instruments
...............................................238
10.3.3
Different Difficulties in Correct Diagnosis
of Different Accidents
..............................................................238
10.4
Concluding Remarks
...........................................................................238
References
..................................................................................................240
11
Countermeasures in Integrated Model of I&C Systems
and Human Operators
..............................................................................241
Man Cheol Kim, Poong Hyun Seong
11.1
Human Operators Situation Assessment Model
..................................242
Contents xiii
11.1.1 Situation
Assessment
and Situation
Awareness
.........................242
11.1.2
Description of Situation Assessment Process
............................242
11.1.3
Modeling of Operators Rules
...................................................243
11.1.4
Bayesian Inference
...................................................................245
11.1.5
Knowledge-driven Monitoring
.................................................246
11.1.6
Ideal Operators Versus Real Human Operators
..........................247
11.2
An Integrated Model of I&C Systems and Human Operators
...............248
11.2.1
A Mathematical Model for I&C Systems
and Human Operators
...............................................................248
11.3
An Application to an Accident in an NPP
............................................249
11.3.1
Description on the Example Situation
.......................................249
11.3.2
A Probable Scenario for the Example Situation
.........................251
11.3.3
Quantitative Analysis for the Scenario
......................................252
11.3.4
Consideration of All Possible Scenarios
....................................254
11.3.5
Consideration of the Effects of Context Factors
........................255
11.4
Discussion
..........................................................................................259
11.5
Concluding Remarks
...........................................................................263
References
..................................................................................................264
12
INDESCO: Integrated Decision Support System to Aid
the Cognitive Activities of Operators
.......................................................265
Seung
Jun
Lee, Man Cheol Kim, Poong Hyun Seong
12.1
Main Control Room Environment
........................................................266
12.2
Cognitive Process Model for Operators in NPPs
..................................268
12.2.1
Human Cognitive Process Model
..............................................268
12.2.2
Cognitive Process Model for NPP Operators
.............................269
12.3
Integrated Decision Support System to Aid Cognitive Activities
of Operators (INDESCO)
....................................................................271
12.3.1
Architecture of INDESCO
........................................................271
12.3.2
Decision Support Systems for Cognitive Process
......................272
12.4
Quantitative Effect Estimation of Decision Support Systems
................275
12.4.1
Target System of the Evaluation
...............................................275
xiv Contents
12.4.2
HRA
Event
Trees
.....................................................................276
12.4.3
Assumptions for Evaluations
....................................................279
12.4.4
Evaluation Scenarios
................................................................282
12.4.5
Evaluation Results
...................................................................283
12.5
Concluding Remarks
...........................................................................285
References
..................................................................................................286
Acronyms and Abbreviations
.........................................................................289
Index
...............................................................................................................295
Reliability and Risk Issues in Large Scale
Safety-critical Digital Control Systems
Reliability and Risk Issues in Large Scale Safety-critical Digital Control
Systems provides some important 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 hardware and system reliability, software reliability, verification and
validation, digital systems, human factors engineering and human reliability
analysis.
Divided into four sections dealing with hardware and digital system
reliability, software reliability, human reliability and human operators in
integrated large-scale digital systems operation, Reliability and Risk Issues
in Large Scale Safety-critical Digital Control Systems offers insights from
professional researchers in each specialized field in a diverse yet unified
approach.
Springer Series in Reliability Engineering publishes high
quality books in important areas of current theoretical research and
development in reliability, and in areas that bridge the gap between
theory and application in areas of interest to practitioners in industry,
laboratories, business, and government.
|
| adam_txt |
Contents
List of Contributors
.xv
List of Figures
.xvii
List of Tables
.xxiii
Part I Hardware-related Issues and Countermeasures
1
Reliability of Electronic Components
.3
Jong Gyun Choi, Poong Hyun Seong
1.1
Mathematical Reliability Models
.5
1.2
Permanent Failure Models of the Electronic Components
.7
1.3
Intermittent Failure Models of the Electronic Components
.13
1.4
Transient Failure Models of the Electronic Components
.15
1.5
Concluding Remarks
.20
References
.21
2
Issues in System Reliability and Risk Model
25
Hyun Gook Kang
2.1
System Reliability Models
.27
2.1.1
Simple System Structure
.29
2.1.2
Complicated System Structure
.31
viii Contents
2.2
Modeling of the Multi-tasking of Digital Systems
.32
2.2.1
Risk Concentration
.32
2.2.2
Dynamic Nature
.35
2.3
Estimation of Software Failure Probability
.36
2.3.1
Quantification of Software Reliability
.36
2.3.2
Assessment of Software Development Process
.37
2.3.3
Other Issues
.38
2.4
Evaluation of Fault Tolerance Features
.38
2.5
Evaluation ofNetwork Communication Safety
.41
2.6
Assessment of Human Failure Probability
.42
2.7
Assessment of Common-cause Failure
.43
2.8
Concluding Remarks
.45
References
.45
3
Case Studies for System Reliability and Risk Assessment
.47
Jong Gyun Choi, Hyun Gook Kang, Poong Hyun Seong
3.1
Case Study
1 :
Reliability Assessment of Digital Hardware Modules
.48
3.2
Case Study
2:
Reliability Assessment of Embedded
Digital System Using Multi-state Function
.51
3.2.1
Model
.53
3.2.2
A Model Application to NPP Component Control System
.59
3.3
Case Study
3 :
Risk Assessment of Safety-critical Digital System
.62
3.3.1
Procedures for the
PRA
of Digital I&C System
.63
3.3.2
System Layout and Modeling Assumptions
.64
3.3.3
Quantification
.67
3.3.4
Sensitivity Study for the Fault Coverage
and the Software Failure Probability
.69
3.3.5
Sensitivity Study for Condition-based
HRA
Method
.73
3.4
Concluding Remarks
.76
References
.76
Contents ix
Part II Software-related Issues and Counter
meas
ures
4
Software Faults and Reliability
.81
Han Seong Son, Man Cheol Kim
4.1
Software Faults
.81
4.1.1
Systematic Software Fault
.82
4.1.2
Random Software Fault
.83
4.1.3
Software Faults and System Reliability Estimation
.84
4.2
Quantitative Software Reliability Models
.84
4.2.1
A Classification of Quantitative Software Reliability Models
.85
4.2.2
Time-related Software Reliability Models Versus
Non-time-related Software Reliability Models
.86
4.2.3
Issues in Software Reliability Quantification
.87
4.2.4
Reliability Growth Models and Their Applicability
.89
4.3
Qualitative Software Reliability Evaluation
.91
4.3.1
Software Fault Tree Analysis
.92
4.3.2
Software Failure Mode and Effect Analysis
.98
4.3.3
Software Hazard and
Operability
Studies
.99
4.4
Concluding Remarks
.1°°
References
.
101
5
Software Reliability Improvement Techniques
105
Han Seong Son,
Seo
Ryong Koo
5.1
Formal Methods
.
106
5.1.1
Formal Specification
.107
5.1.2
Formal Verification
.108
5.1.3
Formal Methods and Fault Avoidance
.108
5.2
Verification and Validation
.1
Ю
5.2.1
Lifecycle V&V
.112
5.2.2
Integrated Approach to V&V
.113
5.3
Fault Tolerance Techniques
.116
5.3.1
Diversity
.
116
χ
Contents
5.3.2
Block Recovery
.117
5.3.3
Perspectives on Software Fault Tolerance
.118
5.4
Concluding Remarks
.119
References
.119
6
NuSEE: Nuclear Software Engineering Environment
.121
Seo
Ryong Koo, Han Seong Son, Poong Hyun Seong
6.1
NuSEE Toolset
.123
6.1.1
NuSISRT
.123
6.1.2
NuSRS
.127
6.1.3
NuSDS
.130
6.1.4
NuSCM
.132
6.2
Concluding Remarks
.133
References
.134
Part HI Human-factors-related Issues and Countermeasures
7
Human Reliability Analysis in Large-scale Digital Control Systems
.139
Jae Whan Kim
7.1
First-generation
HRA
Methods
.140
7.1.1
THERP
.140
7.1.2
HCR
.141
7.1.3
SLIM
.142
7.1.4
HEART
.142
7.2
Second-generation
HRA
Methods
.143
7.2.1
CREAM
.143
7.2.2
ATHEANA
.148
7.2.3
The MDTA-based Method
.151
7.3
Concluding Remarks
.
I59
References
.160
Contents xi
8 Human
Factors
Engineering in
Large-scale
Digital
Control
Systems.163
Jong
Hyun Kim, Poong Hyun Seong
8.1
Analyses for
HMI Design.164
8.1.1
Function Analysis
.164
8.1.2
Task Analysis
.166
8.1.3
Cognitive Factors
.169
8.2
HMI Design
.173
8.2.1
Computer-based Information Display
.174
8.2.2
Automation
.180
8.2.3
Computerized Operator Support Systems
.183
8.3
Human Factors Engineering Verification and Validation
.187
8.3.1
Verification
.187
8.3.2
Validation
.188
8.4
Summary and Concluding Remarks
.190
References
.191
9
HUPESS: Human Performance Evaluation Support System
.197
Jun
Su
Ha, Poong Hyun Seong
9.1
Human Performance Evaluation with HUPESS
.199
9.1.1
Needs for the Human Performance Evaluation
.199
9.1.2
Considerations and Constraints in Development of HUPESS
. 199
9.2
Human Performance Measures
.202
9.2.1
Plant Performance
.202
9.2.2
Personnel Task Performance
.206
9.2.3
Situation Awareness
(SA)
.208
9.2.4
Workload
.212
9.2.5
Teamwork
.216
9.2.6
Anthropométrie
and Physiological Factors
.216
9.3
Human Performance Evaluation Support System (HUPESS)
.217
9.3.1
Introduction
.217
9.3.2
Configuration of HUPESS
.217
xii Contents
9.3.3
Integrated Measurement, Evaluation, and Analysis
withHUPESS
.220
9.4
Implications for
HRA
in ACRs
.223
9.4.1
Issues Related to
HRA
.223
9.4.2
Role of Human Performance Evaluation for
HRA
.223
9.5
Concluding Remarks
.223
References
.224
Part IV Integrated System-related Issues and Countermeasures
10
Issues in Integrated Model of I&C Systems and Human Operators
.233
Man Cheol Kim, Poong Hyun Seong
10.1
Conventional Way of Considering I&C Systems
and Human Operators
.233
10.2
Interdependency of I&C Systems and Human Operators
.234
10.2.1
Risk Concentration on I&C Systems
.235
10.2.2
Effects of Instrument Faults on Human Operators
.236
10.2.3
Dependency of I&C Systems on Human Operators
.236
10.3
Important Factors in Situation Assessment of Human Operators
.237
10.3.1
Possibilities of Providing Wrong Information
to Human Operators
.237
10.3.2
Operators' Trust on Instruments
.238
10.3.3
Different Difficulties in Correct Diagnosis
of Different Accidents
.238
10.4
Concluding Remarks
.238
References
.240
11
Countermeasures in Integrated Model of I&C Systems
and Human Operators
.241
Man Cheol Kim, Poong Hyun Seong
11.1
Human Operators' Situation Assessment Model
.242
Contents xiii
11.1.1 Situation
Assessment
and Situation
Awareness
.242
11.1.2
Description of Situation Assessment Process
.242
11.1.3
Modeling of Operators'Rules
.243
11.1.4
Bayesian Inference
.245
11.1.5
Knowledge-driven Monitoring
.246
11.1.6
Ideal Operators Versus Real Human Operators
.247
11.2
An Integrated Model of I&C Systems and Human Operators
.248
11.2.1
A Mathematical Model for I&C Systems
and Human Operators
.248
11.3
An Application to an Accident in an NPP
.249
11.3.1
Description on the Example Situation
.249
11.3.2
A Probable Scenario for the Example Situation
.251
11.3.3
Quantitative Analysis for the Scenario
.252
11.3.4
Consideration of All Possible Scenarios
.254
11.3.5
Consideration of the Effects of Context Factors
.255
11.4
Discussion
.259
11.5
Concluding Remarks
.263
References
.264
12
INDESCO: Integrated Decision Support System to Aid
the Cognitive Activities of Operators
.265
Seung
Jun
Lee, Man Cheol Kim, Poong Hyun Seong
12.1
Main Control Room Environment
.266
12.2
Cognitive Process Model for Operators in NPPs
.268
12.2.1
Human Cognitive Process Model
.268
12.2.2
Cognitive Process Model for NPP Operators
.269
12.3
Integrated Decision Support System to Aid Cognitive Activities
of Operators (INDESCO)
.271
12.3.1
Architecture of INDESCO
.271
12.3.2
Decision Support Systems for Cognitive Process
.272
12.4
Quantitative Effect Estimation of Decision Support Systems
.275
12.4.1
Target System of the Evaluation
.275
xiv Contents
12.4.2
HRA
Event
Trees
.276
12.4.3
Assumptions for Evaluations
.279
12.4.4
Evaluation Scenarios
.282
12.4.5
Evaluation Results
.283
12.5
Concluding Remarks
.285
References
.286
Acronyms and Abbreviations
.289
Index
.295
Reliability and Risk Issues in Large Scale
Safety-critical Digital Control Systems
Reliability and Risk Issues in Large Scale Safety-critical Digital Control
Systems provides some important 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 hardware and system reliability, software reliability, verification and
validation, digital systems, human factors engineering and human reliability
analysis.
Divided into four sections dealing with hardware and digital system
reliability, software reliability, human reliability and human operators in
integrated large-scale digital systems operation, Reliability and Risk Issues
in Large Scale Safety-critical Digital Control Systems offers insights from
professional researchers in each specialized field in a diverse yet unified
approach.
Springer Series in Reliability Engineering publishes high
quality books in important areas of current theoretical research and
development in reliability, and in areas that bridge the gap between
theory and application in areas of interest to practitioners in industry,
laboratories, business, and government. |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author2 | Seong, Poong Hyun |
| author2_role | edt |
| author2_variant | p h s ph phs |
| author_facet | Seong, Poong Hyun |
| building | Verbundindex |
| bvnumber | BV035125708 |
| callnumber-first | T - Technology |
| callnumber-label | TJ223 |
| callnumber-raw | TJ223.M53 |
| callnumber-search | TJ223.M53 |
| callnumber-sort | TJ 3223 M53 |
| callnumber-subject | TJ - Mechanical Engineering and Machinery |
| classification_rvk | ZG 9270 ZQ 5200 ZQ 5340 |
| ctrlnum | (OCoLC)233935006 (DE-599)DNB989103943 |
| dewey-full | 629.8312 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8312 |
| dewey-search | 629.8312 |
| dewey-sort | 3629.8312 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik allgemein Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| discipline_str_mv | Technik Technik allgemein Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02163nam a2200505 c 4500</leader><controlfield tag="001">BV035125708</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090407 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081028s2009 ado| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N26,1329</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">989103943</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848003835</subfield><subfield code="c">Gb. : ca. EUR 106.95 (freier Pr.)</subfield><subfield code="9">978-1-84800-383-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781848003835</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11909170</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)233935006</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB989103943</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TJ223.M53</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8312</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZG 9270</subfield><subfield code="0">(DE-625)156055:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 5200</subfield><subfield code="0">(DE-625)158117:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 5340</subfield><subfield code="0">(DE-625)158134:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">600</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliability and risk issues in large scale safety-critical digital control systems</subfield><subfield code="c">Poong Hyun Seong, ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 303 S.</subfield><subfield code="b">112 schw.-w. Ill., 36 schw.-w. Tab., 24 schw.-w. Fotos, 88 schw.-w. graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer series in reliability engineering</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Erscheint: August 2008</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital control systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital control systems</subfield><subfield code="x">Reliability</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitale Regelung</subfield><subfield code="0">(DE-588)4012293-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Digitale Regelung</subfield><subfield code="0">(DE-588)4012293-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seong, Poong Hyun</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016793296</subfield></datafield></record></collection> |
| id | DE-604.BV035125708 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:22:49Z |
| indexdate | 2024-07-09T21:22:54Z |
| institution | BVB |
| isbn | 9781848003835 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016793296 |
| oclc_num | 233935006 |
| open_access_boolean | |
| owner | DE-703 DE-83 |
| owner_facet | DE-703 DE-83 |
| physical | XXIV, 303 S. 112 schw.-w. Ill., 36 schw.-w. Tab., 24 schw.-w. Fotos, 88 schw.-w. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer series in reliability engineering |
| spelling | Reliability and risk issues in large scale safety-critical digital control systems Poong Hyun Seong, ed. London Springer 2009 XXIV, 303 S. 112 schw.-w. Ill., 36 schw.-w. Tab., 24 schw.-w. Fotos, 88 schw.-w. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer series in reliability engineering Erscheint: August 2008 Digital control systems Digital control systems Reliability Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Digitale Regelung (DE-588)4012293-1 gnd rswk-swf Digitale Regelung (DE-588)4012293-1 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 Seong, Poong Hyun edt Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Reliability and risk issues in large scale safety-critical digital control systems Digital control systems Digital control systems Reliability Zuverlässigkeit (DE-588)4059245-5 gnd Digitale Regelung (DE-588)4012293-1 gnd |
| subject_GND | (DE-588)4059245-5 (DE-588)4012293-1 |
| title | Reliability and risk issues in large scale safety-critical digital control systems |
| title_auth | Reliability and risk issues in large scale safety-critical digital control systems |
| title_exact_search | Reliability and risk issues in large scale safety-critical digital control systems |
| title_exact_search_txtP | Reliability and risk issues in large scale safety-critical digital control systems |
| title_full | Reliability and risk issues in large scale safety-critical digital control systems Poong Hyun Seong, ed. |
| title_fullStr | Reliability and risk issues in large scale safety-critical digital control systems Poong Hyun Seong, ed. |
| title_full_unstemmed | Reliability and risk issues in large scale safety-critical digital control systems Poong Hyun Seong, ed. |
| title_short | Reliability and risk issues in large scale safety-critical digital control systems |
| title_sort | reliability and risk issues in large scale safety critical digital control systems |
| topic | Digital control systems Digital control systems Reliability Zuverlässigkeit (DE-588)4059245-5 gnd Digitale Regelung (DE-588)4012293-1 gnd |
| topic_facet | Digital control systems Digital control systems Reliability Zuverlässigkeit Digitale Regelung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016793296&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT seongpoonghyun reliabilityandriskissuesinlargescalesafetycriticaldigitalcontrolsystems |