Design and Safety Assessment of Critical Systems

Author: Marco Bozzano,Adolfo Villafiorita

Publisher: CRC Press

ISBN: 9781439803325

Category: Computers

Page: 298

View: 748

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 process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques. An introduction to the area of design and verification of safety-critical systems, Design and Safety Assessment of Critical Systems focuses on safety assessment using formal methods. Beginning with an introduction to the fundamental concepts of safety and reliability, it illustrates the pivotal issues of design, development, and safety assessment of critical systems. The core of the book covers traditional notations, techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, and Event Tree Analysis, and explains in detail how formal methods can be used to realize such procedures. It looks at the development process of safety-critical systems, and highlights influential management and organizational aspects. Finally, it describes verification and validation techniques and new trends in formal methods for safety and concludes with some widely adopted standards for the certification of safety-critical systems. Providing an in-depth and hands-on view of the application of formal techniques to advanced and critical safety assessments in a variety of industrial sectors, such as transportation, avionics and aerospace, and nuclear power, Design and Safety Assessment of Critical Systems allows anyone with a basic background in mathematics or computer science to move confidently into this advanced arena of safety assessment.
Release

Technology and Assessment of Safety-Critical Systems

Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

Author: Felix Redmill,Tom Anderson

Publisher: Springer Science & Business Media

ISBN: 1447120825

Category: Computers

Page: 258

View: 610

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.
Release

Reliability of Safety-Critical Systems

Theory and Applications

Author: Marvin Rausand

Publisher: John Wiley & Sons

ISBN: 1118553381

Category: Technology & Engineering

Page: 466

View: 7722

Presents the theory and methodology for reliabilityassessments of safety-critical functions through examples from awide range of applications Reliability of Safety-Critical Systems: Theory andApplications provides a comprehensive introduction toreliability assessments of safety-related systems based onelectrical, electronic, and programmable electronic (E/E/PE)technology. With a focus on the design and development phases ofsafety-critical systems, the book presents theory and methodsrequired to document compliance with IEC 61508 and the associatedsector-specific standards. Combining theory and practical applications, Reliability ofSafety-Critical Systems: Theory and Applications implements keysafety-related strategies and methods to meet quantitative safetyintegrity requirements. In addition, the book details a variety ofreliability analysis methods that are needed during all stages of asafety-critical system, beginning with specification and design andadvancing to operations, maintenance, and modification control. Thekey categories of safety life-cycle phases are featured, includingstrategies for the allocation of reliability performancerequirements; assessment methods in relation to design; andreliability quantification in relation to operation andmaintenance. Issues and benefits that arise from complex moderntechnology developments are featured, as well as: Real-world examples from large industry facilities with majoraccident potential and products owned by the general public such ascars and tools Plentiful worked examples throughout that provide readers witha deeper understanding of the core concepts and aid in the analysisand solution of common issues when assessing all facets ofsafety-critical systems Approaches that work on a wide scope of applications and can beapplied 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 introducedinto systems and facilities to prevent or mitigate the impact of anaccident, this book is an excellent guide for professionals,consultants, and operators of safety-critical systems who carry outpractical, risk, and reliability assessments of safety-criticalsystems. Reliability of Safety-Critical Systems: Theory andApplications is also a useful textbook for courses inreliability assessment of safety-critical systems and reliabilityengineering at the graduate-level, as well as for consultingcompanies offering short courses in reliability assessment ofsafety-critical systems.
Release

Mission-Critical and Safety-Critical Systems Handbook

Design and Development for Embedded Applications

Author: Kim Fowler

Publisher: Newnes

ISBN: 9780080942551

Category: Technology & Engineering

Page: 592

View: 7430

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
Release

Advances in Subsea Pipeline Engineering and Technology

Papers presented at Aspect ’90, a conference organized by the Society for Underwater Technology and held in Aberdeen, Scotland, May 30–31, 1990

Author: C.P. Ellinas

Publisher: Springer Science & Business Media

ISBN: 940090617X

Category: Technology & Engineering

Page: 392

View: 3595

Dr C P Ellinas Advanced Mechanics & Engineering Ltd Major advances have been achieved in recent years in subsea pipeline design and installation. Inspection, maintenance and repair have also received much attention. The development of marginal fields has brought with it special problems, which have necessitated novel methods and solutions. In the meanwhile interest in the development of deepwater fields continues with the development of new technology. This Conference has placed emphasis in addressing developments in pipeline technology under four main headings: pipeline/seabed interaction; flexible pipelines; pipeline design, fabrication and installation; deepwater applications. Advances in North Sea technology over the last few years have been concerned mostly with marginal fields, small diameter pipelines and new materials, which are well covered in the first three topics. Economic development of marginal fields requires processing of oil and gas to take place not at the wellhead but at existing facilities, usually some distance away. Hydrocarbons are thus often transported at high pressure and temperature in small diameter pipelines, which need to be protected through trenching. However, such operational practice has brought to the fore a problem that in the past was of little concern namely, upheaval buckling.
Release

The Safety Critical Systems Handbook

A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2015 Edition) and Related Guidance

Author: David J. Smith,Kenneth G. L. Simpson

