Skip to main content

Safety Critical Systems Handbook

In Order to Read Online or Download Safety Critical Systems Handbook Full eBooks in PDF, EPUB, Tuebl and Mobi you need to create a Free account. Get any books you like and read everywhere you want. Fast Download Speed ~ Commercial & Ad Free. We cannot guarantee that every book is in the library!

Mission Critical and Safety Critical Systems Handbook

Mission Critical and Safety Critical Systems Handbook Book
Author : Kim Fowler
Publisher : Newnes
Release : 2009-11-19
ISBN : 9780080942551
Language : En, Es, Fr & De

GET BOOK

Book Description :

This handbook provides a consolidated, comprehensive information resource for engineers working with mission and safety critical systems. Principles, regulations, and processes common to all critical design projects are introduced in the opening chapters. Expert contributors then offer development models, process templates, and documentation guidelines from their own core critical applications fields: medical, aerospace, and military. Readers will gain in-depth knowledge of how to avoid common pitfalls and meet even the strictest certification standards. Particular emphasis is placed on best practices, design tradeoffs, and testing procedures. *Comprehensive coverage of all key concerns for designers of critical systems including standards compliance, verification and validation, and design tradeoffs *Real-world case studies contained within these pages provide insight from experience

The Safety Critical Systems Handbook

The Safety Critical Systems Handbook Book
Author : David J. Smith,Kenneth G. L. Simpson
Publisher : Butterworth-Heinemann
Release : 2020-02-03
ISBN : 0128207000
Language : En, Es, Fr & De

GET BOOK

Book Description :

The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance, Fifth Edition presents the latest guidance on safety-related systems that guard workers and the public against injury and death, also discussing environmental risks. This comprehensive resource has been fully revised, with additional material on risk assessment, cybersecurity, COMAH and HAZID, published guidance documents/standards, quantified risk assessment and new worked examples. The book provides a comprehensive guide to the revised IEC 61508 standard as well as the 2016 IEC 61511. This book will have a wide readership, not only in the chemical and process industries, but in oil and gas, power generation, avionics, automotive, manufacturing and other sectors. It is aimed at most engineers, including those in project, control and instrumentation, design and maintenance disciplines. Provides the only comprehensive guide to IEC 61508 and 61511 (updated for 2016) that ensures engineers are compliant with the latest process safety systems design and operation standards Presents a real-world approach that helps users interpret the standard, with new case studies and best practice design examples using revised standards Covers applications of the standard to device design

The Safety Critical Systems Handbook

The Safety Critical Systems Handbook Book
Author : David J. Smith,Kenneth G. L. Simpson
Publisher : Butterworth-Heinemann
Release : 2020-01-15
ISBN : 0128202599
Language : En, Es, Fr & De

GET BOOK

Book Description :

The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance, Fifth Edition presents the latest guidance on safety-related systems that guard workers and the public against injury and death, also discussing environmental risks. This comprehensive resource has been fully revised, with additional material on risk assessment, cybersecurity, COMAH and HAZID, published guidance documents/standards, quantified risk assessment and new worked examples. The book provides a comprehensive guide to the revised IEC 61508 standard as well as the 2016 IEC 61511. This book will have a wide readership, not only in the chemical and process industries, but in oil and gas, power generation, avionics, automotive, manufacturing and other sectors. It is aimed at most engineers, including those in project, control and instrumentation, design and maintenance disciplines. Provides the only comprehensive guide to IEC 61508 and 61511 (updated for 2016) that ensures engineers are compliant with the latest process safety systems design and operation standards Presents a real-world approach that helps users interpret the standard, with new case studies and best practice design examples using revised standards Covers applications of the standard to device design

Safety Critical Systems Handbook

Safety Critical Systems Handbook Book
Author : David J. Smith,Kenneth G. L. Simpson
Publisher : Elsevier
Release : 2010-11-11
ISBN : 9780080967820
Language : En, Es, Fr & De

