Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “execution time”

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 1,063 records · Page 59

OMS event evaluator and scheduler

An Operations Management System (OMS) is being designed for Space Station Freedom to improve productivity, reliability, and safety while reducing operations and maintenance costs. Central to the concept is a short term plan containing mixes of man-readable and machine-executable procedures used in an environment of distributed processing and execution. An OMS event evaluator to check upcoming short-term plan events for validity of execution is under development. The first version checks time and resource constraints against operational conditions for current or expected stations. In work are the handling of environmental and other operational constraints, as well as detailed modeling of resources and station operational states. The Ada Program also has the ability to reschedule all or part of the events.

Eckelkamp, Richard E.↗

Hubble Space Telescope - First Servicing Mission: Down to Earth Logistics - From GSFC to KSC and Back

The Hubble Space Telescope First Servicing Mission is a major accomplishment for NASA and has drawn world-wide attention and interest. The extravehicular servicing and repair activities performed by the STS-61 crew were the most ambitious ever undertaken. Their unprecedented success in performing on-orbit repair and maintenance, particularly in correcting the aberration in the primary mirror, has enabled the HST to provide sensational images and the anticipation of exciting scientific discoveries. Although the whole world watched the televised logistics activities (on-orbit maintenance) that took place in space, few are aware of the time and effort that went into planning and executing the space logistics that takes place with our feet on the ground. This paper addresses a major part of that effort - the packaging, handling, and transportation (PH&T) activities required to ship the GSFC HST space flight hardware and ground support equipment to KSC for launch and the post launch return to GSFC. It addresses the logistics and transportation planning for the containers for the Solar Array Carrier, the Orbital Replacement Unit Carrier, and the Flight Support System and their transporters, and the over land and water portions of the shipments.

Kubicko, Richard M.↗

Automated Testing Experience of the Linear Aerospike SR-71 Experiment (LASRE) Controller

System controllers must be fail-safe, low cost, flexible to software changes, able to output health and status words, and permit rapid retest qualification. The system controller designed and tested for the aerospike engine program was an attempt to meet these requirements. This paper describes (1) the aerospike controller design, (2) the automated simulation testing techniques, and (3) the real time monitoring data visualization structure. Controller cost was minimized by design of a single-string system that used an off-the-shelf 486 central processing unit (CPU). A linked-list architecture, with states (nodes) defined in a user-friendly state table, accomplished software changes to the controller. Proven to be fail-safe, this system reported the abort cause and automatically reverted to a safe condition for any first failure. A real time simulation and test system automated the software checkout and retest requirements. A program requirement to decode all abort causes in real time during all ground and flight tests assured the safety of flight decisions and the proper execution of mission rules. The design also included health and status words, and provided a real time analysis interpretation for all health and status data.

Larson, Richard R.↗

Medical Operation KC-135 Familiarization Flight

As new personnel join the Medical Operations Branch, it is critical that they understand the effects of microgravity on medical procedures, hardware, and supplies. The familiarization flight provided new personnel with a better understanding of the effects of microgravity on (1) medical procedures, (2) patient and rescuer restraint, (3) medical fluids, and (4) medical training for space flight. The flight process also provided experience in flight proposal preparation, flight test plan preparation and execution, and final report preparation. In addition, first time flyers gained insight on their performance level in microgravity for future flights.

Dawson, Chris↗

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗

The Software Element of the NASA Portable Electronic Device Radiated Emissions Investigation

NASA Langley Research Center's (LaRC) High Intensity Radiated Fields Laboratory (HIRF Lab) recently conducted a series of electromagnetic radiated emissions tests under a cooperative agreement with Delta Airlines and an interagency agreement with the FAA. The frequency spectrum environment at a commercial airport was measured on location. The environment survey provides a comprehensive picture of the complex nature of the electromagnetic environment present in those areas outside the aircraft. In addition, radiated emissions tests were conducted on portable electronic devices (PEDs) that may be brought onboard aircraft. These tests were performed in both semi-anechoic and reverberation chambers located in the HIRF Lab. The PEDs included cell phones, laptop computers, electronic toys, and family radio systems. The data generated during the tests are intended to support the research on the effect of radiated emissions from wireless devices on aircraft systems. Both tests systems relied on customized control and data reduction software to provide test and instrument control, data acquisition, a user interface, real time data reduction, and data analysis. The software executed on PC's running MS Windows 98 and 2000, and used Agilent Pro Visual Engineering Environment (VEE) development software, Common Object Model (COM) technology, and MS Excel.

