Justifying the Dependability of Computer-based Systems PDF Download

Author: Pierre-Jacques Courtois
Publisher: Springer Science & Business Media
ISBN: 1848003722
Category : Technology & Engineering
Languages : en
Pages : 330

View

Book Description
Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How can we give the users the assurance that the system enjoys the required dependability? How should evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? How should we decide whether there is enough evidence to justify the release of the system? To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background.

Author: Frank Ortmeier
Publisher: Springer
ISBN: 3642336752
Category : Computers
Languages : en
Pages : 537

View

Book Description
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

Author: Management Association, Information Resources
Publisher: IGI Global
ISBN: 1522539247
Category : Computers
Languages : en
Pages : 2124

View

Book Description
Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside computer applications to develop efficient and precise information databases. Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications is a comprehensive reference source for the latest scholarly material on trends, techniques, and uses of various technology applications and examines the benefits and challenges of these computational developments. Highlighting a range of pertinent topics such as utility computing, computer security, and information systems applications, this multi-volume book is ideally designed for academicians, researchers, students, web designers, software developers, and practitioners interested in computer systems and software engineering.

Author: Albert Myers
Publisher: Springer Science & Business Media
ISBN: 1849964149
Category : Technology & Engineering
Languages : en
Pages : 241

View

Book Description
Complex System Reliability presents a state-of-the-art treatment of complex multi-channel system reliability assessment and provides the requisite tools, techniques and algorithms required for designing, evaluating and optimizing ultra-reliable redundant systems. Critical topics that make Complex System Reliability a unique and definitive resource include: • redundant system analysis for k-out-of-n systems (including complex systems with embedded k-out-of-n structures) involving both perfect and imperfect fault coverage; • imperfect fault coverage analysis techniques, including algorithms for assessing the reliability of redundant systems in which each element is subject to a given coverage value (element level coverage) or in which the system uses voting to avoid the effects of a failed element (fault level coverage); and • state-of-the-art binary decision diagram analysis techniques, including the latest and most efficient algorithms for the reliability assessment of large, complex redundant systems. This practical presentation includes numerous fully worked examples that provide detailed explanations of both the underlying design principles and the techniques (such as combinatorial, recursive and binary decision diagram algorithms) used to obtain quantitative results. Many of the worked examples are based on the design of modern digital fly-by-wire control system technology. Complex System Reliability provides in-depth coverage of systems subject to either perfect or imperfect fault coverage and also the most recent techniques for correctly assessing the reliability of redundant systems that use mid-value-select voting as their primary means of redundancy management. It is a valuable resource for those involved in the design and reliability assessment of highly reliable systems, particularly in the aerospace and automotive sectors.

Author: Javier Faulin
Publisher: Springer Science & Business Media
ISBN: 1848822138
Category : Computers
Languages : en
Pages : 324

View

Book Description
Simulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based techniques and algorithms to determine reliability and availability (R and A) levels in complex systems. The book: shares theoretical or applied models and decision support systems that make use of simulation to estimate and to improve system R and A levels, forecasts emerging technologies and trends in the use of computer simulation for R and A and proposes hybrid approaches to the development of efficient methodologies designed to solve R and A-related problems in real-life systems. Dealing with practical issues, Simulation Methods for Reliability and Availability of Complex Systems is designed to support managers and system engineers in the improvement of R and A, as well as providing a thorough exploration of the techniques and algorithms available for researchers, and for advanced undergraduate and postgraduate students.

Author: Poong-Hyun Seong
Publisher: Springer Science & Business Media
ISBN: 1848003838
Category : Technology & Engineering
Languages : en
Pages : 315

View

Book Description
“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.

Author: Ajit Kumar Verma
Publisher: Springer Science & Business Media
ISBN: 1849962324
Category : Technology & Engineering
Languages : en
Pages : 547

View