GET BOOK

Book Description :

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

The Safety Critical Systems Handbook

The Safety Critical Systems Handbook Book
Author : David J. Smith
Publisher : Unknown
Release : 2020
ISBN : 0987650XXX
Language : En, Es, Fr & De

GET BOOK

Book Description :

Download The Safety Critical Systems Handbook book written by David J. Smith, available in PDF, EPUB, and Kindle, or read full book online anywhere and anytime. Compatible with any devices.

Safety Critical Systems Handbook

Safety Critical Systems Handbook Book
Author : David John Smith,Kenneth G. L. Simpson
Publisher : Elsevier
Release : 2010
ISBN : 9780080967813
Language : En, Es, Fr & De

GET BOOK

Book Description :

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

Safety critical systems handbook a straightforward guide to functional safety IEC 61508 2010 edition and related standards

Safety critical systems handbook   a straightforward guide to functional safety  IEC 61508  2010 edition  and related standards Book
Author : David John Smith,Kenneth G. L. Simpson
Publisher : Unknown
Release : 2010
ISBN : 0987650XXX
Language : En, Es, Fr & De

GET BOOK

Book Description :

Download Safety critical systems handbook a straightforward guide to functional safety IEC 61508 2010 edition and related standards book written by David John Smith,Kenneth G. L. Simpson, available in PDF, EPUB, and Kindle, or read full book online anywhere and anytime. Compatible with any devices.

Safety Critical Systems Handbook A Straightforward Guide to Functional Safety IEC 61508 2010 Edition IEC 61511 2016 Edition and Related Guidance Including Machinery and Other Industrial Sectors

Safety Critical Systems Handbook   A Straightforward Guide to Functional Safety IEC 61508  2010 Edition  IEC 61511  2016 Edition  and Related Guidance   Including Machinery and Other Industrial Sectors Book
Author : Smith David J
Publisher : Unknown
Release : 2016
ISBN : 0987650XXX
Language : En, Es, Fr & De

GET BOOK

Book Description :

Download Safety Critical Systems Handbook A Straightforward Guide to Functional Safety IEC 61508 2010 Edition IEC 61511 2016 Edition and Related Guidance Including Machinery and Other Industrial Sectors book written by Smith David J, available in PDF, EPUB, and Kindle, or read full book online anywhere and anytime. Compatible with any devices.

Embedded Software Development for Safety Critical Systems Second Edition

Embedded Software Development for Safety Critical Systems  Second Edition Book
Author : Chris Hobbs
Publisher : CRC Press
Release : 2019-08-02
ISBN : 9780367338855
Language : En, Es, Fr & De

GET BOOK

Book Description :

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards. Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book."

The Safety Critical Systems Handbook

The Safety Critical Systems Handbook Book
Author : David J. Smith,Kenneth G. L. Simpson
Publisher : Butterworth-Heinemann
Release : 2016-08-04
ISBN : 008100897X
Language : En, Es, Fr & De

GET BOOK

Book Description :

The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2016 Edition) & Related Guidance, Fourth Edition, presents the latest on the electrical, electronic, and programmable electronic systems that provide safety functions that guard workers and the public against injury or death, and the environment against pollution. The international functional safety standard IEC 61508 was revised in 2010, and authors David Smith and Kenneth Simpson provide a comprehensive guide to the revised standard, as well as the revised IEC 61511 (2016). The book enables engineers to determine if a proposed or existing piece of equipment meets the safety integrity levels (SIL) required by the various standards and guidance, and also describes the requirements for the new alternative route (route 2H), introduced in 2010. A number of other areas have been updated by Smith and Simpson in this new edition, including the estimation of common cause failure, calculation of PFDs and failure rates for redundant configurations, societal risk, and additional second tier guidance documents. As functional safety is applicable to many industries, this book will have a wide readership beyond the chemical and process sector, including oil and gas, machinery, power generation, nuclear, aircraft, and automotive industries, plus project, instrumentation, design, and control engineers. Provides 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 Addresses the 2016 updates to IEC 61511 to helps readers understand the processes required to apply safety critical systems standards and guidance Presents a real-world approach that helps users interpret new standards, with case studies and best practice design examples throughout

