Safety-critical Computer Systems PDF Download

Author: Neil Storey
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 480

View

Book Description
Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nuclear power plants. It is, therefore, vital that engineers be aware of the safety implications of the systems they develop. This book is an introduction to the field of safety-critical computer systems written for any engineer who uses microcomputers within real-time embedded systems. It assumes no prior knowledge of safety, or of any specific computer hardware or programming language. This text is intended for both engineering and computer science students, and for practising engineers within computer related industries. The approach taken is equally suited to engineers who consider computers from a hardware, software or systems viewpoint.

Author: Nancy G. Leveson
Publisher: MIT Press
ISBN: 0262297302
Category : Science
Languages : en
Pages : 555

View

Book Description
A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques. Engineering has experienced a technological revolution, but the basic engineering techniques applied in safety and reliability engineering, created in a simpler, analog world, have changed very little over the years. In this groundbreaking book, Nancy Leveson proposes a new approach to safety—more suited to today's complex, sociotechnical, software-intensive world—based on modern systems thinking and systems theory. Revisiting and updating ideas pioneered by 1950s aerospace engineers in their System Safety concept, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective, less expensive, and easier to use than current techniques. Arguing that traditional models of causality are inadequate, Leveson presents a new, extended model of causation (Systems-Theoretic Accident Model and Processes, or STAMP), then shows how the new model can be used to create techniques for system safety engineering, including accident analysis, hazard analysis, system design, safety in operations, and management of safety-critical systems. She applies the new techniques to real-world events including the friendly-fire loss of a U.S. Blackhawk helicopter in the first Gulf War; the Vioxx recall; the U.S. Navy SUBSAFE program; and the bacterial contamination of a public water supply in a Canadian town. Leveson's approach is relevant even beyond safety engineering, offering techniques for “reengineering” any large sociotechnical system to improve safety and manage risk.

Author: David B. Brown
Publisher: Prentice Hall
ISBN:
Category : Science
Languages : en
Pages : 424

View

Book Description
Systems analysis and synthesis; Hazard analysis and cost effectiveness; Logical analysis; Probabilistic reliability considerations; Fault-tree analysis; Statistical analysis; Safety information system desing; Allocation of the safety budget; Case study: budget allocation applied to traffic safety; The right to be unsafe.

Author: Nicholas J. Bahr
Publisher: CRC Press
ISBN: 1466551615
Category : Technology & Engineering
Languages : en
Pages : 444

View

Book Description
We all know that safety should be an integral part of the systems that we build and operate. The public demands that they are protected from accidents, yet industry and government do not always know how to reach this common goal. This book gives engineers and managers working in companies and governments around the world a pragmatic and reasonable approach to system safety and risk assessment techniques. It explains in easy-to-understand language how to design workable safety management systems and implement tested solutions immediately. The book is intended for working engineers who know that they need to build safe systems, but aren’t sure where to start. To make it easy to get started quickly, it includes numerous real-life engineering examples. The book’s many practical tips and best practices explain not only how to prevent accidents, but also how to build safety into systems at a sensible price. The book also includes numerous case studies from real disasters that describe what went wrong and the lessons learned. See What’s New in the Second Edition: New chapter on developing government safety oversight programs and regulations, including designing and setting up a new safety regulatory body, developing safety regulatory oversight functions and governance, developing safety regulations, and how to avoid common mistakes in government oversight Significantly expanded chapter on safety management systems, with many practical applications from around the world and information about designing and building robust safety management systems, auditing them, gaining internal support, and creating a safety culture New and expanded case studies and "Notes from Nick’s Files" (examples of practical applications from the author’s extensive experience) Increased international focus on world-leading practices from multiple industries with practical examples, common mistakes to avoid, and new thinking about how to build sustainable safety management systems New material on safety culture, developing leading safety performance indicators, safety maturity model, auditing safety management systems, and setting up a safety knowledge management system

Author: Chris Hobbs
Publisher: CRC Press
ISBN: 1498726712
Category : Computers
Languages : en
Pages : 357

View

Book Description
Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called "safety bag" systems. Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.

Author: Steven Ricke
Publisher: Academic Press
ISBN: 0128498889
Category : Technology & Engineering
Languages : en
Pages : 426

View

Book Description
Food and Feed Safety Systems and Analysis discusses the integration of food safety with recent research developments in food borne pathogens. The book covers food systems, food borne ecology, how to conduct research on food safety and food borne pathogens, and developing educational materials to train incoming professionals in the field. Topics include data analysis and cyber security for food safety systems, control of food borne pathogens and supply chain logistics. The book uniquely covers current food safety perspectives on integrating food systems concepts into pet food manufacturing, as well as data analyses aspects of food systems. - Explores cutting edge research about emerging issues associated with food safety - Includes new research on understanding foodborne Salmonella, Listeria and E. coli - Presents foodborne pathogens and whole genome sequencing applications - Provides concepts and issues related to pet and animal feed safety

Author: Duane Kritzinger
Publisher: Woodhead Publishing
ISBN: 0081009321
Category : Business & Economics
Languages : en
Pages : 424

View

Book Description
Aircraft System Safety: Assessments for Initial Airworthiness Certification presents a practical guide for the novice safety practitioner in the more specific area of assessing aircraft system failures to show compliance to regulations such as FAR25.1302 and 1309. A case study and safety strategy beginning in chapter two shows the reader how to bring safety assessment together in a logical and efficient manner. Written to supplement (not replace) the content of the advisory material to these regulations (e.g. AMC25.1309) as well as the main supporting reference standards (e.g. SAE ARP 4761, RTCA/DO-178, RTCA/DO-154), this book strives to amalgamate all these different documents into a consolidated strategy with simple process maps to aid in their understanding and optimise their efficient use. - Covers the effect of design, manufacturing, and maintenance errors and the effects of common component errors - Evaluates the malfunctioning of multiple aircraft components and the interaction which various aircraft systems have on the ability of the aircraft to continue safe flight and landing - Presents and defines a case study (an aircraft modification program) and a safety strategy in the second chapter, after which each of the following chapters will explore the theory of the technique required and then apply the theory to the case study