Koppen, Sandra V.↗

Using Block-local Atomicity to Detect Stale-value Concurrency Errors

Data races do not cover all kinds of concurrency errors. This paper presents a data-flow-based technique to find stale-value errors, which are not found by low-level and high-level data race algorithms. Stale values denote copies of shared data where the copy is no longer synchronized. The algorithm to detect such values works as a consistency check that does not require any assumptions or annotations of the program. It has been implemented as a static analysis in JNuke. The analysis is sound and requires only a single execution trace if implemented as a run-time checking algorithm. Being based on an analysis of Java bytecode, it encompasses the full program semantics, including arbitrarily complex expressions. Related techniques are more complex and more prone to over-reporting.

Artho, Cyrille↗

cFE/CFS (Core Flight Executive/Core Flight System)

This viewgraph presentation describes in detail the requirements and goals of the Core Flight Executive (cFE) and the Core Flight System (CFS). The Core Flight Software System is a mission independent, platform-independent, Flight Software (FSW) environment integrating a reusable core flight executive (cFE). The CFS goals include: 1) Reduce time to deploy high quality flight software; 2) Reduce project schedule and cost uncertainty; 3) Directly facilitate formalized software reuse; 4) Enable collaboration across organizations; 5) Simplify sustaining engineering (AKA. FSW maintenance); 6) Scale from small instruments to System of Systems; 7) Platform for advanced concepts and prototyping; and 7) Common standards and tools across the branch and NASA wide.

Wildermann, Charles P.↗

An Expert System for Autonomous Spacecraft Control

The Autonomous Sciencecraft Experiment (ASE), part of the New Millennium Space Technology 6 Project, is flying onboard the Earth Orbiter 1 (EO-1) mission. The ASE software enables EO-1 to autonomously detect and respond to science events such as: volcanic activity, flooding, and water freeze/thaw. ASE uses classification algorithms to analyze imagery onboard to detect chang-e and science events. Detection of these events is then used to trigger follow-up imagery. Onboard mission planning software then develops a response plan that accounts for target visibility and operations constraints. This plan is then executed using a task execution system that can deal with run-time anomalies. In this paper we describe the autonomy flight software and how it enables a new paradigm of autonomous science and mission operations. We will also describe the current experiment status and future plans.

utonomy flight software↗

Using SCOR as a Supply Chain Management Framework for Government Agency Contract Requirements

Enterprise Supply Chain Management consists of: Specifying suppliers to support inter-program and inter-agency efforts. Optimizing inventory levels and locations throughout the supply chain. Executing corrective actions to improve quality and lead time issues throughout the supply chain. Processing reported data to calculate and make visible supply chain performance (provide information for decisions and actions). Ensuring the right hardware and information is provided at the right time and in the right place. Monitoring the industrial base while developing, producing, operating and retiring a system. Seeing performance deep in the supply chain that could indicate issues affecting system availability and readiness.

Paxton, Joe↗

Environmental Signatures for Habitability: What to Measure and How to Rank the Habitability Potential of Mars

