دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Design and Safety Assessment of Critical Systems
دانلود کتاب طراحی و ارزیابی ایمنی سیستم های بحرانی
مشخصات کتاب
Design and Safety Assessment of Critical Systems
ویرایش: 1
نویسندگان: Marco Bozzano. Adolfo Villafiorita
سری:
ISBN (شابک) : 1439803315, 9781439803318
ناشر: Auerbach Publications
سال نشر: 2010
تعداد صفحات: 286
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Design and Safety Assessment of Critical Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی و ارزیابی ایمنی سیستم های بحرانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی و ارزیابی ایمنی سیستم های بحرانی
سیستم‌های حیاتی ایمنی، طبق تعریف، آن دسته از سیستم‌هایی که شکست آنها می‌تواند نتایج فاجعه‌باری را برای مردم، محیط‌زیست و اقتصاد به همراه داشته باشد، هم از نظر عملکرد و هم در تعامل با محیط‌زیست پیچیده‌تر می‌شوند. متأسفانه، ارزیابی های ایمنی هنوز عمدتاً به صورت دستی انجام می شود، فرآیندی زمان بر و مستعد خطا. پیچیدگی فزاینده این سیستم ها مستلزم افزایش مهارت و کارایی مهندسان ایمنی است و پذیرش تکنیک های رسمی و استاندارد را تشویق می کند. مقدمه‌ای بر حوزه طراحی و تأیید سیستم‌های حیاتی ایمنی، طراحی و ارزیابی ایمنی سیستم‌های حیاتی بر ارزیابی ایمنی با استفاده از روش‌های رسمی تمرکز دارد. با مقدمه ای بر مفاهیم اساسی ایمنی و قابلیت اطمینان، مسائل محوری طراحی، توسعه و ارزیابی ایمنی سیستم های حیاتی را نشان می دهد. هسته اصلی کتاب نمادها، تکنیک‌ها و رویه‌های سنتی، از جمله تجزیه و تحلیل درخت خطا، FMECA، HAZOP و تجزیه و تحلیل درخت رویداد را پوشش می‌دهد و به تفصیل توضیح می‌دهد که چگونه می‌توان از روش‌های رسمی برای تحقق چنین رویه‌هایی استفاده کرد. این به روند توسعه سیستم های حیاتی ایمنی نگاه می کند و جنبه های مدیریتی و سازمانی تأثیرگذار را برجسته می کند. در نهایت، تکنیک‌های تأیید و اعتبارسنجی و روندهای جدید در روش‌های رسمی ایمنی را تشریح می‌کند و با برخی استانداردهای پذیرفته‌شده برای صدور گواهینامه سیستم‌های حیاتی ایمنی به پایان می‌رسد. ارائه دیدگاهی عمیق و عملی از کاربرد تکنیک‌های رسمی برای ارزیابی‌های ایمنی پیشرفته و حیاتی در بخش‌های مختلف صنعتی، مانند حمل‌ونقل، هواپیما و هوافضا، و انرژی هسته‌ای، طراحی و ارزیابی ایمنی سیستم‌های حیاتی به هر کسی اجازه می‌دهد. با پیشینه پایه در ریاضیات یا علوم کامپیوتر برای حرکت با اطمینان به این عرصه پیشرفته ارزیابی ایمنی.
توضیحاتی درمورد کتاب به خارجی
Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques. An introduction to the area of design and verification of safety-critical systems, Design and Safety Assessment of Critical Systems focuses on safety assessment using formal methods. Beginning with an introduction to the fundamental concepts of safety and reliability, it illustrates the pivotal issues of design, development, and safety assessment of critical systems. The core of the book covers traditional notations, techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, and Event Tree Analysis, and explains in detail how formal methods can be used to realize such procedures. It looks at the development process of safety-critical systems, and highlights influential management and organizational aspects. Finally, it describes verification and validation techniques and new trends in formal methods for safety and concludes with some widely adopted standards for the certification of safety-critical systems. Providing an in-depth and hands-on view of the application of formal techniques to advanced and critical safety assessments in a variety of industrial sectors, such as transportation, avionics and aerospace, and nuclear power, Design and Safety Assessment of Critical Systems allows anyone with a basic background in mathematics or computer science to move confidently into this advanced arena of safety assessment.
فهرست مطالب
Design and Safety Assessment of Critical Systems......Page 2
Other titles from Auerbach Publications and CRC Press......Page 3
Design and Safety Assessment of Critical Systems......Page 4
Dedication ......Page 6
Contents......Page 8
Preface......Page 14
Acknowledgments......Page 16
About the Authors......Page 18
1.1 Complex Safety- Critical Systems......Page 20
1.1.1 A Steady Trend toward Complexity......Page 21
1.1.2 An Engineering Challenge......Page 23
1.2 Dealing with Failures: A Short History of Safety Engineering......Page 26
1.3 The Role of Formal Methods......Page 27
1.4 A Case Study: Three Mile Island......Page 28
1.4.1 Pressurized Water Reactors ( PWRs)......Page 29
1.4.2 When Things Go Wrong......Page 32
1.4.3 The Plant Structure......Page 33
1.4.4 Formal Model of a PWR......Page 34
References......Page 36
2.1 Introduction......Page 40
2.2.1 Safety......Page 41
2.2.3 Availability......Page 42
2.2.5 Maintainability......Page 43
2.3 Classification of Faults......Page 44
2.4 Fault Models......Page 45
2.4.1 The Stuck- At Fault Model......Page 46
2.4.4 The Delay Fault Model......Page 48
2.5 Managing Faults......Page 49
2.6 Fault Detection......Page 50
2.6.4 Instruction and Bus Monitoring......Page 51
2.6.7 Watchdog and Health Monitoring......Page 52
2.8 Fault Tolerance......Page 53
2.8.1 Triple Modular Redundancy......Page 54
2.8.2 Dealing with Multiple Failures......Page 55
2.8.3 Dealing with Failures of the Voting Component......Page 56
2.8.4 Dealing with Systematic Failures......Page 57
2.8.5 Fault Tolerance and Fault Detection......Page 58
2.8.7 Emergency Shutdown Systems......Page 59
2.8.8 An Example of Redundant Architecture: Fly- by- Wire Systems......Page 61
2.9 Fault Coverage......Page 62
2.10 Reliability Modeling......Page 63
2.11.1 Series Structures......Page 67
2.11.2 Parallel Structures......Page 69
References......Page 70
3.1 Introduction......Page 72
3.2.1 Fault Tree Analysis ( FTA)......Page 73
3.2.2 Failure Mode and Effects Analysis ( FMEA)......Page 79
3.2.3 Hazard and Operability ( HAZOP) Studies......Page 80
3.2.4 Event Tree Analysis......Page 83
3.3 Risk Analysis......Page 84
3.4.1 Classification of Hazards: Severity......Page 85
3.4.3 Classification of Risks......Page 86
3.4.4 Risk Management and Acceptance......Page 87
References......Page 88
4.1 Introduction......Page 90
4.2 What Makes a System Complex......Page 91
4.3.1 Novelty......Page 92
4.3.4 Geographical Distribution......Page 93
4.3.6 Tools......Page 94
4.4 Measuring the Impact of Complexity......Page 95
4.5 From System to Process......Page 100
4.5.1 Obligations and Benefits......Page 101
4.5.2 Early Assessment......Page 103
4.6 A General Development Framework......Page 105
4.6.1 Phases and Phase Transition......Page 108
4.6.2.1 The Rational Unified Process......Page 109
4.6.2.2 ESA Standards......Page 110
4.6.3 Organization and Sequencing of Phases......Page 111
4.6.4 Workflows......Page 113
4.7.1 Feasibility Study......Page 114
4.7.2 Requirements Analysis......Page 116
4.7.3 Design......Page 117
4.7.5 Hierarchical Design of Systems......Page 118
4.8.1 Acceptance Test Definition......Page 120
4.8.3 Unit Test Definition......Page 122
4.8.4 Test Execution......Page 123
4.9.1 Preliminary Hazard Analysis ( PHA) and Hazard Analysis ( HA)......Page 124
4.9.2 Determination of Assurance Levels......Page 127
4.9.3 Preliminary Safety Assessment ( PSA)......Page 129
4.9.5 Common Cause Analysis ( CCA)......Page 133
4.9.6 Common Cause Analysis and Software......Page 136
4.9.7 Operating and Support Hazard Analysis......Page 137
4.10 Certification Management Workflow......Page 138
4.11 Project Management Workflow......Page 140
4.11.1 Safety Process Definition and Tailoring......Page 142
4.11.3 Other Management Activities......Page 143
4.12 Tool Support......Page 144
4.12.1 Supporting the Development Workflow......Page 146
4.12.2 Supporting the Testing Workflow......Page 148
4.12.4 Supporting the Project Management Workflow......Page 149
4.13 Improving the Process: Maturity Models......Page 151
References......Page 153
5.1 Introduction......Page 158
5.2 Advantages of Formal Methods......Page 159
5.3 Formal Methods in the Development Process......Page 160
5.4 Problems and Limitations......Page 164
5.5 History of Formal Methods......Page 167
5.6.1 Algebraic Specification Languages......Page 168
5.6.2 Model- Based Specification Languages......Page 169
5.6.4 Logic- Based Languages......Page 170
5.6.5 State Transition Systems......Page 172
5.6.6 Temporal Logic......Page 175
5.7.1 Testing and Simulation......Page 180
5.7.2 Theorem Proving......Page 185
5.7.3 Model Checking......Page 186
5.7.4 Using Model Checking for Requirements Validation......Page 191
5.7.5 Using Model Checking for Property Verification......Page 196
5.8 Formal Safety Analysis......Page 199
5.8.1 Fault Injection......Page 201
5.8.2 Fault Models and Model Extension......Page 202
5.8.3 Property Verification......Page 205
5.8.4 Fault Tree Generation......Page 207
5.8.5 FMEA Table Generation......Page 212
5.9 Industrial Applications of Formal Methods......Page 215
5.9.2 The Central Control Function Display Information System ( CDIS)......Page 216
5.9.4 The Mondex Electronic Purse......Page 217
5.9.6 The Traffic Collision Avoidance System ( TCAS)......Page 218
5.9.8 The VIPER Microprocessor......Page 219
5.9.11 The BOS Control System......Page 220
5.9.12 The SLAM Project and the Static Design Verifier......Page 221
5.10 Conclusions and Future Directions......Page 222
References......Page 224
6.1 Certification of Avionic Systems......Page 232
6.2 So Many Standards, So Little Time......Page 236
6.4 Avionics Reference Standards......Page 239
6.5 ARP 4754......Page 241
6.5.1 System Development......Page 242
6.5.3 Assignment of Development Assurance Levels......Page 243
6.5.5 Validation......Page 245
6.6 ARP 4761......Page 246
6.7.1 Document Overview......Page 247
6.7.2 Goals......Page 249
6.7.3 Verification Activities......Page 251
6.7.5 The Role of Tools......Page 252
6.8 The Case for the Safety Case......Page 253
6.9 Formal Methods and Certification......Page 255
References......Page 257
A. 1 Introduction......Page 260
A. 4 Implementation......Page 261
A. 7 Functionalities......Page 262
References......Page 263
B. 1 Introduction......Page 266
B. 3 Architecture......Page 267
B. 4 Implementation......Page 270
B. 7 Functionalities......Page 271
B. 8 Applications......Page 274
References......Page 275
C. 1 BSI, British Standards Institution......Page 278
C. 4 DSTAN, U. K. Defence Standardization......Page 279
C. 7 EUROCONTROL......Page 280
C. 10 FAA, Federal Aviation Administration......Page 281
C. 13 ISO, International Organization for Standardization......Page 282
C. 15 NASA, National Aeronautics and Space Administration......Page 283
C. 16 NRC, U. S. Nuclear Regulatory Commission......Page 284
C. 19 SAE International......Page 285
References......Page 286