Author: Alan J. Stolzer
Publisher: Routledge
ISBN: 1317059832
Category : Transportation
Languages : en
Pages : 396

View

Book Description
Although aviation is among the safest modes of transportation in the world today, accidents still happen. In order to further reduce accidents and improve safety, proactive approaches must be adopted by the aviation community. The International Civil Aviation Organization (ICAO) has mandated that all of its member states implement Safety Management System (SMS) programs in their aviation industries. While some countries (the United States, Australia, Canada, members of the European Union and New Zealand, for example) have been engaged in SMS for a few years, it is still non-existent in many other countries. This unique and comprehensive book has been designed as a textbook for the student of aviation safety, and as an invaluable reference tool for the SMS practitioner in any segment of aviation. It discusses the quality management underpinnings of SMS, the four components, risk management, reliability engineering, SMS implementation, and the scientific rigor that must be designed into proactive safety. The authors introduce a hypothetical airline-oriented safety scenario at the beginning of the book and conclude it at the end, engaging the reader and adding interest to the text. To enhance the practical application of the material, the book also features numerous SMS in Practice commentaries by some of the most respected names in aviation safety. In this second edition of Safety Management Systems in Aviation, the authors have extensively updated relevant sections to reflect developments since the original book of 2008. New sections include: a brief history of FAA initiatives to establish SMS, data-driven safety studies, developing a system description, SMS in a flight school, and measuring SMS effectiveness.

Author: Marvin Rausand
Publisher: John Wiley & Sons
ISBN: 1118553381
Category : Technology & Engineering
Languages : en
Pages : 356

View

Book Description
Presents the theory and methodology for reliability assessments of safety-critical functions through examples from a wide range of applications Reliability of Safety-Critical Systems: Theory and Applications provides a comprehensive introduction to reliability assessments of safety-related systems based on electrical, electronic, and programmable electronic (E/E/PE) technology. With a focus on the design and development phases of safety-critical systems, the book presents theory and methods required to document compliance with IEC 61508 and the associated sector-specific standards. Combining theory and practical applications, Reliability of Safety-Critical Systems: Theory and Applications implements key safety-related strategies and methods to meet quantitative safety integrity requirements. In addition, the book details a variety of reliability analysis methods that are needed during all stages of a safety-critical system, beginning with specification and design and advancing to operations, maintenance, and modification control. The key categories of safety life-cycle phases are featured, including strategies for the allocation of reliability performance requirements; assessment methods in relation to design; and reliability quantification in relation to operation and maintenance. Issues and benefits that arise from complex modern technology developments are featured, as well as: Real-world examples from large industry facilities with major accident potential and products owned by the general public such as cars and tools Plentiful worked examples throughout that provide readers with a deeper understanding of the core concepts and aid in the analysis and solution of common issues when assessing all facets of safety-critical systems Approaches that work on a wide scope of applications and can be applied to the analysis of any safety-critical system A brief appendix of probability theory for reference With an emphasis on how safety-critical functions are introduced into systems and facilities to prevent or mitigate the impact of an accident, this book is an excellent guide for professionals, consultants, and operators of safety-critical systems who carry out practical, risk, and reliability assessments of safety-critical systems. Reliability of Safety-Critical Systems: Theory and Applications is also a useful textbook for courses in reliability assessment of safety-critical systems and reliability engineering at the graduate-level, as well as for consulting companies offering short courses in reliability assessment of safety-critical systems.

Author: Joseph D. Miller
Publisher: John Wiley & Sons
ISBN: 1119579678
Category : Technology & Engineering
Languages : en
Pages : 239

View

Book Description
Contains practical insights into automotive system safety with a focus on corporate safety organization and safety management Functional Safety has become important and mandated in the automotive industry by inclusion of ISO 26262 in OEM requirements to suppliers. This unique and practical guide is geared toward helping small and large automotive companies, and the managers and engineers in those companies, improve automotive system safety. Based on the author’s experience within the field, it is a useful tool for marketing, sales, and business development professionals to understand and converse knowledgeably with customers and prospects. Automotive System Safety: Critical Considerations for Engineering and Effective Management teaches readers how to incorporate automotive system safety efficiently into an organization. Chapters cover: Safety Expectations for Consumers, OEMs, and Tier 1 Suppliers; System Safety vs. Functional Safety; Safety Audits and Assessments; Safety Culture; and Lifecycle Safety. Sections on Determining Risk; Risk Reduction; and Safety of the Intended Function are also presented. In addition, the book discusses causes of safety recalls; how to use metrics as differentiators to win business; criteria for a successful safety organization; and more. Discusses Safety of the Intended Function (SOTIF), with a chapter about an emerging standard (SOTIF, ISO PAS 21448), which is for handling the development of autonomous vehicles Helps safety managers, engineers, directors, and marketing professionals improve their knowledge of the process of FS standards Aimed at helping automotive companies—big and small—and their employees improve system safety Covers auditing and the use of metrics Automotive System Safety: Critical Considerations for Engineering and Effective Management is an excellent book for anyone who oversees the safety and development of automobiles. It will also benefit those who sell and market vehicles to prospective customers.