Publisher: Butterworth-Heinemann

ISBN: 008100897X

Category: Technology & Engineering

Page: 330

View: 8968

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
Release

Introduction to Software Project Management

Author: Adolfo Villafiorita

Publisher: CRC Press

ISBN: 1466559535

Category: Business & Economics

Page: 296

View: 4870

Although software development is one of the most complex activities carried out by man, sound development processes and proper project management can help ensure your software projects are delivered on time and under budget. Providing the know-how to manage software projects effectively, Introduction to Software Project Management supplies an accessible introduction to software project management. The book begins with an overview of the fundamental techniques of project management and the technical aspects of software development. This section supplies the understanding of the techniques required to mitigate uncertainty in projects and better control the complexity of software development projects. The second part illustrates the technical activities of software development in a coherent process—describing how to customize this process to fit a wide range of software development scenarios. Examines project management frameworks and software development standards, including ESA and NASA guidelines, PRINCE2®, and PMBOK® Addresses open source development practices and tools so readers can adopt best practices and get started with tools that are available for free Explains how to tailor the development process to different kinds of products and formalities, including the development of web applications Includes access to additional material for both practitioners and teachers at www.spmbook.com Supplying an analysis of existing development and management frameworks, the book describes how to set up an open-source tool infrastructure to manage projects. Since practitioners must be able to mix traditional and agile techniques effectively, the book covers both and explains how to use traditional techniques for planning and developing software components alongside agile methodologies. It does so in a manner that will help you to foster freedom and creativity in assembling the processes that will best serve your needs.
Release

Safety and Reliability of Industrial Products, Systems and Structures

Author: Carlos Guedes Soares

Publisher: CRC Press

ISBN: 0203818652

Category: Technology & Engineering

Page: 472

View: 6987

Safety and Reliability of Industrial Products, Systems and Structures deals with risk assessment, which is a fundamental support for decisions related to the design, construction, operation and maintenance of industrial products, systems and infrastructures. Risks are influenced by design decisions, by the process of construction of systems and infrastructures, and by the way in which they are operated and maintained. The importance of all these aspects vary in the various phases and types of activities, and different methods have been developed to deal with them. Risk analysis, structural reliability and human reliability analysis concentrate on different aspects that complement each other, and in many cases they can be considered separately. As a result of this, and of the different characteristics of the techniques, until today the respective specialists have had little interaction, and not enough efforts have been made to integrate methods. This book, the result of SAFERELNET, a thematic network of 67 organizations from industry, universities and research organizations from 18 countries, is a first attempt to overcome this. Since 2001, SAFERELNET has dealt with providing safe and cost-effective solutions for industrial products, systems, facilities and structures across different industrial sectors. Safety and Reliability of Industrial Products, Systems and Structures covers all aspects of safety issues such as Risk Assessment Methodology; Human and Organisational Factors in Risk Assessments; Integration of Risk and Reliability Formulations; Reliability Based Design; Assessment of Existing Structures and Life Extension; Risk Based Inspection and Maintenance Planning, with a special focus on safety-critical systems in all types of industrial plants, equipment, structural systems, buildings and other civil engineering facilities. The book will be of interest to academia and engineers involved in industrial safety, structural reliability, quantified risk assessment and safety management.
Release

Directions in Safety-Critical Systems

Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Author: Felix Redmill,Tom Anderson

Publisher: Springer Science & Business Media

ISBN: 144712037X

Category: Computers

Page: 286

View: 2592

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - Current Research - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.
Release

Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems

Author: Poong-Hyun Seong

Publisher: Springer Science & Business Media

ISBN: 1848003838

Category: Technology & Engineering

Page: 304

View: 3460

“Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems” provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems. Unlike other books which examine theories and issues in individual fields, this book reviews important problems and countermeasures across the fields of software reliability, software verification and validation, digital systems, human factors engineering and human reliability analysis. Divided into four sections dealing with software reliability, digital system reliability, human reliability and human operators in large-scale digital systems, the book offers insights from professional researchers in each specialized field in a diverse yet unified approach.
Release

Human Error, Safety and Systems Development

IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France

Author: Philippe Palanque,Chris Johnson

Publisher: Springer

ISBN: 1402081537

Category: Technology & Engineering

Page: 322

View: 1803

Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes. Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes: –Techniques for incident and accident analysis; –Empirical studies of operator behaviour in safety-critical systems; –Observational studies of safety-critical systems; –Risk assessment techniques for interactive systems; –Safety-related interface design, development and testing; –Formal description techniques for the design and development of safety-critical interactive systems. Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications. This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Release

Improvements in System Safety

Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008

Author: Felix Redmill,Tom Anderson

Publisher: Springer Science & Business Media

ISBN: 9781848001008

Category: Computers

Page: 266

View: 2655

This book contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments.
Release

Railway Safety, Reliability, and Security: Technologies and Systems Engineering

Technologies and Systems Engineering

Author: Flammini, Francesco

Publisher: IGI Global

ISBN: 146661644X

Category: Technology & Engineering

Page: 487