The environmental signatures for habitability are not necessarily biosignatures, even though on Earth, they are definitive proof of habitability. It is the constant overprint of the chemical signatures of life that makes it difficult to recognize the chemical and physical properties of a potentially habitable environment as distinct from an inhabited one. Mars Science Laboratory (MSL) will soon embark on a mission to Mars to assess its past or present habitability, so it is useful to examine how we measure habitability on Earth and prepare for how that approach may differ for Mars. This exercise includes: (a) articulation of fundamental assumptions about habitability, (b) an inventory of factors that affect habitability, (c) development of metrics, measurement approach and implementation, and (d) a new classification scheme for planetary habitability that goes beyond the binary "yes" or "no." There may be dozens of factors that affect habitability and they can be weighted as a function of specific environment. However a robotic, in situ investigation even on Earth has constraints that prevent the measurement of every environmental factor, so metrics must be reduced to the most relevant subset, given available time, cost, technical feasibility and scientific importance. Many of the factors could be measured with a combination of orbital data and the MSL payload. We propose that, at a minimum, a designation of high habitability potential requires the following conditions be met: (a) thermally stable with respect to extremes and frequency of fluctuation, (b) has more than one energy source, (c) sufficient chemical diversity to make compounds with covalent and hydrogen bonding, (d) can moderate ionizing radiation enough to allow a stable or evolving pool of organic molecules, (e) must have water or other high quality polar solvent, (f) must be able to renew chemical resources (e.g., plate tectonics, volcanism or something else we haven't envisioned). A measurement approach we have taken to measure habitability on Earth is : 1. Study remote sensing data, maps, etc. 2. Decide how big an area to measure. 3. Determine the spatial sampling rate. 4. Determine the temporal sampling rate. 5. Determine the order of measurements 6. Decide where to begin measurements 7. Select locations at field site and proceed While science drives each of the steps, there are additional constraints, e.g., technical, time, cost, safety (risk). This approach is also executable on Mars. Measurement of past habitability is more challenging both for Earth and Mars where access to the past means subsurface access and confrontation with unknowns about preservation of the martian past. Some environments preserve evidence of past habitability better than others, and this is where selection of the landing site to maximize the preservation potential of habitability indicators will be key. Mars presents an opportunity to discover transitional states between habitable or not, and we offer a ranking scale for planetary habitability with Mars as the second test subject: CLASS ONE Uninhabitable and likely has never been so CLASS TWO Has a high potential but no confirmed observation of life (as defined above) CLASS THREE Inhabited (we find life) 3-A Globally inhabited 3-B Primitive life; early in its evolution, but not yet globally established 3-C Exists only in refugia -- planet heading toward class four CLASS FOUR Post-habitable (there once was life, but now it's gone) MSL provides an opportunity to carefully investigate the habitability of at least one site on Mars and it will reveal much about the possible states of planetary habitability

Conrad, Pamela G.↗

Random Test Run Length and Effectiveness

A poorly understood but important factor in many applications of random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear whether executing a small number of long runs or a large number of short runs maximizes utility. It is generally expected that longer runs are more likely to expose failures -- which is certainly true with respect to runs shorter than the shortest failing trace. However, longer runs produce longer failing traces, requiring more effort from humans in debugging or more resources for automated minimization. In testing with feedback, increasing ranges for parameters may also cause the probability of failure to decrease in longer runs. We show that the choice of test length dramatically impacts the effectiveness of random testing, and that the patterns observed in simple models and predicted by analysis are useful in understanding effects observed.

software testing↗

Utilization of the International Space Station for Crew Autonomous Scheduling Test (CAST)

The United States space policy is evolving toward missions beyond low Earth orbit. In an effort to meet that policy, NASA has recognized Autonomous Mission Operations (AMO) as a valuable capability. Identified within AMO capabilities is the potential for autonomous planning and replanning during human spaceflight operations. That is allowing crew members to collectively or individually participate in the development of their own schedules. Currently, dedicated mission operations planners collaborate with international partners to create daily plans for astronauts aboard the International Space Station (ISS), taking into account mission requirements, ground rules, and various vehicle and payload constraints. In future deep space operations the crew will require more independence from ground support due to communication transmission delays. Furthermore, crew members who are provided with the capability to schedule their own activities are able to leverage direct experience operating in the space environment, and possibly maximize their efficiency. CAST (Crew Autonomous Scheduling Test) is an ISS investigation designed to analyze three important hypotheses about crew autonomous scheduling. First, given appropriate inputs, the crew is able to create and execute a plan in a reasonable period of time without impacts to mission success. Second, the proximity of the planner, in this case the crew, to the planned operations increases their operational efficiency. Third, crew members are more satisfied when given a role in plan development. This paper presents the results from a single astronaut test subject who participated in five CAST sessions. The details on the operational philosophy of CAST are discussed, including the approach to crew training, selection criteria for test days, and data collection methods. CAST is a technology demonstration payload sponsored by the ISS Research Science and Technology Office, and performed by experts in Mission Operations Planning from the Flight Operations Directorate at NASA Johnson Space Center, and researchers across multiple NASA centers. It is hoped the results of this investigation will guide NASA's implementation of autonomous mission operations for long duration human space missions to Mars and beyond.