Software Development Tools for Safety critical Real time Systems Handbook

Software Development Tools for Safety critical  Real time Systems Handbook Book
Author : Anonim
Publisher : Unknown
Release : 2007
ISBN : 0987650XXX
Language : En, Es, Fr & De

GET BOOK

Book Description :

Download Software Development Tools for Safety critical Real time Systems Handbook book written by , available in PDF, EPUB, and Kindle, or read full book online anywhere and anytime. Compatible with any devices.

Embedded Systems Handbook 2 Volume Set

Embedded Systems Handbook 2 Volume Set Book
Author : Richard Zurawski
Publisher : CRC Press
Release : 2018-10-08
ISBN : 1420074113
Language : En, Es, Fr & De

GET BOOK

Book Description :

During the past few years there has been an dramatic upsurge in research and development, implementations of new technologies, and deployments of actual solutions and technologies in the diverse application areas of embedded systems. These areas include automotive electronics, industrial automated systems, and building automation and control. Comprising 48 chapters and the contributions of 74 leading experts from industry and academia, the Embedded Systems Handbook, Second Edition presents a comprehensive view of embedded systems: their design, verification, networking, and applications. The contributors, directly involved in the creation and evolution of the ideas and technologies presented, offer tutorials, research surveys, and technology overviews, exploring new developments, deployments, and trends. To accommodate the tremendous growth in the field, the handbook is now divided into two volumes. New in This Edition: Processors for embedded systems Processor-centric architecture description languages Networked embedded systems in the automotive and industrial automation fields Wireless embedded systems Embedded Systems Design and Verification Volume I of the handbook is divided into three sections. It begins with a brief introduction to embedded systems design and verification. The book then provides a comprehensive overview of embedded processors and various aspects of system-on-chip and FPGA, as well as solutions to design challenges. The final section explores power-aware embedded computing, design issues specific to secure embedded systems, and web services for embedded devices. Networked Embedded Systems Volume II focuses on selected application areas of networked embedded systems. It covers automotive field, industrial automation, building automation, and wireless sensor networks. This volume highlights implementations in fast-evolving areas which have not received proper coverage in other publications. Reflecting the unique functional requirements of different application areas, the contributors discuss inter-node communication aspects in the context of specific applications of networked embedded systems.

Developing Safety Critical Software

Developing Safety Critical Software Book
Author : Leanna Rierson
Publisher : CRC Press
Release : 2013-01-07
ISBN : 143981368X
Language : En, Es, Fr & De

GET BOOK

Book Description :

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.

Automotive Embedded Systems Handbook

Automotive Embedded Systems Handbook Book
Author : Nicolas Navet,Francoise Simonot-Lion
Publisher : CRC Press
Release : 2017-12-19
ISBN : 0849380278
Language : En, Es, Fr & De

GET BOOK

Book Description :

A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.

Handbook of Safety Principles

Handbook of Safety Principles Book
Author : Niklas Möller,Sven Ove Hansson,Jan-Erik Holmberg,Carl Rollenhagen
Publisher : John Wiley & Sons
Release : 2018-02-21
ISBN : 1118950690
Language : En, Es, Fr & De

GET BOOK

Book Description :