View: 8616

Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on the modern railways and have created disastrous consequences. To protect civilians against both intentional and unintentional threats, rail transportation has become increasingly automated. Railway Safety, Reliability, and Security: Technologies and Systems Engineering provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of ‘real-time safety-critical’ railway control systems, as well as the protection of rail transportation infrastructures.
Release

Dependability of Critical Computer Systems

Author: F.J. Redmill

Publisher: Springer Science & Business Media

ISBN: 9781851663811

Category: Computers

Page: 286

View: 483

M. CARPENTIER Director General DG XIII, Telecommunications, Information Industries and Innovation of the Commission of the European Communities It is with great pleasure that I introduce and recommend this collection of guidelines produced by EWICS TC7. This Technical Committee has consistently attracted technical experts of high quality from all over Europe and the standard of the Committee's work has reflected this. The Committee has been sponsored by the Commission of the European Communities since 1978. During this period, there has been the opportunity to observe the enthusiasm and dedication in the activities of the group, the expertise and effort invested in its work, the discipline in meeting objectives and the quality of the resulting guidelines. It is no surprise that these guidelines have influenced the work of international standardisation bodies. Now the first six of EWICS TCTs guidelines are being made available as a book. I am convinced that all computer system developers who use them will greatly enhance their chances of achieving quality systems. v Acknowledgements In the preparation of this book, the editoLisgrateful to P. Bishop, G. Covington II, C. Goring, and W. Quirk for their help in editing the guidelines. In addition, he would like to thank S. Bologna, W. Ehrenberger, M. Ould, J. Rata, L. Sintonen and J. Zalewski for reviewing the chapters and providing additional material.
Release

Guide to Applying Human Factors Methods

Human Error and Accident Management in Safety-Critical Systems

Author: Pietro C. Cacciabue

Publisher: Springer Science & Business Media

ISBN: 1447138120

Category: Computers

Page: 347

View: 500

Human error plays a significant role in many accidents involving safety-critical systems, and it is now a standard requirement in both the US and Europe for Human Factors (HF) to be taken into account in system design and safety assessment. This book will be an essential guide for anyone who uses HF in their everyday work, providing them with consistent and ready-to-use procedures and methods that can be applied to real-life problems. The first part of the book looks at the theoretical framework, methods and techniques that the engineer or safety analyst needs to use when working on a HF-related project. The second part presents four case studies that show the reader how the above framework and guidelines work in practice. The case studies are based on real-life projects carried out by the author for a major European railway system, and in collaboration with international companies such as the International Civil Aviation Organisation, Volvo, Daimler-Chrysler and FIAT.
Release

Probabilistic Safety Assessment and Management

PSAM 7 — ESREL ’04 June 14–18, 2004, Berlin, Germany

Author: Cornelia Spitzer,Ulrich Schmocker,Vinh N. Dang

Publisher: Springer

ISBN: 0857294105

Category: Technology & Engineering

Page: 3728

View: 6795

A collection of papers presented at the PSAM 7 – ESREL ’04 conference in June 2004, reflecting a wide variety of disciplines, such as principles and theory of reliability and risk analysis, systems modelling and simulation, consequence assessment, human and organisational factors, structural reliability methods, software reliability and safety, insights and lessons from risk studies and management/decision making. This volume covers both well-established practices and open issues in these fields, identifying areas where maturity has been reached and those where more development is needed.
Release

Multidisciplinary Design Approach and Safety Analysis of ADSR Cooled by Buoyancy Driven Flows

Author: Carlos Alberto Ceballos Castillo

Publisher: IOS Press

ISBN: 9781586037208

Category: Science

Page: 144

View: 847

"The energy consumption in the world is directly related to the economical growth. The International Energy Agency estimates a doubling increase of electricity demands in the next 25 years (Energy Outlook, 2004). Somehow, this growth must be satisfied without destroying the ecological equilibrium of our planet. For this reason, all sorts of energy resources, which are potential pollutants for the environment are being investigated, and their technologies improved, plus new renewable energies are developed. It is also evident that renewables will take several decades before they are able to substitute the present capacity and even more, to cope with the future energy demands. Nuclear energy is an air pollution free technology with the potential to satisfy the worlds energy demands for many centuries. However, some concerns about the use of nuclear energy have to be further developed in order to recognize nuclear energy as a sustainable option. This book deals with concerns such as the use of nuclear energy for weapons, the risk of accidents with radioactivity release and the waste management."
Release

Model-Based Safety and Assessment

4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Author: Frank Ortmeier,Antoine Rauzy

Publisher: Springer

ISBN: 3319122142

Category: Computers

Page: 209

View: 9912

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.
Release

Embedded Computing Systems: Applications, Optimization, and Advanced Design

Applications, Optimization, and Advanced Design

Author: Khalgui, Mohamed

Publisher: IGI Global

ISBN: 1466639237

Category: Computers

Page: 356

View: 9528

Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications, Optimization, and Advanced Design brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.
Release

Engineering a Safer World

Systems Thinking Applied to Safety

Author: Nancy G. Leveson

Publisher: MIT Press

ISBN: 0262297302

Category: Science

Page: 560

View: 8278

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 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.
Release