Software safety and reliability : techniques, approaches, and standards of key industrial sectors

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Title:

Personal Author:

Herrmann, Debra S.

Publication Information:

Los Alamitos, Calif. : IEEE Computer Society, 1999

ISBN:

9780769502991

Subject Term:

Computer software -- Reliability

System safety

Available:*

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010048233	QA76.76.R44 H39 1999	Open Access Book	Book	Searching... Unknown

The role of software has changed from simply generating financial or mechanical data to monitoring and controlling equipment that directly affects human life and safety. As a result, a more thorough understanding and familiarity with the specialized techniques used to achieve and assess the safety and reliability of software is needed in academia, industry, and government.

This original text introduces the concepts, techniques, and approaches used to achieve and assess software safety and reliability. Debra Herrmann presents a cross-section of current safety and reliability standards that cross multiple industrial sectors while focusing on the additional required activities to achieve software safety and reliability. In organizing this text, the she has three objectives. The first is to raise the reader's awareness on the importance of software safety and reliability and on its role in mission critical systems by presenting many illustrative, ever day examples. The second objective is to provide practical information about the current methods used to achieve and assess software safety and reliability. The final objective is to improve the understanding and practice of software safety and reliability by consolidating the latest research so that it can be compared and analyzed for the future.

The book is written for engineers, scientists, managers, regulators, and policy makers involved in the design, development, acquisition, and certification of safety-critical systems.

Author Notes

Debra S. Herrmann is the author of Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, published by Wiley.

I Introduction to Software Safety and Reliability	p. 1
1 Introduction	p. 5
1.1 Background	p. 5
1.2 Purpose	p. 6
1.3 Scope	p. 7
0.4 Intended Audience	p. 8
1.5 Organization	p. 8
1.6 Acknowledgments	p. 10
Additional Resources	p. 11
2 Software Safety and Reliability Basics	p. 13
2.1 Software Safety Basics	p. 13
2.2 Software Reliability Basics	p. 21
2.3 Differences Between Hardware and Software Reliability	p. 25
2.4 Achieving and Assessing Software Safety and Reliability	p. 32
2.5 Role of Standards	p. 62
2.6 Concluding Remarks	p. 63
2.7 Discussion Problems	p. 63
Additional Resources	p. 67
II Approaches Promoted by Key Industrial Sectors to Software Safety and Reliability	p. 75
3 Transportation Industry	p. 79
3.1 CENELEC EN 50128:1997, Railway Applications	p. 83
3.2 MISRA Development Guidelines for Vehicle-Based Software	p. 100
3.3 SAE JA 1002 Software Reliability Program Standard	p. 111
3.4 Summary	p. 119
3.5 Discussion Problems	p. 120
3.6 Acknowledgments	p. 121
Additional Resources	p. 121
4 Aerospace Industry	p. 125
4.1 Commercial Aviation: RTCA/DO-178B	p. 126
4.2 European Space Agency (ESA)	p. 137
4.3 National Aeronautics and Space Administration (NASA)	p. 148
4.4 ANSI/AIAA R-013-1992 Recommended Practice: Software Reliability	p. 158
4.5 Summary	p. 160
4.6 Discussion Problems	p. 161
Additional Resources	p. 162
5 Defense Industry	p. 165
5.1 MIL-STD-882D: Mishap Risk Management	p. 166
5.2 DEF STAN 00-55	p. 191
5.3 NATO COTS Software Acquisition Guidelines and Policy Issues	p. 217
5.4 Summary	p. 219
5.5 Discussion Problems	p. 223
Additional Resources	p. 224
6 Nuclear Power Industry	p. 229
6.1 IEC 60880:1986-09	p. 230
6.2 CE-1001-STD Rev. 1	p. 246
6.3 Summary	p. 267
6.4 Discussion Problems	p. 268
6.5 Acknowledgment	p. 269
Additional Resources	p. 269
7 Biomedical Industry	p. 275
7.1 IEC 601-1-4(1996-06), Medical Electrical Equipment	p. 275
7.2 Summary	p. 300
7.3 Discussion Problems	p. 300
Additional Resources	p. 301
III Approaches Promoted by Non--Industry Specific Software Safety and Reliability Standards	p. 305
8 IEC Software Dependability Standards	p. 309
8.1 IEC 61508-3:1998-12	p. 309
8.2 IEC 300-3-9:1995-12	p. 334
8.3 ISO/IEC 15026:1998-04-29	p. 336
8.4 Summary	p. 338
8.5 Discussion Problems	p. 338
Additional Resources	p. 339
9 IEE SEMSPLC Guidelines	p. 343
9.1 Background	p. 343
9.2 Purpose and Scope	p. 343
9.3 Description	p. 344
9.4 Strengths	p. 360
9.5 Areas for Improvement	p. 360
9.6 Results Observed to Date	p. 360
9.7 Summary	p. 361
9.8 Discussion Problems	p. 361
Additional Resources	p. 361
10 ANSI/IEEE Std. 982.1-1989 and 982.2-1989	p. 365
10.1 Background	p. 365
10.2 Purpose and Scope	p. 365
10.3 Description	p. 365
10.4 Strengths	p. 411
10.5 Areas for Improvement	p. 412
10.6 Relationship to Other Approaches	p. 412
10.7 Results Observed to Date	p. 412
10.8 Summary	p. 413
10.9 Discussion Problems	p. 415
Additional Resources	p. 415
11 IEEE Std. 1228-1994, Standard for Software Safety Plans	p. 419
11.1 Background	p. 419
11.2 Purpose and Scope	p. 419
11.3 Description	p. 420
11.4 Strengths	p. 431
11.5 Areas for Improvement	p. 431
11.6 Results Observed to Date	p. 432
11.7 Summary	p. 432
11.8 Discussion Problems	p. 432
Additional Resources	p. 433
IV Observations and Conclusions	p. 435
12 Observations and Conclusions	p. 439
12.1 p. 439
12.2 p. 441
12.3 p. 445
12.4 p. 446
12.5 p. 447
12.6 p. 454
12.7 p. 460
12.8 p. 462
12.9 p. 464
12.10 p. 465
12.11 Discussion Problems	p. 469
Additional Resources	p. 469
A Organizations Involved in Software Safety and Reliability Standards	p. 475
B Commercial Products Available	p. 481
Index	p. 493

Available:*

On Order

Summary

Summary

Author Notes

Table of Contents