Healy, Matthew↗

Progress of Crew Autonomous Scheduling Test (CAST) On the ISS

The United States space policy is evolving toward missions beyond low Earth orbit. In an effort to meet that policy, NASA has recognized Autonomous Mission Operations (AMO) as a valuable capability. Identified within AMO capabilities is the potential for autonomous planning and replanning during human spaceflight operations. That is allowing crew members to collectively or individually participate in the development of their own schedules. Currently, dedicated mission operations planners collaborate with international partners to create daily plans for astronauts aboard the International Space Station (ISS), taking into account mission requirements, ground rules, and various vehicle and payload constraints. In future deep space operations the crew will require more independence from ground support due to communication transmission delays. Furthermore, crew members who are provided with the capability to schedule their own activities are able to leverage direct experience operating in the space environment, and possibly maximize their efficiency. CAST (Crew Autonomous Scheduling Test) is an ISS investigation designed to analyze three important hypotheses about crew autonomous scheduling. First, given appropriate inputs, the crew is able to create and execute a plan in a reasonable period of time without impacts to mission success. Second, the proximity of the planner, in this case the crew, to the planned operations increases their operational efficiency. Third, crew members are more satisfied when given a role in plan development. This presentation shows the progress done in this study with a single astronaut test subject participating in five CAST sessions. CAST is a technology demonstration payload sponsored by the ISS Research Science and Technology Office, and performed by experts in Mission Operations Planning from the Flight Operations Directorate at NASA Johnson Space Center, and researchers across multiple NASA centers.

Healy, Matthew↗

Conjunction Assessment and Deconfliction Paradigm for Co-Located Satellite Constellations With on-Spacecraft “Autonomous” Flight Dynamics Control

Satellite constellations that employ on-spacecraft flight dynamics and conjunction assessment (CA) approaches face particular challenges. First, they must arrange to obtain and upload to the constellation satellite close approach information, such as Conjunction Data Messages, so that their on-board systems will have the data they need to make informed CA decisions. Second, given current latencies in obtaining CA screening information, such systems often cannot obtain dedicated screenings of their proposed maneuvers before they are executed. Third, they usually cannot engage in real time with owner/operators (O/Os) with whom they may come into conjunction, relying instead on pre-arranged courses of action that may or may not fit a given situation well. Despite these difficulties, it is nonetheless possible, as operators such as SpaceX have demonstrated, to operate safely using on-board CA calculations, in the presence of a largely collaborative operating environment. The situation breaks down, however, when two constellations that operate with such a paradigm are placed in the same orbital region and will experience conjunctions with each other. Each may have a vague idea of where the other’s satellites are, or perhaps even a somewhat precise idea if they exchange O/O ephemerides, but neither will know the other’s more immediate maneuver intentions, especially for situations in which they are in a high-risk conjunction with each other and a mitigation maneuver is required. As there is no formalized way for these automated systems to ascertain each other’s intentions for this type of conjunction, it is quite possible that each spacecraft may choose a maneuver that results in the two objects’ colliding. An opportunity to develop a solution to this problem was presented by the NASA “Starling” project, a small experimental constellation developed to demonstrate autonomous satellite control and constellation reconfiguration and for which a launch was obtained that, serendipitously, will place this constellation close to the SpaceX Starlink constellation. Because the NASA constellation is experimental, an extended mission part of the mission has been negotiated to implement and test mechanisms for resolving the problem of co-located constellations with on-board flight dynamics control. For the last eighteen months, a consortium among NASA Ames (the Starling satellite providers), NASA CARA (the Agency organization responsible for conjunction assessment), Space X, and the Department of Commerce (in observer status) has met regularly to assemble a concept of operations for a robust solution to this problem and has developed a prototype ground node that will serve as a needed CA screening and information dispensary. The approach and methods, as well as the active employment of the developed ground node, will be tested both in simulation before actual use and then in actual spacecraft operations, which are anticipated to begin in January 2024. This paper will describe the co-located autonomously-controlled constellation problem and the developed solution in detail, outlining what ground node (i.e., government) infrastructure and features are required, what particular capabilities are needed by the constellations themselves in order to make use of this deconfliction paradigm, and the migration path forward to allow such a capability set to be incorporated by the Department of Commerce’s space traffic coordination system.