Book Description
Reliability and safety are core issues that must be addressed throughout the life cycle of engineering systems. Reliability and Safety Engineering presents an overview of the basic concepts, together with simple and practical illustrations. The authors present reliability terminology in various engineering fields, viz., • electronics engineering, • software engineering, • mechanical engineering, • structural engineering, and • power systems engineering. They describe the latest applications in the area of probabilistic safety assessment, such as technical specification optimization, risk monitoring and risk informed in-service inspection. Reliability and safety studies must, inevitably, deal with uncertainty, so the book includes uncertainty propagation methods: Monte Carlo simulation, fuzzy arithmetic, Dempster-Shafer theory and probability bounds. Reliability and Safety Engineering also highlights advances in system reliability and safety assessment including dynamic system modeling and uncertainty management. Case studies from typical nuclear power plants, as well as from structural, software, and electronic systems are also discussed. Reliability and Safety Engineering combines discussions of the existing literature on basic concepts and applications with state-of-the-art methods used in reliability and risk assessment of engineering systems. It is designed to assist practicing engineers, students and researchers in the areas of reliability engineering and risk analysis.

Author: Göran Grimvall
Publisher: Springer Science & Business Media
ISBN: 1848826400
Category : Technology & Engineering
Languages : en
Pages : 348

View

Book Description
"Risks in Technological Systems" is an interdisciplinary university textbook and a book for the educated reader on the risks of today’s society. In order to understand and analyze risks associated with the engineering systems on which modern society relies, other concerns have to be addressed, besides technical aspects. In contrast to many academic textbooks dealing with technological risks, this book has a unique interdisciplinary character that presents technological risks in their own context. Twenty-four scientists have come together to present their views on risks in technological systems. Their scientific disciplines cover not only engineering, economics and medicine, but also history, psychology, literature and philosophy. Taken together these contributions provide a broad, but accurate, interdisciplinary introduction to a field of increasing global interest, as well as rich opportunities to achieve in-depth knowledge of the subject.

Author: Riccardo Manzini
Publisher: Springer Science & Business Media
ISBN: 1848825757
Category : Technology & Engineering
Languages : en
Pages : 479

View

Book Description
New, global and extended markets are forcing companies to process and manage increasingly differentiated products with shorter life cycles, low volumes and reduced customer delivery times. In today’s global marketplace production systems need to be able to deliver products on time, maintain market credibility and introduce new products and services faster than competitors. As a result, a new production paradigm of a production system has been developed and a supporting management decision-making approach simultaneously incorporating design, management, and control of the production system is necessary so that this challenge can be effectively and efficiency met. "Maintenance Engineering and its Applications in Production Systems" meets this need by introducing an original and integrated idea of maintenance: maintenance for productivity. The volume starts with the introduction and discussion of a new conceptual framework based on productivity, quality, and safety supported by maintenance. Subsequent chapters illustrate the most relevant models and methods to plan, organise, implement and control the whole maintenance process (reliability evaluation models and prediction, maintenance strategies and policies, spare parts management, computer maintenance management software – CMMS, and total productive maintenance – TPM, etc.). Several examples of problems supported by solutions, and real applications to help and test the reader’s comprehension are included. "Maintenance Engineering and its Applications in Production Systems" will certainly be valuable to engineering students, doctoral and post-doctoral students and also to maintenance practitioners, as well as managers of industrial and service companies.

Author: Jatin S. Nathwani
Publisher: Springer Science & Business Media
ISBN: 1848826028
Category : Business & Economics
Languages : en
Pages : 198

View

Book Description
Engineering Decisions for Life Quality: How Safe is Safe Enough? provides a foundation and a theoretical basis for managing risk to an acceptable level under the real-world constraint of limited resources. The focus is not on risks as such, but on what can be done to maximize the positive outcomes of risk in terms of improvements to the quality of life. The principal focus of Engineering Decisions for Life Quality: How Safe is Safe Enough? is on the development of guidance for establishing rational standards of practice. Standards should meet the requirement of utilizing resources to achieve the maximum net overall benefit to society within society’s capacity to commit such resources. The ideas discussed within this book will be of interest to engineers; advanced undergraduate and graduate students; public health officials; and risk specialists.