ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    facet.materialart.
    Unknown
    Evaluation of computing systems using functionals of a Stochastic process (1980)
    In:  CASI
    Details
    Publication Date: 2019-06-27
    Description: An intermediate model was used to represent the probabilistic nature of a total system at a level which is higher than the base model and thus closer to the performance variable. A class of intermediate models, which are generally referred to as functionals of a Markov process, were considered. A closed form solution of performability for the case where performance is identified with the minimum value of a functional was developed.
    Keywords: COMPUTER OPERATIONS AND HARDWARE
    Type: NASA-CR-163512 , REPT-014524-13-T , SEL-140
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 2
    facet.materialart.
    Unknown
    Closed-form solutions of performability (1982)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: It is noted that if computing system performance is degradable then system evaluation must deal simultaneously with aspects of both performance and reliability. One approach is the evaluation of a system's performability which, relative to a specified performance variable Y, generally requires solution of the probability distribution function of Y. The feasibility of closed-form solutions of performability when Y is continuous are examined. In particular, the modeling of a degradable buffer/multiprocessor system is considered whose performance Y is the (normalized) average throughput rate realized during a bounded interval of time. Employing an approximate decomposition of the model, it is shown that a closed-form solution can indeed be obtained.
    Keywords: COMPUTER OPERATIONS AND HARDWARE
    Type: NASA-CR-168835 , NAS 1.26:168835
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 3
    facet.materialart.
    Unknown
    A bibliography on formal methods for system specification, design and validation (1982)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included. Manual and computer-based methods were employed. Keywords used in the online search are listed.
    Keywords: COMPUTER OPERATIONS AND HARDWARE
    Type: NASA-CR-168849 , NAS 1.26:168849 , REPT-014524-19-T , UMICH-SEL-163
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 4
    facet.materialart.
    Unknown
    A performability solution method for degradable nonrepairable systems (1984)
    In:  Other Sources
    Details
    Publication Date: 2019-06-28
    Description: The present performability model-solving algorithm identifies performance with 'reward', representing the state behavior of a system S by a finite-state stochastic process and determining reward by means of reward rates that are associated with the states of the base model. A general method is obtained for determining the probability distribution function of the performance (reward) variable, and therefore the performability, of the corresponding system. This is done for bounded utilization periods, and the result is an integral expression which is either analytically or numerically solvable.
    Keywords: COMPUTER OPERATIONS AND HARDWARE
    Type: IEEE Transactions on Computers (ISSN 0018-9340); C-33; 550-554
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 5
    facet.materialart.
    Unknown
    RAMP - A fault tolerant distributed microcomputer structure for aircraft navigation and control (1981)
    In:  Other Sources
    Details
    Publication Date: 2019-07-13
    Description: Design methodologies for realizing future high authority autoflight control systems are being investigated, taking into account also the study of distributed microcomputer architectures. Attention is given to the redundant asynchronous microprocessor (RAMP) structure. RAMP comprises a connected network of microcomputers which has as input command and sensor information, and which generates servo information to drive actuators, and thrust linkages. Tolerance to hardware failures is achieved by static redundancy. Results of a failed microcomputer are simply rejected. This is done in lieu of dynamic redundancy wherein the distributed computer system performs real time fault detection and reconfiguration of the system. Attention is given to the RAMP network structure and operation, flight control with parallel asynchronous computers, and intermittent fault tolerance.
    Keywords: COMPUTER OPERATIONS AND HARDWARE
    Type: In: Asilomar Conference on Circuits, Systems and Computers; Nov 17, 1980 - Nov 19, 1980; Pacific Grove, CA
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 6
    facet.materialart.
    Unknown
    Models and techniques for evaluating the effectiveness of aircraft computing systems (1982)
    In:  CASI
    Details
    Publication Date: 2019-07-13
    Description: Models, measures, and techniques for evaluating the effectiveness of aircraft computing systems were developed. By "effectiveness" in this context we mean the extent to which the user, i.e., a commercial air carrier, may expect to benefit from the computational tasks accomplished by a computing system in the environment of an advanced commercial aircraft. Thus, the concept of effectiveness involves aspects of system performance, reliability, and worth (value, benefit) which are appropriately integrated in the process of evaluating system effectiveness. Specifically, the primary objectives are: the development of system models that provide a basis for the formulation and evaluation of aircraft computer system effectiveness, the formulation of quantitative measures of system effectiveness, and the development of analytic and simulation techniques for evaluating the effectiveness of a proposed or existing aircraft computer.
    Keywords: COMPUTER OPERATIONS AND HARDWARE
    Type: NASA-CR-170229 , NAS 1.26:170229 , REPT-014524-21-T , SEL-170
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...