Author: Jean-Claude Laprie
Publisher: Springer
ISBN: 370919170X
Category : Computers
Languages : en
Pages : 268

Get Book

Book Description

Author: Kishor S. Trivedi
Publisher: Cambridge University Press
ISBN: 1107099501
Category : Computers
Languages : en
Pages : 729

Get Book

Book Description
Learn about the techniques used for evaluating the reliability and availability of engineered systems with this comprehensive guide.

Author: Mario Tokoro
Publisher: CRC Press
ISBN: 1498736297
Category : Computers
Languages : en
Pages : 288

Get Book

Book Description
The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users’ requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders’ agreement and accountability achievement for business/service continuity than in elemental technologies.

Author: John Knight
Publisher: CRC Press
ISBN: 1439862559
Category : Computers
Languages : en
Pages : 438

Get Book

Book Description
Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability. Readers will learn: Why dependability matters What it means for a system to be dependable How to build a dependable software system How to assess whether a software system is adequately dependable The author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature. Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.

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

Get Book

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: Bernd Bertsche
Publisher: Springer Science & Business Media
ISBN: 3540342826
Category : Technology & Engineering
Languages : en
Pages : 502

Get Book

Book Description
Defects generate a great economic problem for suppliers who are faced with increased duties. Customers expect increased efficiency and dependability of technical product of - also growing - complexity. The authors give an introduction to a theory of dependability for engineers. The book may serve as a reference book as well, enhancing the knowledge of the specialists and giving a lot of theoretical background and information, especially on the dependability analysis of whole systems.

Author: Patrick O'Connor
Publisher: Wiley
ISBN: 9780471973454
Category : Technology & Engineering
Languages : en
Pages : 72

Get Book

Book Description
This classic textbook/reference contains a complete integration of the processes which influence quality and reliability in product specification, design, test, manufacture and support. Provides a step-by-step explanation of proven techniques for the development and production of reliable engineering equipment as well as details of the highly regarded work of Taguchi and Shainin. New to this edition: over 75 pages of self-assessment questions plus a revised bibliography and references. The book fulfills the requirements of the qualifying examinations in reliability engineering of the Institute of Quality Assurance, UK and the American Society of Quality Control.

Author: Lech Bukowski
Publisher: CRC Press
ISBN: 1000919005
Category : Technology & Engineering
Languages : en
Pages : 325

Get Book

Book Description
The work is a context-oriented analysis and synthesis of complex engineered systems to ensure continuous and safe operations under conditions of uncertainty. The book is divided in four parts, the first one comprises an overview of the development of systems engineering: starting with basics of Systems Science and Single Systems Engineering, through System of Systems Engineering to Cognitive Systems Engineering. The Cognitive Systems Engineering model was based on the concept of imperfect knowledge acquisition and management. The second part shows the evolutionary character of the dependability concept over the last fifty years. Beginning from simple models based on the classical probability theory, through the concepts of tolerating faults, as well as resilience engineering, we come to the assumptions of Cognitive Dependability Engineering (CDE), based on the concept of continuous smart operation, both under normal and abnormal conditions. The subject of the next part is analysis and synthesis of Cyber-Physical-Social (CPS) Systems. The methodology consists of the following steps: modeling CPS systems' structure, simulating their behavior in changing conditions and in situations of disruptions, and finally assessing the dependability of the entire system based on CDE. The last part of the work answers the question of how to deal with risks in CPS systems in situations of high level of uncertainty. The concept of a Cognitive Digital Twin was introduced to support the process of solving complex problems by experts, and on this basis a framework for cognitive dependability based problemsolving in CPS Systems operating under deep uncertainty was developed. The possibilities and purposefulness of using this framework have been demonstrated with three practical examples of disasters that have happened in the past and have been thoroughly analyzed.

Author: Fausto Pedro García Márquez
Publisher: BoD – Books on Demand
ISBN: 1789232589
Category : Technology & Engineering
Languages : en
Pages : 236

Get Book

Book Description
The new technology and system communication advances are being employed in any system, being more complex. The system dependability considers the technical complexity, size, and interdependency of the system. The stochastic characteristic together with the complexity of the systems as dependability requires to be under control the Reliability, Availability, Maintainability, and Safety (RAMS). The dependability contemplates, therefore, the faults/failures, downtimes, stoppages, worker errors, etc. Dependability also refers to emergent properties, i.e., properties generated indirectly from other systems by the system analyzed. Dependability, understood as general description of system performance, requires advanced analytics that are considered in this book. Dependability management and engineering are covered with case studies and best practices. The diversity of the issues will be covered from algorithms, mathematical models, and software engineering, by design methodologies and technical or practical solutions. This book intends to provide the reader with a comprehensive overview of the current state of the art, case studies, hardware and software solutions, analytics, and data science in dependability engineering.

Author: Wilhelm Hasselbring
Publisher: GITO mbH Verlag
ISBN: 3936771561
Category :
Languages : en
Pages : 202

Get Book

Book Description