Evaluating the reliability of NAND multiplexing with PRISM

Probabilistic-model checking is a formal verification technique for analyzing the reliability and performance of systems exhibiting stochastic behavior. In this paper, we demonstrate the applicability of this approach and, in particular, the probabilistic-model-checking tool PRISM to the evaluation of reliability and redundancy of defect-tolerant systems in the field of computer-aided design. We illustrate the technique with an example due to von Neumann, namely NAND multiplexing. We show how, having constructed a model of a defect-tolerant system incorporating probabilistic assumptions about its defects, it is straightforward to compute a range of reliability measures and investigate how they are affected by slight variations in the behavior of the system. This allows a designer to evaluate, for example, the tradeoff between redundancy and reliability in the design. We also highlight errors in analytically computed reliability bounds, recently published for the same case study

System data communication structures for active-control transport aircraft, volume 2

The application of communication structures to advanced transport aircraft are addressed. First, a set of avionic functional requirements is established, and a baseline set of avionics equipment is defined that will meet the requirements. Three alternative configurations for this equipment are then identified that represent the evolution toward more dispersed systems. Candidate communication structures are proposed for each system configuration, and these are compared using trade off analyses; these analyses emphasize reliability but also address complexity. Multiplex buses are recognized as the likely near term choice with mesh networks being desirable for advanced, highly dispersed systems

Small Displacement, Long Life On-Orbit Compressor Design and Fabrication

The focus is the generation of technology and fabrication of prototype hardware applicable to seven Space Station compressor system applications. The compressors are of the single acting reciprocating piston type and, in general, may be termed miniature in size compared with normal commercially available equipment. The initial technology development is focused on improved valve designs, and the control of pulsations and heating effects in order to increase compressor efficiency and reduce cycle temperatures, thus permitting significantly increased stage pressure ratios. The initial test compressor was successfully operated at pressure ratios of up to 50:1, and this significant extension of allowable pressure ratio will result in a reduction of the number of required stages and, hence, total hardware thereby reducing system weight and volume. These experiments have also identified the need to employ low shaft speeds, on the order of 250 to 500 rpm, to enhance heat transfer and increase life. The prototype compressor currently being designed, is to be driven by a low-speed brushless dc motor sealed in a case common to the compressor drive mechanism case. The compressor and motor case will communicate with stage suction pressure so that any minor gas leakage past the piston rings will be returned to the suction. Emphasis in this prototype design is being placed on simplicity, durability, commonality of components, and high efficiency

Modeling software design diversity

Design diversity has been used for many years now as a means of achieving a degree of fault tolerance in software-based systems. Whilst there is clear evidence that the approach can be expected to deliver some increase in reliability compared with a single version, there is not agreement about the extent of this. More importantly, it remains difficult to evaluate exactly how reliable a particular diverse fault-tolerant system is. This difficulty arises because assumptions of independence of failures between different versions have been shown not to be tenable: assessment of the actual level of dependence present is therefore needed, and this is hard. In this tutorial we survey the modelling issues here, with an emphasis upon the impact these have upon the problem of assessing the reliability of fault tolerant systems. The intended audience is one of designers, assessors and project managers with only a basic knowledge of probabilities, as well as reliability experts without detailed knowledge of software, who seek an introduction to the probabilistic issues in decisions about design diversity