Mathematical Foundations of System Safety Engineering: A Road Map for the Future

Description

This graduate-level textbook elucidates low-risk and fail-safe systems in mathematical detail. It addresses, in particular, problems where mission-critical performance is paramount, such as in aircraft, missiles, nuclear reactors and weapons, submarines, and many other types of systems where “failure” can result in overwhelming loss of life and property. The book is divided into four parts: Fundamentals, Electronics, Software, and Dangerous Goods. The first part on Fundamentals addresses general concepts of system safety engineering that are applicable to any type of system. The second part, Electronics, addresses the detection and correction of electronic hazards. In particular, the Bent Pin Problem, Sneak Circuit Problem, and related electrical problems are discussed with mathematical precision. The third part on Software addresses predicting software failure rates as well as detecting and correcting deep software logical flaws (called defects). The fourth part on Dangerous Goods presents solutions to three typical industrial chemical problems faced by the system safety engineer during the design, storage, and disposal phases of a dangerous goods’ life cycle. Front Matter ....Pages i-xvi Introduction (Richard R. Zito)....Pages 1-28 Front Matter ....Pages 29-29 Decomposition of the Failure Histogram (Richard R. Zito)....Pages 31-49 Bounding the “Black Swan” Probability (Richard R. Zito)....Pages 51-62 The Risk Surface (Richard R. Zito)....Pages 63-76 Front Matter ....Pages 77-77 The Bent Pin Problem—I: Computer Search Methods (Richard R. Zito)....Pages 79-91 The Bent Pin Problem—II: Matrix Methods (Richard R. Zito)....Pages 93-102 The Bent Pin Problem—III: Number Theory Methods (Richard R. Zito)....Pages 103-114 The Bent Pin Problem—IV: Limit Methods (Richard R. Zito)....Pages 115-123 The Bent Pin Problem—V: Experimental Methods (Richard R. Zito)....Pages 125-142 “Sneak Circuits” and Related System Safety Electrical Problems––I: Matrix Methods (Richard R. Zito)....Pages 143-159 “Sneak Circuits” and Related System Safety Electrical Problems-II: Computer Search Methods (Richard R. Zito)....Pages 161-176 Front Matter ....Pages 177-177 Predicting Software Performance (Richard R. Zito)....Pages 179-190 Alternative Flowcharts for a Mathematical Analysis of Logic (Richard R. Zito)....Pages 191-202 Fail-Safe Control Software (Richard R. Zito)....Pages 203-215 Front Matter ....Pages 217-217 Design Phase Elimination of Beryllium (Richard R. Zito)....Pages 219-236 Accelerated Age Testing of Explosives and Propellants (Richard R. Zito)....Pages 237-255 The Movement of Inorganic Cadmium Through the Environment (Richard R. Zito)....Pages 257-274 Back Matter ....Pages 275-347