Performance related reliability measures for computing systems
Author: M. D. Beaudry
Publisher:
Published: 1976
Total Pages: 26
ISBN-13:
DOWNLOAD EBOOKPosts
Performance and Reliability Analysis of Computer Systems
Author: Robin A. Sahner
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 408
ISBN-13: 1461523672
DOWNLOAD EBOOKPerformance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modeling is followed; all of the examples described are solved and analyzed using the SHARPE tool. In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modeling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system. The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided. Audience: Suitable for use in advanced level courses covering reliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability.
Principles of Performance and Reliability Modeling and Evaluation
Author: Lance Fiondella
Publisher: Springer
Published: 2016-04-06
Total Pages: 659
ISBN-13: 3319305999
DOWNLOAD EBOOKThis book presents the latest key research into the performance and reliability aspects of dependable fault-tolerant systems and features commentary on the fields studied by Prof. Kishor S. Trivedi during his distinguished career. Analyzing system evaluation as a fundamental tenet in the design of modern systems, this book uses performance and dependability as common measures and covers novel ideas, methods, algorithms, techniques, and tools for the in-depth study of the performance and reliability aspects of dependable fault-tolerant systems. It identifies the current challenges that designers and practitioners must face in order to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies, and provides system researchers, performance analysts, and practitioners with the tools to address these challenges in their work. With contributions from Prof. Trivedi's former PhD students and collaborators, many of whom are internationally recognized experts, to honor him on the occasion of his 70th birthday, this book serves as a valuable resource for all engineering disciplines, including electrical, computer, civil, mechanical, and industrial engineering as well as production and manufacturing.
Dependable Computing Systems
Author: Hassan B. Diab
Publisher: John Wiley & Sons
Published: 2005-10-05
Total Pages: 693
ISBN-13: 0471674222
DOWNLOAD EBOOKA team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.
Reliability and Maintenance of Complex Systems
Author: Süleyman Özekici
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 597
ISBN-13: 3662032740
DOWNLOAD EBOOKComplex high-technology devices are in growing use in industry, service sectors, and everyday life. Their reliability and maintenance is of utmost importance in view of their cost and critical functions. This book focuses on this theme and is intended to serve as a graduate-level textbook and reference book for scientists and academics in the field. The chapters are grouped into five complementary parts that cover the most important aspects of reliability and maintenance: stochastic models of reliability and maintenance, decision models involving optimal replacement and repair, stochastic methods in software engineering, computational methods and simulation, and maintenance management systems. This wide range of topics provides the reader with a complete picture in a self-contained volume.
Systems Reliability Assessment
Author: A.G. Colombo
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 310
ISBN-13: 9400906498
DOWNLOAD EBOOKThis book presents models and methods for systems reliability assessment, human reliability analysis and uncertainty management. It includes fourteen contributions which are grouped into three sections. Section 1 deals with basic reliability methods and applications. The papers by Saiz de Bustamante and Perlado introduce the stochastic processes and the Monte Carlo method, respectively. Sanz Fermandez de Cordoba and Gonzales discuss important practical implications of the use of reliability methods. The former refers to the aerospace industry. The latter considers nuclear power plants. Session 2 presents some advances in systems reliability techniques. The paper by Contini and Poucet illustrates the mathematical analysis of fault trees and event trees. It includes a discussion on the logical analysis of non-coherent fault trees and considerations on the major measures of criticality and importance of a component. The paper by Babbio is devoted to Petri nets. First, the formalism of this relatively new technique is given. Then, stochastic Petri nets are introduced as a tool to describe the behaviour of systems in time. Finally, by some fully developed examples, it is shown how this approach can be used to represent and evaluate complex stochastic systems. Limnios introduces the notion of failure delay systems and gives the lifetime structure for the evaluation of reliability measures. A reservoir is studied as an example of a failure delay system.
Reliability and Availability Engineering
Author: Kishor S. Trivedi
Publisher: Cambridge University Press
Published: 2017-08-03
Total Pages: 729
ISBN-13: 1108509002
DOWNLOAD EBOOKDo you need to know what technique to use to evaluate the reliability of an engineered system? This self-contained guide provides comprehensive coverage of all the analytical and modeling techniques currently in use, from classical non-state and state space approaches, to newer and more advanced methods such as binary decision diagrams, dynamic fault trees, Bayesian belief networks, stochastic Petri nets, non-homogeneous Markov chains, semi-Markov processes, and phase type expansions. Readers will quickly understand the relative pros and cons of each technique, as well as how to combine different models together to address complex, real-world modeling scenarios. Numerous examples, case studies and problems provided throughout help readers put knowledge into practice, and a solutions manual and Powerpoint slides for instructors accompany the book online. This is the ideal self-study guide for students, researchers and practitioners in engineering and computer science.
Handbook of Reliability Engineering
Author: Hoang Pham
Publisher: Springer Science & Business Media
Published: 2006-04-12
Total Pages: 676
ISBN-13: 1852338415
DOWNLOAD EBOOKAn effective reliability programme is an essential component of every product's design, testing and efficient production. From the failure analysis of a microelectronic device to software fault tolerance and from the accelerated life testing of mechanical components to hardware verification, a common underlying philosophy of reliability applies. Defining both fundamental and applied work across the entire systems reliability arena, this state-of-the-art reference presents methodologies for quality, maintainability and dependability. Featuring: Contributions from 60 leading reliability experts in academia and industry giving comprehensive and authoritative coverage. A distinguished international Editorial Board ensuring clarity and precision throughout. Extensive references to the theoretical foundations, recent research and future directions described in each chapter. Comprehensive subject index providing maximum utility to the reader. Applications and examples across all branches of engineering including IT, power, automotive and aerospace sectors. The handbook's cross-disciplinary scope will ensure that it serves as an indispensable tool for researchers in industrial, electrical, electronics, computer, civil, mechanical and systems engineering. It will also aid professional engineers to find creative reliability solutions and management to evaluate systems reliability and to improve processes. For student research projects it will be the ideal starting point whether addressing basic questions in communications and electronics or learning advanced applications in micro-electro-mechanical systems (MEMS), manufacturing and high-assurance engineering systems.
Resilient Computer System Design
Author: Victor Castano
Publisher: Springer
Published: 2015-04-15
Total Pages: 271
ISBN-13: 3319150693
DOWNLOAD EBOOKThis book presents a paradigm for designing new generation resilient and evolving computer systems, including their key concepts, elements of supportive theory, methods of analysis and synthesis of ICT with new properties of evolving functioning, as well as implementation schemes and their prototyping. The book explains why new ICT applications require a complete redesign of computer systems to address challenges of extreme reliability, high performance, and power efficiency. The authors present a comprehensive treatment for designing the next generation of computers, especially addressing safety critical, autonomous, real time, military, banking, and wearable health care systems.
Foundations of Dependable Computing
Author: Gary M. Koob
Publisher: Springer Science & Business Media
Published: 2007-07-23
Total Pages: 272
ISBN-13: 0585273774
DOWNLOAD EBOOKFoundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. A companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead.
