Search NASA⌕ Search

SEARCH · Search NASA

Results for “Software dependability”

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 415 records · Page 23

Regular Topologies for Gigabit Wide-Area Networks: Congestion Avoidance Testbed Experiments

This document is Volume 3 of the final technical report on the work performed by SRI International (SRI) on SRI Project 8600. The document includes source listings for all software developed by SRI under this effort. Since some of our work involved the use of ST-II and the Sun Microsystems, Inc. (Sun) High-Speed Serial Interface (HSI/S) driver, we have included some of the source developed by LBL and BBN as well. In most cases, our decision to include source developed by other contractors depended on whether it was necessary to modify the original code. If we have modified the software in any way, it is included in this document. In the case of the Traffic Generator (TG), however, we have included all the ST-II software, even though BBN performed the integration, because the ST-II software is part of the standard TG release. It is important to note that all the code developed by other contractors is in the public domain, so that all software developed under this effort can be re-created from the source included here.

Denny, Barbara A.↗

Characterizing and Assessing a Large-Scale Software Maintenance Organization

One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process modeling approaches. One technique for modeling this perspective is the Actor-Dependency (AD) Model. This paper reports on a case study which used this approach to analyze and assess a large software maintenance organization. Our goal was to identify the approach's strengths and weaknesses while providing practical recommendations for improvement and research directions. The AD model was found to be very useful in capturing the important properties of the organizational context of the maintenance process, and aided in the understanding of the flaws found in this process. However, a number of opportunities for extending and improving the AD model were identified. Among others, there is a need to incorporate quantitative information to complement the qualitative model.

Briand, Lionel↗

Optimizing Excited-State Electronic-Structure Codes for Intel Knights Landing: A Case Study on the BerkeleyGW Software

We profile and optimize calculations performed with the BerkeleyGW code on the Xeon-Phi architecture. BerkeleyGW depends both on hand-tuned critical kernels as well as on BLAS and FFT libraries. We describe the optimization process and performance improvements achieved. We discuss a layered parallelization strategy to take advantage of vector, thread and node-level parallelism. We discuss locality changes (including the consequence of the lack of L3 cache) and effective use of the on-package high-bandwidth memory. We show preliminary results on Knights-Landing including a roofline study of code performance before and after a number of optimizations. We find that the GW method is particularly well-suited for many-core architectures due to the ability to exploit a large amount of parallelism over plane-wave components, band-pairs, and frequencies.

97 MATHEMATICS AND COMPUTING↗

STOMP-W

STOMP is a numerical simulator, developed by PNNL, for solving problems involving multifluid coupled flow and reactive transport in geologic media. The code has been under development at PNNL for more than twentyfive years. This release of STOMP will allow users to directly access the software, and will be limited to selected operational modes. The initial release will include STOMPW. Additional operational modes will be released depending on market trends and user needs.The STOMP simulator has been available to parties outside of PNNL via license agreements. A new trend in projects supported by the U.S. government is that software be available as open source. This release of the STOMP software will meet that need. The initial target operational mode, STOMPW, is one that solves isothermal problems involving variably saturated geologic systems with nonreactive solutes and reactive species. The capabilities of this simulator are often applied to environmental stewardship and restoration problems, such as those at the Hanford Site.

Source record↗

Connected and Learning Based Optimal Freight Management for Efficiency

The management of the future heterogenous fleet is a complex decision-making problem. The heterogenous fleet is emerging as decarbonization technologies are deployed by fleets toward lowering the freight operation emissions in Medium and Heavy-duty vehicles. Traditionally, in fleets characterized by a homogeneous Diesel Internal Combustion Engine (ICE) powertrain, the process of fleet planning and operational optimization unfolds sequentially without the necessity to account for powertrain and vehicle-specific characteristics during dispatch decisions. Fleets with trucks less than 5 years old tend to maintain stable vehicle efficiency with minimal operational reliability risks for fleet managers. However, the landscape changes with the incorporation of emerging powertrain technologies, which lack extensive operational data and service experiences. This includes technologies like hybrid, Electric, Fuel Cell, or alternative fuel ICE. Operational decisions for fleets featuring heterogeneous powertrain technologies and facing limited access to alternative fueling and charging stations become intricate, requiring careful consideration and optimization at each dispatch. The difference in efficiency characteristics of emerging technologies, their range limitations, and the restricted availability of charging/alternative fueling infrastructure, coupled with sensitivity to driving conditions (e.g., EV range reduction in low temperatures) and their impact on component aging (such as batteries), become pivotal factors influencing the reliable and efficient freight transportation. To make the path toward low emission freight transportation efficient and reliable, an AI-assisted fleet management software is developed in this project to help fleet managers in optimizing both adoption of emerging powertrain decarbonization, connected and automated technologies and also operating the fleet after such technologies are deployed as schematically. Freight transportation requirements are different depending on the cargos to be shipped, customer requirements and regions of operations. This further highlights the need for software and digital solutions to tailor deployment and operation of emerging powertrain, connectivity, and automation technologies toward the specific fleet operation requirements. The fleet management optimizer was also integrated with a model of the fleet to simulate the operation of the fleet over 1 year of the baseline fleet operation (250,000+ shipments) indicating the significance of day-to-day variations on emissions and energy consumption of a freight transportation fleet. The results demonstrate ≥20% improvement in freight efficiency in terms of WTW CO2 per ton-mile of cargo shipments while all fleet operation constraints are enforced, and the cost (CapEx and OpEx) is minimized.