Presents recent breakthroughs in the theory, methods, and applications of safety and risk analysis for safety engineers, risk analysts, and policy makers Safety principles are paramount to addressing structured handling of safety concerns in all technological systems. This handbook captures and discusses the multitude of safety principles in a practical and applicable manner. It is organized by five overarching categories of safety principles: Safety Reserves; Information and Control; Demonstrability; Optimization; and Organizational Principles and Practices. With a focus on the structured treatment of a large number of safety principles relevant to all related fields, each chapter defines the principle in question and discusses its application as well as how it relates to other principles and terms. This treatment includes the history, the underlying theory, and the limitations and criticism of the principle. Several chapters also problematize and critically discuss the very concept of a safety principle. The book treats issues such as: What are safety principles and what roles do they have? What kinds of safety principles are there? When, if ever, should rules and principles be disobeyed? How do safety principles relate to the law; what is the status of principles in different domains? The book also features: • Insights from leading international experts on safety and reliability • Real-world applications and case studies including systems usability, verification and validation, human reliability, and safety barriers • Different taxonomies for how safety principles are categorized • Breakthroughs in safety and risk science that can significantly change, improve, and inform important practical decisions • A structured treatment of safety principles relevant to numerous disciplines and application areas in industry and other sectors of society • Comprehensive and practical coverage of the multitude of safety principles including maintenance optimization, substitution, safety automation, risk communication, precautionary approaches, non-quantitative safety analysis, safety culture, and many others The Handbook of Safety Principles is an ideal reference and resource for professionals engaged in risk and safety analysis and research. This book is also appropriate as a graduate and PhD-level textbook for courses in risk and safety analysis, reliability, safety engineering, and risk management offered within mathematics, operations research, and engineering departments. NIKLAS MÖLLER, PhD, is Associate Professor at the Royal Institute of Technology in Sweden. The author of approximately 20 international journal articles, Dr. Möller's research interests include the philosophy of risk, metaethics, philosophy of science, and epistemology. SVEN OVE HANSSON, PhD, is Professor of Philosophy at the Royal Institute of Technology. He has authored over 300 articles in international journals and is a member of the Royal Swedish Academy of Engineering Sciences. Dr. Hansson is also a Topical Editor for the Wiley Encyclopedia of Operations Research and Management Science. JAN-ERIK HOLMBERG, PhD, is Senior Consultant at Risk Pilot AB and Adjunct Professor of Probabilistic Riskand Safety Analysis at the Royal Institute of Technology. Dr. Holmberg received his PhD in Applied Mathematics from Helsinki University of Technology in 1997. CARL ROLLENHAGEN, PhD, is Adjunct Professor of Risk and Safety at the Royal Institute of Technology. Dr. Rollenhagen has performed extensive research in the field of human factors and MTO (Man, Technology, and Organization) with a specific emphasis on safety culture and climate, event investigation methods, and organizational safety assessment.

Embedded Systems Handbook

Embedded Systems Handbook Book
Author : Richard Zurawski
Publisher : CRC Press
Release : 2018-09-03
ISBN : 1351834177
Language : En, Es, Fr & De

GET BOOK

Book Description :

Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and provide a technical reference for those looking to move the field forward yet again. Divided into two volumes to accommodate this growth, the Embedded Systems Handbook, Second Edition presents a comprehensive view on this area of computer engineering with a currently appropriate emphasis on developments in networking and applications. Those experts directly involved in the creation and evolution of the ideas and technologies presented offer tutorials, research surveys, and technology overviews that explore cutting-edge developments and deployments and identify potential trends. This first self-contained volume of the handbook, Embedded Systems Design and Verification, is divided into three sections. It begins with a brief introduction to embedded systems design and verification. It then provides a comprehensive overview of embedded processors and various aspects of system-on-chip and FPGA, as well as solutions to design challenges. The final section explores power-aware embedded computing, design issues specific to secure embedded systems, and web services for embedded devices. Those interested in taking their work with embedded systems to the network level should complete their study with the second volume: Network Embedded Systems.

Current Issues in Safety Critical Systems

Current Issues in Safety Critical Systems Book
Author : Felix Redmill
Publisher : Springer
Release : 2003-02-10
ISBN : 0987650XXX
Language : En, Es, Fr & De

GET BOOK

