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.↗

Beam-energy and collision-system dependence of the linear and mode-coupled flow harmonics from STAR

Recent measurements and hydrodynamic model calculations suggest that the higher-order flow coefficients ν 4 and ν 5 have two contributions: a linear contribution driven by the initial-state eccentricities, εn, and a mode-coupled contribution derived from the lower-order eccentricity coefficients ε 2 and ε 3 . Measurements of these two contributions to ν 4 and ν 5 provide crucial insights to discern initial-state models and to constrain the temperature-dependent specific shear viscosity, η/s, of the plasma produced in heavy-ion collisions. In this work, we have employed the two-subevents cumulant technique to provide the first beam-energy and collision-system dependence of the linear and mode-coupled contributions to the higher-order flow harmonics. Furthermore, our results are shown and discussed for several centrality intervals for U+U collisions at √s NN = 193GeV, Au+Au collisions at √s NN = 200 ,and 54.4GeV and Cu+Au collisions at √s NN = 200GeV. The results are compared with similar studies performed by the ALICE experiment at LHC.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

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↗