33 ADVANCED PROPULSION SYSTEMS↗

Developing and Managing Data Acquisition Software Using Spack

The Data Acquisition systems of particle physics experiments regularly push the boundaries of high-throughput computing, demanding low-latency collection of data from thousands of devices, collating data into time-sliced events, processing these events and making trigger decisions, and writing the selected data streams to disk. To accomplish these tasks, the DAQ Engineering and Operations department at Fermilab leverages multiple software libraries and builds reusable DAQ frameworks on top. These libraries must be delivered in well-defined bundles and are thoroughly tested for compatibility and functionality before being deployed to live detectors. We have several techniques used to ensure that a consistent set of dependencies can be delivered and re-created at need. We must also support active development of DAQ software components, ideally in an environment as close as possible to that of the detectors. This development often occurs across multiple packages which have to be built in concert and features tested in a consistent and reproducible manner. I will present our scheme for accomplishing these goals using Spack environments, bundle packages, and Github Actions-based CI.

Flumerfelt, Eric [Fermilab]↗

Closed-loop simulation with Grad-Shafranov equilibrium evolution for plasma control system development

Plasma control design increasingly depends on fast simulations able to connect to operational plasma control system (PCS) software for iterative development. GSevolve is a nonlinear free-boundary simulation that evolves the Grad-Shafranov equilibrium including current and pressure profiles, and can connect to all versions of the DIII-D PCS operational on devices around the world. Its ability to simulate the evolution of current continuously from open to closed field lines enables GSevolve to simulate full-discharge control from breakdown through plasma termination. GSevolve is compliant with the Plasma Control System Simulation Platform (PCSSP), a Matlab/Simulink®-based environment that serves as the primary framework for development of the ITER Plasma Control System (PCS). The code employs a novel response function-updating scheme to achieve fast simulations. The plasma evolves linearly until a significant shape change triggers a nonlinear update of the response while enforcing a prescribed accuracy. Old responses are recalled if the plasma changes back to an old shape. The equilibrium is a function of a state vector containing axisymmetric conductor currents and parameters related to parallel and perpendicular currents, which evolves according to an efficient state space circuit formulation. Control design and validation results are presented for simulations of DIII-D and EAST, connected to their corresponding versions of the DIII-D PCS.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Physics-informed Bayesian machine learning case study: Integral blade rotors

This paper provides a physics-informed Bayesian machine learning (PIBML) description and case study. The PIBML approach applies three physics-based models to establish the initial beliefs before testing to determine the probability of milling stability (or prior). These include: receptance coupling substructure analysis (RCSA) prediction for the tool tip frequency response functions; finite element software prediction of the mechanistic force model coefficients; and a spindle speed-dependent power law model for process damping. Testing was then performed to identify optimal stable machining conditions using an expected improvement in material removal rate criterion. The prior probability of stability was updated using the test results to determine the posterior probability of stability. The test results were compared to the parameter recommendations provided by the endmill manufacturer. A demonstration integral blade rotor was machined at the optimal stable machining conditions for 304 stainless steel and 6061-T6 aluminum. Finally, the disagreement between manufacturer recommendations and milling performance in both materials tested emphasizes the need for broad implementation of PIBML approaches to increase machining productivity and efficiency.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

From data to knowledge: The future of multi-omics data analysis for the rhizosphere

