Automatic Specification of Reliability Models for Fault-tolerant Computers
Author : Carlos A. Liceaga
Publisher :
Page : 76 pages
File Size : 40,91 MB
Release : 1993
Category : Computer-aided design
ISBN :
Author : Carlos A. Liceaga
Publisher :
Page : 76 pages
File Size : 40,91 MB
Release : 1993
Category : Computer-aided design
ISBN :
Author : National Aeronautics and Space Administration (NASA)
Publisher : Createspace Independent Publishing Platform
Page : 74 pages
File Size : 34,21 MB
Release : 2018-07-08
Category :
ISBN : 9781722248161
The calculation of reliability measures using Markov models is required for life-critical processor-memory-switch structures that have standby redundancy or that are subject to transient or intermittent faults or repair. The task of specifying these models is tedious and prone to human error because of the large number of states and transitions required in any reasonable system. Therefore, model specification is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model specification. Automation requires a general system description language (SDL). For practicality, this SDL should also provide a high level of abstraction and be easy to learn and use. The first attempt to define and implement an SDL with those characteristics is presented. A program named Automated Reliability Modeling (ARM) was constructed as a research vehicle. The ARM program uses a graphical interface as its SDL, and it outputs a Markov reliability model specification formulated for direct use by programs that generate and evaluate the model. Liceaga, Carlos A. and Siewiorek, Daniel P. Langley Research Center...
Author :
Publisher :
Page : 538 pages
File Size : 47,87 MB
Release : 1995
Category : Aeronautics
ISBN :
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Author : Martin L. Shooman
Publisher : John Wiley & Sons
Page : 552 pages
File Size : 24,40 MB
Release : 2003-04-08
Category : Technology & Engineering
ISBN : 0471464066
With computers becoming embedded as controllers in everything from network servers to the routing of subway schedules to NASA missions, there is a critical need to ensure that systems continue to function even when a component fails. In this book, bestselling author Martin Shooman draws on his expertise in reliability engineering and software engineering to provide a complete and authoritative look at fault tolerant computing. He clearly explains all fundamentals, including how to use redundant elements in system design to ensure the reliability of computer systems and networks. Market: Systems and Networking Engineers, Computer Programmers, IT Professionals.
Author :
Publisher :
Page : pages
File Size : 43,89 MB
Release : 1994
Category : Government publications
ISBN :
Author :
Publisher :
Page : 1064 pages
File Size : 31,75 MB
Release : 1994
Category : Government publications
ISBN :
Author : Gerardo Rubino
Publisher : Cambridge University Press
Page : 287 pages
File Size : 31,98 MB
Release : 2014-06-12
Category : Business & Economics
ISBN : 1107007577
Covers fundamental and applied results of Markov chain analysis for the evaluation of dependability metrics, for graduate students and researchers.
Author : Mostafa I Abd-el-barr
Publisher : World Scientific
Page : 463 pages
File Size : 42,32 MB
Release : 2006-12-15
Category : Computers
ISBN : 190897978X
Covering both the theoretical and practical aspects of fault-tolerant mobile systems, and fault tolerance and analysis, this book tackles the current issues of reliability-based optimization of computer networks, fault-tolerant mobile systems, and fault tolerance and reliability of high speed and hierarchical networks.The book is divided into six parts to facilitate coverage of the material by course instructors and computer systems professionals. The sequence of chapters in each part ensures the gradual coverage of issues from the basics to the most recent developments. A useful set of references, including electronic sources, is listed at the end of each chapter./a
Author : Daniel L. Palumbo
Publisher :
Page : 24 pages
File Size : 45,15 MB
Release : 1992
Category : Mathematical models
ISBN :
Author :
Publisher :
Page : 178 pages
File Size : 46,68 MB
Release : 1986
Category : Industrial engineering
ISBN :