Justifying The Dependability Of Computer Based Systems

Author : Pierre-Jacques Courtois
Publisher : Springer Science & Business Media
ISBN 13 : 1848003722
Total Pages : 330 pages
Book Rating : 4.29/5 ( download)

DOWNLOAD NOW!

Download or read book Justifying the Dependability of Computer-based Systems written by Pierre-Jacques Courtois and published by Springer Science & Business Media. This book was released on 2008-08-17 with total page 330 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 : Denis Besnard
Publisher : Springer Science & Business Media
ISBN 13 : 1846281113
Total Pages : 308 pages
Book Rating : 4.12/5 ( download)

DOWNLOAD NOW!

Download or read book Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective written by Denis Besnard and published by Springer Science & Business Media. This book was released on 2006-04-28 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: System developers, stakeholders, decision makers, policymakers and academics will find this book a one-stop resource highlighting the core issues for all those involved in dependability in a complex computer-based environment.

Author : Frank Ortmeier
Publisher : Springer
ISBN 13 : 3642336752
Total Pages : 537 pages
Book Rating : 4.51/5 ( download)

DOWNLOAD NOW!

Download or read book Computer Safety, Reliability, and Security written by Frank Ortmeier and published by Springer. This book was released on 2012-09-11 with total page 537 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 : 1522539247
Total Pages : 2087 pages
Book Rating : 4.47/5 ( download)

DOWNLOAD NOW!

Download or read book Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications written by Management Association, Information Resources and published by IGI Global. This book was released on 2017-12-01 with total page 2087 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 : 1849964149
Total Pages : 241 pages
Book Rating : 4.42/5 ( download)

DOWNLOAD NOW!

Download or read book Complex System Reliability written by Albert Myers and published by Springer Science & Business Media. This book was released on 2010-09-30 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 : 1848822138
Total Pages : 324 pages
Book Rating : 4.39/5 ( download)

DOWNLOAD NOW!

Download or read book Simulation Methods for Reliability and Availability of Complex Systems written by Javier Faulin and published by Springer Science & Business Media. This book was released on 2010-04-22 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 : 1848003838
Total Pages : 315 pages
Book Rating : 4.35/5 ( download)

DOWNLOAD NOW!

Download or read book Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems written by Poong-Hyun Seong and published by Springer Science & Business Media. This book was released on 2008-11-25 with total page 315 pages. Available in PDF, EPUB and Kindle. Book excerpt: “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 13 : 1849962324
Total Pages : 547 pages
Book Rating : 4.22/5 ( download)

DOWNLOAD NOW!

Download or read book Reliability and Safety Engineering written by Ajit Kumar Verma and published by Springer Science & Business Media. This book was released on 2010-08-09 with total page 547 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 : 1848826400
Total Pages : 348 pages
Book Rating : 4.03/5 ( download)

DOWNLOAD NOW!

Download or read book Risks in Technological Systems written by Göran Grimvall and published by Springer Science & Business Media. This book was released on 2009-11-03 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: "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 13 : 1848825757
Total Pages : 479 pages
Book Rating : 4.58/5 ( download)

DOWNLOAD NOW!

Download or read book Maintenance for Industrial Systems written by Riccardo Manzini and published by Springer Science & Business Media. This book was released on 2009-11-09 with total page 479 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.