The rhizosphere is the interface between the root system of a plant and its surrounding soil. The microbiome of the rhizosphere, which is the totality of all microbes present there, represents a complex microbial ecosystem that nourishes the terrestrial biosphere. In order to untangle the complexity of the rhizosphere, and of the rhizospheric microbiome in particular, an integrated multi-omics approach can be applied to reveal the composition of the rhizospheric microbiome (through 16S ribosomal amplicons and metagenomics), the functional properties of the microbiome (through metatranscriptomics and metaproteomics), and the signaling network within the rhizosphere (through metametabolomics). The successful application of integrated multi-omics to rhizospheric science depends on the availability of rhizosphere-specific data and on the appropriate software used to analyze omics data from the rhizosphere. Here, we analyze the availability of software suites that are normally applied to surrogate disciplines (e.g., soil and plants) but which can be used for rhizospheric science. We also identify potential issues, challenges, and opportunities for rhizosphere science.

54 ENVIRONMENTAL SCIENCES↗

Web Proxy Auto Discovery for the WLCG

All four of the LHC experiments depend on web proxies (that is, squids) at each grid site to support software distribution by the CernVM FileSystem (CVMFS). CMS and ATLAS also use web proxies for conditions data distributed through the Frontier Distributed Database caching system. ATLAS & CMS each have their own methods for their grid jobs to find out which web proxies to use for Frontier at each site, and CVMFS has a third method. Those diverse methods limit usability and flexibility, particularly for opportunistic use cases, where an experiment’s jobs are run at sites that do not primarily support that experiment. This paper describes a new Worldwide LHC Computing Grid (WLCG) system for discovering the addresses of web proxies. The system is based on an internet standard called Web Proxy Auto Discovery (WPAD). WPAD is in turn based on another standard called Proxy Auto Configuration (PAC). Both the Frontier and CVMFS clients support this standard. The input into the WLCG system comes from squids registered in the ATLAS Grid Information System (AGIS) and CMS SITECONF files, cross-checked with squids registered by sites in the Grid Configuration Database (GOCDB) and the OSG Information Management (OIM) system, and combined with some exceptions manually configured by people from ATLAS and CMS who operate WLCG Squid monitoring. WPAD servers at CERN respond to http requests from grid nodes all over the world with a PAC file that lists available web proxies, based on IP addresses matched from a database that contains the IP address ranges registered to organizations. Large grid sites are encouraged to supply their own WPAD web servers for more flexibility, to avoid being affected by short term long distance network outages, and to offload the WLCG WPAD servers at CERN. The CERN WPAD servers additionally support requests from jobs running at non-grid sites (particularly for LHC@Home) which it directs to the nearest publicly accessible web proxy servers. Furthermore, the responses to those requests are geographically ordered based on a separate database that maps IP addresses to longitude and latitude.

97 MATHEMATICS AND COMPUTING↗

Hyperspectral acquisition with ScanImage at the single pixel level: application to time domain coherent Raman imaging

We present a comprehensive strategy and its practical implementation using the commercial ScanImage software platform to perform hyperspectral point scanning microscopy when a fast time-dependent signal varies at each pixel level. In the proposed acquisition scheme, the scan along the X-axis is slowed down while the data acquisition is maintained at a high pace to enable the rapid acquisition of the time-dependent signal at each pixel level. The ScanImage generated raw 2D images have a very asymmetric aspect ratio between X and Y, the X axis encoding both for space and time acquisition. The results are X-axis macro-pixel where the associated time-dependent signal is sampled to provide hyperspectral information. We exemplified the proposed hyperspectral scheme in the context of time-domain coherent Raman imaging, where a pump pulse impulsively excites molecular vibrations that are subsequently probed by a time-delayed probe pulse. In this case, the time-dependent signal is a fast acousto-optics delay line that can scan a delay of 4.5ps in 25 μ s at each pixel level. With this acquisition scheme, we demonstrate ultra-fast hyperspectral vibrational imaging in the low frequency range [10 cm −1 , 150 cm −1 ] over a 500 μm field of view (64 x 64 pixels) in 130ms (∼ 7.5 frames/s). The proposed acquisition scheme can be readily extended to other applications requiring the acquisition of a fast-evolving signal at each pixel level.

Metais, Samuel↗

An analysis of satellite state vector observability using SST tracking data

Observability of satellite state vectors, using only SST tracking data was investigated by covariance analysis under a variety of satellite and station configurations. These results indicate very precarious observability in most short arc cases. The consequences of this are large variances on many state components, such as the downrange component of the relay satellite position. To illustrate the impact of observability problems, an example is given of two distinct satellite orbit pairs generating essentially the same data arc. The physical bases for unobservability are outlined and related to proposed TDRSS configurations. Results are relevant to any mission depending upon TDRSS to determine satellite state. The required mathematical analysis and the software used is described.

