Design and Safety Assessment of Critical Systems

Design and Safety Assessment of Critical Systems
Author: Marco Bozzano
Publisher: CRC Press
Total Pages: 288
Release: 2010-11-12
Genre: Computers
ISBN: 1439803323

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

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems
Author: Cyrille Artho
Publisher: Springer
Total Pages: 166
Release: 2017-02-15
Genre: Computers
ISBN: 3319539469

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems
Author: Osman Hasan
Publisher: Springer Nature
Total Pages: 145
Release: 2020-04-25
Genre: Computers
ISBN: 3030469026

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems
Author: Stefania Gnesi
Publisher: John Wiley & Sons
Total Pages: 256
Release: 2012-11-27
Genre: Computers
ISBN: 1118459873

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Developing Safety-Critical Software

Developing Safety-Critical Software
Author: Leanna Rierson
Publisher: CRC Press
Total Pages: 612
Release: 2017-12-19
Genre: Computers
ISBN: 1351834053

The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.

Safety-critical Computer Systems

Safety-critical Computer Systems
Author: Neil Storey
Publisher: Addison Wesley Publishing Company
Total Pages: 480
Release: 1996
Genre: Computers
ISBN:

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.

Safety Critical Systems Handbook

Safety Critical Systems Handbook
Author: David J. Smith
Publisher: Elsevier
Total Pages: 289
Release: 2010-11-11
Genre: Technology & Engineering
ISBN: 0080967825

Safety Critical Systems Handbook: A Straightfoward Guide to Functional Safety, IEC 61508 (2010 Edition) and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 AND ISO 13849, Third Edition, offers a practical guide to the functional safety standard IEC 61508. The book is organized into three parts. Part A discusses the concept of functional safety and the need to express targets by means of safety integrity levels. It places functional safety in context, along with risk assessment, likelihood of fatality, and the cost of conformance. It also explains the life-cycle approach, together with the basic outline of IEC 61508 (known as BS EN 61508 in the UK). Part B discusses functional safety standards for the process, oil, and gas industries; the machinery sector; and other industries such as rail, automotive, avionics, and medical electrical equipment. Part C presents case studies in the form of exercises and examples. These studies cover SIL targeting for a pressure let-down system, burner control system assessment, SIL targeting, a hypothetical proposal for a rail-train braking system, and hydroelectric dam and tidal gates. - The only comprehensive guide to IEC 61508, updated to cover the 2010 amendments, that will ensure engineers are compliant with the latest process safety systems design and operation standards - Helps readers understand the process required to apply safety critical systems standards - Real-world approach helps users to interpret the standard, with case studies and best practice design examples throughout

Reliability of Safety-Critical Systems

Reliability of Safety-Critical Systems
Author: Marvin Rausand
Publisher: John Wiley & Sons
Total Pages: 356
Release: 2014-03-03
Genre: Technology & Engineering
ISBN: 1118553381

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.

Computer-Related Risks

Computer-Related Risks
Author: Peter G. Neumann
Publisher: Addison-Wesley Professional
Total Pages: 576
Release: 1994-10-18
Genre: Computers
ISBN: 0321703162

"This sobering description of many computer-related failures throughout our world deflates the hype and hubris of the industry. Peter Neumann analyzes the failure modes, recommends sequences for prevention and ends his unique book with some broadening reflections on the future." —Ralph Nader, Consumer Advocate This book is much more than a collection of computer mishaps; it is a serious, technically oriented book written by one of the world's leading experts on computer risks. The book summarizes many real events involving computer technologies and the people who depend on those technologies, with widely ranging causes and effects. It considers problems attributable to hardware, software, people, and natural causes. Examples include disasters (such as the Black Hawk helicopter and Iranian Airbus shootdowns, the Exxon Valdez, and various transportation accidents); malicious hacker attacks; outages of telephone systems and computer networks; financial losses; and many other strange happenstances (squirrels downing power grids, and April Fool's Day pranks). Computer-Related Risks addresses problems involving reliability, safety, security, privacy, and human well-being. It includes analyses of why these cases happened and discussions of what might be done to avoid recurrences of similar events. It is readable by technologists as well as by people merely interested in the uses and limits of technology. It is must reading for anyone with even a remote involvement with computers and communications—which today means almost everyone. Computer-Related Risks: Presents comprehensive coverage of many different types of risks Provides an essential system-oriented perspective Shows how technology can affect your life—whether you like it or not!