Book Description :

Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003. The safety-critical systems domain is rapidly expanding and its industrial problems are always candidates for academic research. It embraces almost all industry sectors; current issues in one are commonly appropriate to others. The Safety-critical System Symposium provides an annual forum for discussing such issues. The papers contained within this volume cover a broad range of subjects. They represent a great deal of industrial experience as well as some academic research. All the papers are linked by addressing current issues in safety-critical systems: Dependability Requirements Engineering; Human Error Management; Influences on Risk; Safety Cases; Reforming the Law; Safety Management and Safety Standards.

Automotive Quality Systems Handbook

Automotive Quality Systems Handbook Book
Author : David Hoyle
Publisher : Elsevier
Release : 2005-08-16
ISBN : 0080458505
Language : En, Es, Fr & De

GET BOOK

Book Description :

ISO/TS 16949:2002 (TS2) will have a huge impact on the whole of the automobile industry as it formalises, under a single world-wide standard, the quality system that must be met by vehicle manufacturers and their suppliers. This handbook is the only comprehensive guide to understanding and satisfying the requirements of ISO/TS 16949:2002. Written by best-selling quality author David Hoyle (ISO 9000 Quality Systems Handbook) this new book is ideal for those new to the standard or establishing a single management system for the first time, as well as those migrating from existing quality management systems. It will suit quality system managers and quality professionals across the automotive industry, managers and executive level readers, consultants, auditors, trainers and students of management and quality. The only complete ISO/TS 16949:2002 (TS2) reference: essential for understanding both TS2 and ISO 9001:2000 TS2 becomes mandatory for all auto manufacturers and their many thousands of suppliers in 2006 Includes details of the certification scheme, the differences with previous standards, check lists, questionnaires, tips for implementers, flow charts and a glossary of terms David Hoyle is one of the world's leading quality management authors

Handbook of System Safety and Security

Handbook of System Safety and Security Book
Author : Edward Griffor
Publisher : Syngress
Release : 2016-10-02
ISBN : 0128038381
Language : En, Es, Fr & De

GET BOOK

Book Description :

Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Adversary Modeling, Threat Analysis, Business of Safety, Functional Safety, Software Systems, and Cyber Physical Systems presents an update on the world's increasing adoption of computer-enabled products and the essential services they provide to our daily lives. The tailoring of these products and services to our personal preferences is expected and made possible by intelligence that is enabled by communication between them. Ensuring that the systems of these connected products operate safely, without creating hazards to us and those around us, is the focus of this book, which presents the central topics of current research and practice in systems safety and security as it relates to applications within transportation, energy, and the medical sciences. Each chapter is authored by one of the leading contributors to the current research and development on the topic. The perspective of this book is unique, as it takes the two topics, systems safety and systems security, as inextricably intertwined. Each is driven by concern about the hazards associated with a system’s performance. Presents the most current and leading edge research on system safety and security, featuring a panel of top experts in the field Includes several research advancements published for the first time, including the use of ‘goal structured notation’ together with a ‘judgment calculus’ and their automation as a ‘rule set’ to facilitate systems safety and systems security process execution in compliance with existing standards Presents for the first time the latest research in the field with the unique perspective that systems safety and systems security are inextricably intertwined Includes coverage of systems architecture, cyber physical systems, tradeoffs between safety, security, and performance, as well as the current methodologies and technologies and implantation practices for system safety and security

Software Reliability Handbook

Software Reliability Handbook Book
Author : Rook
Publisher : Springer Science & Business Media
Release : 1990-03-31
ISBN : 9781851664009
Language : En, Es, Fr & De

GET BOOK

Book Description :

The reliability of software is becoming increasingly important to a large range of industries that rely on complex computer systems and machinery with computer control. The reliability of a system depends on both the hardware and the software that comprise the system. Although faults in design can continue to give problems, the issues and the techniques for meeting severe reliability requirements in hardware have been understood for some time. In the case of software both the techniques and a positive attitude of software developers to the achievement of reliability are much less well established. They are particularly crucial in the development of software dependent safety-critical systems.