Englar, T. S., Jr.↗

The interactive role of subsynoptic scale jet sreak and planetary boundary layer adjustments in organizing an apparently isolated convective complex

A mesoscale atmospheric simulation system is described that is being developed in order to improve the simulation of subsynoptic and mesoscale adjustments associated with cyclogenesis, severe storm development, and significant atmospheric transport processes. Present emphasis in model development is in the parameterization of physical processes, time-dependent boundary conditions, sophisticated initialization and analysis procedures, nested grid solutions, and applications software development. Basic characteristics of the system as of March 1982 are listed. In a case study, the Grand Island tornado outbreak of 3 June 1980 is considered in substantial detail. Results of simulations with a mesoscale atmospheric simulation system indicate that over the high plains subtle interactions between existing jet streaks and deep well mixed boundary layers can lead to well organized patterns of mesoscale divergence and pressure falls. The amplitude and positioning of these mesoscale features is a function of the subtle nonlinear interaction between the pre-existing jet-streak and deep well mixed boundary layers. Model results for the case study indicate that the model has the potential for forecasting the precursor mesoscale convective environment.

Kaplan, M. L.↗

Numerical solutions of the compressible 3-D boundary-layer equations for aerospace configurations with emphasis on LFC

The application of stability theory in Laminar Flow Control (LFC) research requires that density and velocity profiles be specified throughout the viscous flow field of interest. These profile values must be as numerically accurate as possible and free of any numerically induced oscillations. Guidelines for the present research project are presented: develop an efficient and accurate procedure for solving the 3-D boundary layer equation for aerospace configurations; develop an interface program to couple selected 3-D inviscid programs that span the subsonic to hypersonic Mach number range; and document and release software to the LFC community. The interface program was found to be a dependable approach for developing a user friendly procedure for generating the boundary-layer grid and transforming an inviscid solution from a relatively coarse grid to a sufficiently fine boundary-layer grid. The boundary-layer program was shown to be fourth-order accurate in the direction normal to the wall boundary and second-order accurate in planes parallel to the boundary. The fourth-order accuracy allows accurate calculations with as few as one-fifth the number of grid points required for conventional second-order schemes.

Harris, Julius E.↗

The PLAID graphics analysis impact on the space program

An ongoing project design often requires visual verification at various stages. These requirements are critically important because the subsequent phases of that project might depend on the complete verification of a particular stage. Currently, there are several software packages at JSC that provide such simulation capabilities. We present the simulation capabilities of the PLAID modeling system used in the Flight Crew Support Division for human factors analyses. We summarize some ongoing studies in kinematics, lighting, EVA activities, and discuss various applications in the mission planning of the current Space Shuttle flights and the assembly sequence of the Space Station Freedom with emphasis on the redesign effort.

Nguyen, Jennifer P.↗

Ideal Integrating Bolometer

We describe a new 'ideal integrator' bolometer as a prototype for a new generation of sensitive, flexible far-IR detectors suitable for use in large arrays. The combination of a non-dissipative sensor coupled with a fast heat switch provides breakthrough capabilities in both sensitivity and operation. The bolometer temperature varies linearly with the integrated infrared power incident on the detector, and may be sampled intermittently without loss of information between samples. The sample speed and consequent dynamic range depend only on the heat switch reset cycle and can be selected in software. Between samples, the device acts as an ideal integrator with noise significantly lower than resistive bolometers. Since there is no loss of information between samples, the device is well-suited for large arrays. A single SQUID readout could process an entire column of detectors, greatly reducing the complexity, power requirements, and cost of readout electronics for large pixel arrays.

Kogut, Alan↗

Ideal Integrating Bolometer

We describe a new "ideal integrator" bolometer as a prototype for a new generation of sensitive, flexible far-IR detectors suitable for use in large arrays. The combination of a non-dissipative sensor coupled with a fast heat switch provides breakthrough capabilities in both sensitivity and operation. The bolometer temperature varies linearly with the integrated infrared power incident on the detector, and may be sampled intermittently without loss of information between samples. The sample speed and consequent dynamic range depend only on the heat switch reset cycle and can be selected in software. Between samples, the device acts as an ideal integrator with noise significantly lower than resistive bolometers. Since there is no loss of information between samples, the device is well-suited for large arrays. A single SQUID readout could process an entire column of detectors, greatly reducing the complexity, power requirements, and cost of readout electronics for large pixel arrays.

Kogut, A.↗