Conjunction Assessment↗

Large-Scale Daylighting Analysis for Buildings, Products, and Policy

Daylighting in buildings has come under increased scorn in the wake of ubiquitous solid-state lighting (SSL), as installed lighting power densities in buildings have been reduced to the point where designers and owners question the benefits of properly-designed daylighting and electric lighting control. At the same time the very process of demonstrating well-executed daylighting to satisfy new building rating systems has become burdensome. This paper demonstrates the utility of illuminance as an input to simple, existing qualitative and quantitative metrics for daylighting performance in buildings, at scale. This assertion is supported by sensitivity analysis of a large-scale daylighting simulation dataset. Uses of this data for quantifying non-energy benefits (NEBs) of daylighting are also explored. We do not eschew the use of newer, more detailed daylight metrics in design, but we do encourage the use of simple daylight metrics for a broader range of new and retrofit building projects toward a net-zero future.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

COMPOFF: A Compiler Cost model using Machine Learning to predict the Cost of OpenMP Offloading

The HPC industry is inexorably moving towards an era of extremely heterogeneous architectures, with more devices configured on any given HPC platform and potentially more kinds of devices, some of them highly specialized. Writing a separate code suitable for each target system for a given HPC application is not practical. The better solution is to use directive-based parallel programming models such as OpenMP. OpenMP provides a number of options for offloading a piece of code to devices like GPUs. To select the best option from such options during compilation, most modern compilers use analytical models to estimate the cost of executing the original code and the different offloading code variants. Building such an analytical model for compilers is a difficult task that necessitates a lot of effort on the part of a compiler engineer. Recently, machine learning techniques have been successfully applied to build cost models for a variety of compiler optimization problems. In this paper, we present COMPOFF, a cost model which uses the multi-layer perceptrons to statically estimates the Cost of OpenMP OFFloading. We used six different transformations on a parallel code of Wilson Dslash Operator to support GPU offloading, and we predicted their cost of execution on different GPUs using COMPOFF during compile time. Our results show that this model can predict offloading costs with a root mean squared error in prediction of less than 0.5 seconds. Our preliminary findings indicate that this work will make it much easier and faster for scientists and compiler developers to port legacy HPC applications that use OpenMP to new heterogeneous computing environment.

97 MATHEMATICS AND COMPUTING↗

Uncertainty Quantification and Sensitivity Analysis of Non-Nuclear Advanced Controls Testbed Reactor Mockup

The research presented in this report describes our progress in applying stochastic methods and uncertainty quantification, parametric study, and variance-based sensitivity analysis (also known as Sobol sensitivity analysis) to a full-core model of a nuclear thermal propulsion (NTP) system simulated with Griffin, with the goal of developing a reduced order (surrogate) model which can be rapidly sampled while perturbing multiple input parameters. In this NTP system, reactivity and power feedback affect the rotation of control drums, which are controlled by a hybrid proportional, integral and derivative (PID) controller, actuated by the power demand and reactivity feedback from the numerical model. This model uses reactor kinetic feedback (mean generation time and $\beta$ from a transient Griffin simulation executed with the improved quasi-static method to provide the kinetic parameters) as inputs to functions which control the CD rotation angle. Using a number of stochastic method approaches, we developed a dual purpose training-surrogate model of the NTP system using polynomial regression. The trained model can be rapidly sampled while simultaneously perturbing various input parameters of the model, such as coefficients on the PID control, or temperature (directly affect the neutron cross section). The surrogate model delivers accurate results orders-of-magnitude faster (minutes, not days) than the base model. Once the base model has been trained, distributions of the uncertain parameters can be changed at will to investigate the effects of perturbing multiple inputs and their effect on the output. For example, coefficients used in the PID control system may vary due to some physical interference, or there may be uncertainty in the temperature of the neutron cross sections in various regions of the reactor. A distribution can be placed on these parameters and operational boundaries can be determined. The goal of this work is to support development of an advanced control system to operate CDs in a functioning NTP system.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