Cover image for Software safety and reliability : techniques, approaches, and standards of key industrial sectors
Title:
Software safety and reliability : techniques, approaches, and standards of key industrial sectors
Author:
Herrmann, Debra S.
Personal Author:
Publication Information:
Los Alamitos, Calif. : IEEE Computer Society, [1999]

©1999
Physical Description:
xvi, 503 pages : illustrations ; 26 cm
Language:
English
ISBN:
9780769502991
Format :
Book

Available:*

Library
Call Number
Material Type
Home Location
Status
Item Holds
Searching...
QA76.76.R44 H39 1999 Adult Non-Fiction Central Closed Stacks
Searching...

On Order

Summary

Summary

The role of software has changed from simply generating financialor mechanical data to monitoring and controlling equipment thatdirectly affects human life and safety. As a result, a morethorough understanding and familiarity with the specializedtechniques used to achieve and assess the safety and reliability ofsoftware is needed in academia, industry, and government.

This original text introduces the concepts, techniques, andapproaches used to achieve and assess software safety andreliability. Debra Herrmann presents a cross-section of currentsafety and reliability standards that cross multiple industrialsectors while focusing on the additional required activities toachieve software safety and reliability. In organizing this text,the she has three objectives. The first is to raise the reader'sawareness on the importance of software safety and reliability andon its role in mission critical systems by presenting manyillustrative, ever day examples. The second objective is to providepractical information about the current methods used to achieve andassess software safety and reliability. The final objective is toimprove the understanding and practice of software safety andreliability by consolidating the latest research so that it can becompared 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.


Table of Contents

I Introduction to Software Safety and Reliabilityp. 1
1 Introductionp. 5
1.1 Backgroundp. 5
1.2 Purposep. 6
1.3 Scopep. 7
0.4 Intended Audiencep. 8
1.5 Organizationp. 8
1.6 Acknowledgmentsp. 10
Additional Resourcesp. 11
2 Software Safety and Reliability Basicsp. 13
2.1 Software Safety Basicsp. 13
2.2 Software Reliability Basicsp. 21
2.3 Differences Between Hardware and Software Reliabilityp. 25
2.4 Achieving and Assessing Software Safety and Reliabilityp. 32
2.5 Role of Standardsp. 62
2.6 Concluding Remarksp. 63
2.7 Discussion Problemsp. 63
Additional Resourcesp. 67
II Approaches Promoted by Key Industrial Sectors to Software Safety and Reliabilityp. 75
3 Transportation Industryp. 79
3.1 CENELEC EN 50128:1997, Railway Applicationsp. 83
3.2 MISRA Development Guidelines for Vehicle-Based Softwarep. 100
3.3 SAE JA 1002 Software Reliability Program Standardp. 111
3.4 Summaryp. 119
3.5 Discussion Problemsp. 120
3.6 Acknowledgmentsp. 121
Additional Resourcesp. 121
4 Aerospace Industryp. 125
4.1 Commercial Aviation: RTCA/DO-178Bp. 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 Reliabilityp. 158
4.5 Summaryp. 160
4.6 Discussion Problemsp. 161
Additional Resourcesp. 162
5 Defense Industryp. 165
5.1 MIL-STD-882D: Mishap Risk Managementp. 166
5.2 DEF STAN 00-55p. 191
5.3 NATO COTS Software Acquisition Guidelines and Policy Issuesp. 217
5.4 Summaryp. 219
5.5 Discussion Problemsp. 223
Additional Resourcesp. 224
6 Nuclear Power Industryp. 229
6.1 IEC 60880:1986-09p. 230
6.2 CE-1001-STD Rev. 1p. 246
6.3 Summaryp. 267
6.4 Discussion Problemsp. 268
6.5 Acknowledgmentp. 269
Additional Resourcesp. 269
7 Biomedical Industryp. 275
7.1 IEC 601-1-4(1996-06), Medical Electrical Equipmentp. 275
7.2 Summaryp. 300
7.3 Discussion Problemsp. 300
Additional Resourcesp. 301
III Approaches Promoted by Non--Industry Specific Software Safety and Reliability Standardsp. 305
8 IEC Software Dependability Standardsp. 309
8.1 IEC 61508-3:1998-12p. 309
8.2 IEC 300-3-9:1995-12p. 334
8.3 ISO/IEC 15026:1998-04-29p. 336
8.4 Summaryp. 338
8.5 Discussion Problemsp. 338
Additional Resourcesp. 339
9 IEE SEMSPLC Guidelinesp. 343
9.1 Backgroundp. 343
9.2 Purpose and Scopep. 343
9.3 Descriptionp. 344
9.4 Strengthsp. 360
9.5 Areas for Improvementp. 360
9.6 Results Observed to Datep. 360
9.7 Summaryp. 361
9.8 Discussion Problemsp. 361
Additional Resourcesp. 361
10 ANSI/IEEE Std. 982.1-1989 and 982.2-1989p. 365
10.1 Backgroundp. 365
10.2 Purpose and Scopep. 365
10.3 Descriptionp. 365
10.4 Strengthsp. 411
10.5 Areas for Improvementp. 412
10.6 Relationship to Other Approachesp. 412
10.7 Results Observed to Datep. 412
10.8 Summaryp. 413
10.9 Discussion Problemsp. 415
Additional Resourcesp. 415
11 IEEE Std. 1228-1994, Standard for Software Safety Plansp. 419
11.1 Backgroundp. 419
11.2 Purpose and Scopep. 419
11.3 Descriptionp. 420
11.4 Strengthsp. 431
11.5 Areas for Improvementp. 431
11.6 Results Observed to Datep. 432
11.7 Summaryp. 432
11.8 Discussion Problemsp. 432
Additional Resourcesp. 433
IV Observations and Conclusionsp. 435
12 Observations and Conclusionsp. 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 Problemsp. 469
Additional Resourcesp. 469
A Organizations Involved in Software Safety and Reliability Standardsp. 475
B Commercial Products Availablep. 481
Indexp. 493