Author:
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages : 462

Get Book Here

Book Description

Author:
Publisher:
ISBN: 9780780306530
Category :
Languages : en
Pages :

Get Book Here

Book Description

Author:
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages :

Get Book Here

Book Description

Author: Institute of Electrical and Electronics Engineers
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages : 624

Get Book Here

Book Description

Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 538

Get Book Here

Book Description

Author:
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages : 486

Get Book Here

Book Description

Author:
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages : 612

Get Book Here

Book Description

Author: Ann T. Tai
Publisher: Springer Science & Business Media
ISBN: 1461313252
Category : Computers
Languages : en
Pages : 207

Get Book Here

Book Description
Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support. Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The book includes a review of general performability concepts along with notions which are peculiar to software performability. Since fault tolerance is widely recognized as a viable means for improving the dependability of computer system (beyond what can be achieved by fault prevention), the examples considered are fault-tolerant software systems that incorporate particular methods of design diversity and fault recovery. Software Performability: From Concepts to Applications will be of direct benefit to both practitioners and researchers in the area of performance and dependability evaluation, fault-tolerant computing, and dependable systems for critical applications. For practitioners, it supplies a basis for defining combined performance-dependability criteria (in the form of objective functions) that can be used to enhance the performability (performance/dependability) of existing software designs. For those with research interests in model-based evaluation, the book provides an analytic framework and a variety of performability modeling examples in an application context of recognized importance. The material contained in this book will both stimulate future research on related topics and, for teaching purposes, serve as a reference text in courses on computer system evaluation, fault-tolerant computing, and dependable high-performance computer systems.

Author: Jan Pukite
Publisher: John Wiley & Sons
ISBN: 0780334825
Category : Computers
Languages : en
Pages : 290

Get Book Here

Book Description
"Markov modeling has long been accepted as a fundamental and powerful technique for the fault tolerance analysis of mission-critical applications. However, the elaborate computations required have often made Markov modeling too time-consuming to be of practical use on these complex systems. With this hands-on tool, designers can use the Markov modeling technique to analyze safety, reliability, maintainability, and cost-effectiveness factors in the full range of complex systems in use today. Featuring ground-breaking simulation software and a comprehensive reference manual, MARKOV MODELING FOR RELIABILITY ANALYSIS helps system designers surmount the mathematical computations that have previously prevented effective reliability analysis. The text and software compose a valuable self-study tool that is complete with detailed explanations, examples, and a library of Markov models that can be used for experiments and as derivations for new simulation models. The book details how these analyses are conducted, while providing hands-on instruction on how to develop reliability models for the full range of system configurations. Computer-Aided Rate Modeling and Simulation (CARMS) software is an integrated modeling tool that includes a diagram-based environment for model setup, a spreadsheet like interface for data entry, an expert system link for automatic model construction, and an interactive graphic interface for displaying simulation results."

Author:
Publisher:
ISBN:
Category : Aviation medicine
Languages : en
Pages : 84

Get Book Here

Book Description
A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA).