Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “System dependency”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records

DEPEND - A design environment for prediction and evaluation of system dependability

The development of DEPEND, an integrated simulation environment for the design and dependability analysis of fault-tolerant systems, is described. DEPEND models both hardware and software components at a functional level, and allows automatic failure injection to assess system performance and reliability. It relieves the user of the work needed to inject failures, maintain statistics, and output reports. The automatic failure injection scheme is geared toward evaluating a system under high stress (workload) conditions. The failures that are injected can affect both hardware and software components. To illustrate the capability of the simulator, a distributed system which employs a prediction-based, dynamic load-balancing heuristic is evaluated. Experiments were conducted to determine the impact of failures on system performance and to identify the failures to which the system is especially susceptible.

Goswami, Kumar K.↗

Experimental analysis of computer system dependability

This paper reviews an area which has evolved over the past 15 years: experimental analysis of computer system dependability. Methodologies and advances are discussed for three basic approaches used in the area: simulated fault injection, physical fault injection, and measurement-based analysis. The three approaches are suited, respectively, to dependability evaluation in the three phases of a system's life: design phase, prototype phase, and operational phase. Before the discussion of these phases, several statistical techniques used in the area are introduced. For each phase, a classification of research methods or study topics is outlined, followed by discussion of these methods or topics as well as representative studies. The statistical techniques introduced include the estimation of parameters and confidence intervals, probability distribution characterization, and several multivariate analysis methods. Importance sampling, a statistical technique used to accelerate Monte Carlo simulation, is also introduced. The discussion of simulated fault injection covers electrical-level, logic-level, and function-level fault injection methods as well as representative simulation environments such as FOCUS and DEPEND. The discussion of physical fault injection covers hardware, software, and radiation fault injection methods as well as several software and hybrid tools including FIAT, FERARI, HYBRID, and FINE. The discussion of measurement-based analysis covers measurement and data processing techniques, basic error characterization, dependency analysis, Markov reward modeling, software-dependability, and fault diagnosis. The discussion involves several important issues studies in the area, including fault models, fast simulation techniques, workload/failure dependency, correlated failures, and software fault tolerance.

Iyer, Ravishankar, K.↗

Towards an Automated Development Methodology for Dependable Systems with Application to Sensor Networks

A general-purpose method to mechanically transform system requirements into a probably equivalent model has yet to appeal: Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a probably equivalent implementation are valuable but not su8cient. The "gap" unfilled by such tools and methods is that their. formal models cannot be proven to be equivalent to the system requirements as originated by the customel: For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a probably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗

Data dependent systems methodology for lumped mass modeling of structures

Limitations of the frequency domain methods in analyzing structura1 vibrations has created an awareness of the comparative merits of the time domain methods. Although time domain methods would be ideal for modeling large precisions space systems, the popular methods based on fitting theoretical response to actual data by least squares are too sensitive to noise and require too much data to be suitable for orbiting space crafts. This paper briefly reviews the theory and illustrative applications of a time domain methodology called Data Dependent Systems (DDS) that eliminates these limitations. Simulation results are presented to demonstrate a better than 4-place accuracy in the identifications of all system parameters, both modal (frequencies, damping ratios, and mode shapes) and physical (mass, stiffness, and damping matrices).

Pandit, Sudhakar M.↗

A Rationale for System-Dependent Advantages and Disadvantages of Solution Crystal Growth at Low Gravity

Protein crystallization experiments at reduced gravity have yielded crystals that, depending on the specific material, are either superior or inferior in their structural perfection compared to counterparts grown at normal gravity. A reduction of the crystals' quality due to their growth at low gravity cannot be understood from existing models. Our experimental investigations of the ground-based crystallization of the protein lysozyme have revealed pronounced unsteady growth layer dynamics and associated defect formation under steady external conditions. Through scaling analysis and numerical simulations we show that the observed fluctuations originate from the coupling of bulk transport with non-linear interface kinetics under mixed kinetics-transport control of the growth rate. The amplitude of the fluctuations is smallest when either transport or interfacial kinetics dominate the control of the crystallization process. Thus, depending on the specific system, crystal quality may be improved by either enhancing or suppressing the transport in the solution. These considerations provide, for the first time, a material-dependent rationale for the advantages, as well as the disadvantages, of reduced gravity for (protein) crystallization.

Rosenberger, Franz↗

Monitoring of Time-Dependent System Profiles by Multiplex Gas Chromatography with Maximum Entropy Demodulation

The maximum entropy technique was successfully applied to the deconvolution of overlapped chromatographic peaks. An algorithm was written in which the chromatogram was represented as a vector of sample concentrations multiplied by a peak shape matrix. Simulation results demonstrated that there is a trade off between the detector noise and peak resolution in the sense that an increase of the noise level reduced the peak separation that could be recovered by the maximum entropy method. Real data originated from a sample storage column was also deconvoluted using maximum entropy. Deconvolution is useful in this type of system because the conservation of time dependent profiles depends on the band spreading processes in the chromatographic column, which might smooth out the finer details in the concentration profile. The method was also applied to the deconvolution of previously interpretted Pioneer Venus chromatograms. It was found in this case that the correct choice of peak shape function was critical to the sensitivity of maximum entropy in the reconstruction of these chromatograms.

Becker, Joseph F.↗

Model Transformation for a System of Systems Dependability Safety Case

Software plays an increasingly larger role in all aspects of NASA's science missions. This has been extended to the identification, management and control of faults which affect safety-critical functions and by default, the overall success of the mission. Traditionally, the analysis of fault identification, management and control are hardware based. Due to the increasing complexity of system, there has been a corresponding increase in the complexity in fault management software. The NASA Independent Validation & Verification (IV&V) program is creating processes and procedures to identify, and incorporate safety-critical software requirements along with corresponding software faults so that potential hazards may be mitigated. This Specific to Generic ... A Case for Reuse paper describes the phases of a dependability and safety study which identifies a new, process to create a foundation for reusable assets. These assets support the identification and management of specific software faults and, their transformation from specific to generic software faults. This approach also has applications to other systems outside of the NASA environment. This paper addresses how a mission specific dependability and safety case is being transformed to a generic dependability and safety case which can be reused for any type of space mission with an emphasis on software fault conditions.

Murphy, Judy↗

K sub A-band weather-dependent system performance estimates for Goldstone

A K sub A band atmospheric noise temperature and attenuation statistical model is developed for Goldstone, based on water vapor radiometer measurements at 31.4 GHz made during winter and spring 1981. An equivalent X-band model is derived from these measurements, and the two sets of data are compared to determine the possible advantages of developing DSN telecommunications links at 32 GHz. For a nominal elevation angle of 30 degrees and identical antennas, it is found that a K sub A band system at Goldstone will show a 5 to 1 dB signal-to-noise ratio advantage oer an X-band system more than 99 percent of the time.

Clauss, R. C.↗

Centrality and collision system dependence of antiproton production from p+A to Au+Au collisions at AGS energies

Antiproton production in heavy ion collisions reflects subtle interplay between initial production and absorption by nucleons. Because the AGS energies (10--20 A(center-dot)GeV/c) are close to the antiproton production threshold, antiproton may be sensitive to cooperative processes such as QGP and hadronic multi-step processes. On the other hand, antiproton has been proposed as a probe of baryon density due to large N(anti N) annihilation cross sections. Cascade models predict the maximum baryon density reaches about 10 times the normal nucleus density in central Au+Au collisions, where the strong antiproton absorption is expected. In this paper, the authors show systematic studies of antiproton production from p+A to Au+Au collisions.

Sako, H.↗

Model Transformation for a System of Systems Dependability Safety Case

The presentation reviews the dependability and safety effort of NASA's Independent Verification and Validation Facility. Topics include: safety engineering process, applications to non-space environment, Phase I overview, process creation, sample SRM artifact, Phase I end result, Phase II model transformation, fault management, and applying Phase II to individual projects.

Murphy, Judy↗

Investigating System Dependability Modeling Using AADL

This report describes Architecture Analysis & Design Language (AADL) models for a diverse set of fault-tolerant, embedded data networks and describes the methods and tools used to created these models. It also includes error models per the AADL Error Annex. Some networks were modeled using Error Detection Isolation Containment Types (EDICT). This report gives a brief description for each of the networks, a description of its modeling, the model itself, and evaluations of the tools used for creating the models. The methodology includes a naming convention that supports a systematic way to enumerate all of the potential failure modes.

Hall, Brendan↗

DEPEND: A simulation-based environment for system level dependability analysis

The design and evaluation of highly reliable computer systems is a complex issue. Designers mostly develop such systems based on prior knowledge and experience and occasionally from analytical evaluations of simplified designs. A simulation-based environment called DEPEND which is especially geared for the design and evaluation of fault-tolerant architectures is presented. DEPEND is unique in that it exploits the properties of object-oriented programming to provide a flexible framework with which a user can rapidly model and evaluate various fault-tolerant systems. The key features of the DEPEND environment are described, and its capabilities are illustrated with a detailed analysis of a real design. In particular, DEPEND is used to simulate the Unix based Tandem Integrity fault-tolerance and evaluate how well it handles near-coincident errors caused by correlated and latent faults. Issues such as memory scrubbing, re-integration policies, and workload dependent repair times which affect how the system handles near-coincident errors are also evaluated. Issues such as the method used by DEPEND to simulate error latency and the time acceleration technique that provides enormous simulation speed up are also discussed. Unlike any other simulation-based dependability studies, the use of these approaches and the accuracy of the simulation model are validated by comparing the results of the simulations, with measurements obtained from fault injection experiments conducted on a production Tandem Integrity machine.

Goswami, Kumar↗

Geoscience Laser Ranging System - Estimated accuracy of geodetic parameters and their dependence on system characteristics

Covariance analysis of the performance of the Geoscience Laser Ranging System (GLRS) indicates that three-dimensional relative positions can be recovered to an accuracy of several millimeters over spatial scales from a few kilometers to several hundred kilometers and over temporal scales as short as several days. The key factors influencing the accuracy are range noise, number of targets and their locations, system pointing capability, dwell time on the targets, orbital geometry, and gravity field uncertainties. Based on the present trade-off studies, GLRS is designed to provide range measurements with 10 mm or better accuracy, fire at a rate of 40 pulses-per-second, point over a cone extending to 50 deg from nadir, and operate with a dwell time on individual targets of 2 s or less. Given a strain rate of 10 to the -14th/s, estimated GLRS accuracy parameters suggest that the deformation can be detected in less than a month if it extends over 100 km and in less than 6 months if it extends over 10 km.

Cohen, Steven C.↗