Search NASA⌕ Search

SEARCH · Search NASA

Results for “execution model”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1983

Aerothermal modeling. Executive summary

One of the significant ways in which the performance level of aircraft turbine engines has been improved is by the use of advanced materials and cooling concepts that allow a significant increase in turbine inlet temperature level, with attendant thermodynamic cycle benefits. Further cycle improvements have been achieved with higher pressure ratio compressors. The higher turbine inlet temperatures and compressor pressure ratios with corresponding higher temperature cooling air has created a very hostile environment for the hot section components. To provide the technology needed to reduce the hot section maintenance costs, NASA has initiated the Hot Section Technology (HOST) program. One key element of this overall program is the Aerothermal Modeling Program. The overall objective of his program is to evolve and validate improved analysis methods for use in the design of aircraft turbine engine combustors. The use of such combustor analysis capabilities can be expected to provide significant improvement in the life and durability characteristics of both combustor and turbine components.

Kenworthy, M. K.↗
NASA NTRS1979

Formulation of advanced consumables management models: Executive summary

An overview of studies conducted to establish the requirements for advanced subsystem analytical tools is presented. Modifications are defined for updating current computer programs used to analyze environmental control, life support, and electric power supply systems so that consumables for future advanced spacecraft may be managed.

Daly, J. K.↗
NASA NTRS1998

Integrated Functional and Executional Modelling of Software Using Web-Based Databases

NASA's software subsystems undergo extensive modification and updates over the operational lifetimes. It is imperative that modified software should satisfy safety goals. This report discusses the difficulties encountered in doing so and discusses a solution based on integrated modelling of software, use of automatic information extraction tools, web technology and databases.

Kulkarni, Deepak↗
NASA NTRS1998

Integrated Functional and Executional Modelling of Software Using Web-Based Databases

NASA's software subsystems undergo extensive modification and updates over the operational lifetimes. It is imperative that modified software should satisfy safety goals. This report discusses the difficulties encountered in doing so and discusses a solution based on integrated modelling of software, use of automatic information extraction tools, web technology and databases. To appear in an article of Journal of Database Management.

Kulkarni, Deepak↗
NASA NTRS2014

Maneuver Performance Assessment of the Cassini Spacecraft Through Execution-Error Modeling and Analysis

The Cassini spacecraft has executed nearly 300 maneuvers since 1997, providing ample data for execution-error model updates. With maneuvers through 2017, opportunities remain to improve on the models and remove biases identified in maneuver executions. This manuscript focuses on how execution-error models can be used to judge maneuver performance, while providing a means for detecting performance degradation. Additionally, this paper describes Cassini's execution-error model updates in August 2012. An assessment of Cassini's maneuver performance through OTM-368 on January 5, 2014 is also presented.

Wagner, Sean↗
NASA NTRS1999

Unifying Model-Based and Reactive Programming within a Model-Based Executive

Real-time, model-based, deduction has recently emerged as a vital component in AI's tool box for developing highly autonomous reactive systems. Yet one of the current hurdles towards developing model-based reactive systems is the number of methods simultaneously employed, and their corresponding melange of programming and modeling languages. This paper offers an important step towards unification. We introduce RMPL, a rich modeling language that combines probabilistic, constraint-based modeling with reactive programming constructs, while offering a simple semantics in terms of hidden state Markov processes. We introduce probabilistic, hierarchical constraint automata (PHCA), which allow Markov processes to be expressed in a compact representation that preserves the modularity of RMPL programs. Finally, a model-based executive, called Reactive Burton is described that exploits this compact encoding to perform efficIent simulation, belief state update and control sequence generation.

Williams, Brian C.↗
NASA NTRS2003

Execution-Based Model Checking of Interrupt-Based Systems

Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. This is in contrast to traditional model checking, where a model of a system is analyzed Several execution-based model-checking tools exist at this point, such as for example Verisoft and Java PathFinder. The most common formal specification languages used by EMC tools are un- timed, either just assertions, or linear-time temporal logic (LTL). An alternative verification technique is Runtime Execution Monitoring (REM), which is based on monitor- ing the execution of a program, checking that the execution trace conforms to a requirement specification. The Temporal Rover and DBRover are such tools. They provide a very rich specification language, being an extension of LTL with real-time constraints and time-series. We show how execution-based model checking, combined with runtime execution monitoring, can be used for the verification of a large class of safety critical systems commonly known as interrupt-based systems. The proposed approach is novel in that: (i) it supports model checking of a large class of applications not practically verifiable using conventional EMC tools, (ii) it supports verification of LTL assertions extended with real-time and time-series constraints, and (iii) it supports the verification of custom schedulers.

Drusinsky, Doron↗
NASA NTRS1982

Effect of nacelles on aerodynamic characteristics of an executive-jet model with simulated, partial-chord, laminar-flow-control wing glove

Tests were conducted in the Langley High-Speed 7- by 10-Foot Tunnel using a 1/10-scale model of an executive jet to examine the effects of the nacelles on the wing pressures and model longitudinal aerodynamic characteristics. For the present investigation, each wing panel was modified with a simulated, partial-chord, laminar-flow-control glove. Horizontal-tail effects were also briefly examined. The tests covered a range of Mach numbers from 0.40 to 0.82 and lift coefficients from 0.20 to 0.55. Oil-flow photographs of the wing at selected conditions are included.

Campbell, R. L.↗
NASA NTRS1984

Modeling algorithm execution time on processor arrays

An approach to modelling the execution time of algorithms on parallel arrays is presented. This time is expressed as a function of the number of processors and system parameters. The resulting model has been applied to a parallel implementation of the conjugate-gradient algorithm on NASA's FEM. Results of experiments performed to compare the model predictions against actual behavior show that the floating-point arithmetic, communication, and synchronization components of the parallel algorithm execution time were correctly modelled. The results also show that the overhead caused by the interaction of the system software and the actual parallel hardware must be reflected in the model parameters. The model has been used to predict the performance of the conjugate gradient algorithm on a given problem as the number of processors and machine characteristics varied.

Adams, L. M.↗
NASA NTRS1984

Modelling algorithm execution time on processor arrays

A model for the execution time of parallel algorithms on processor arrays is described. The model is validated for the conjugate gradient algorithm on the eight processor Finite Element Machine at NASA Langley Research Center. Model predictions are also included for this algorithm on a larger array as the number of processors and system parameters are varied.

Adams, L. M.↗
DOE OSTI2017

XPRESS: eXascale PRogramming Environment and System Software

The XPRESS project is the research and development of a complete software architecture for Exascale computing. The four major R&D thrusts include: 1) an Exascale lightweight kernel operating system (LXK), based on the Kitten operating system (OS), to manage billion way hardware parallelism, management of faults and power, management of global virtual name space, and other features of future system architectures; 2) a runtime system (HPX-5), co-designed with LXK, based on the ParalleX execution model that supports dynamic resource management and task scheduling; 3) system interfaces for interoperability between the runtime system and both the OS and the runtime system (RIOS); 4) compilation strategies and systems to translate MPI and OpenMP legacy codes to a form that can be run with performance at least as good as a native code implementation. The software architecture development has been driven by performance evaluation of mini-applications developed at Department of Energy Co-Design Centers as well as ancillary in-house developed applications and benchmarks. Research on the ParalleX execution model has been driven by the development of formal semantics and model checkers for the execution model. The major components of the software architecture are: ParalleX execution model – guiding principles for co-design of components of the system stack with advances in locality management and task prioritization through introspection; HPX runtime system – support of application dynamic adaptive resource management, task scheduling, and introspective control policies; LXK operating system – lightweight kernel operating system for order-constant scalability and low/no noise to manage resources; RIOS – a realm of Exascale system operation unique in the XPRESS project that includes the relationship between the new generation of lightweight kernel operating systems and runtime system software; XPI advanced programming model – intermediate form and low-level (readable) programming interface reflecting the ParalleX model, providing a target for source-to- source high level parallel language translation, and supporting early direct programming experimentation and measurement; Performance models & metrics – providing parameters and their mutual sensitivities to guide co-design and quantify operational behavior; Legacy migration – ensuring seamless transition of legacy codes and programming methods to the future generation of ParalleX-based Exascale systems; . Experiments and evaluation – critical to determining degree of effectiveness and likelihood of ultimate success as well as guiding corrective design changes to achieve DOE objectives; and Applications – collaborations with Co-Design Centers and other mission critical codes. The exemplar implementation of the ParalleX execution model, HPX-5, has been released along with five fully ported applications (LULESH, HPCG, SSSP, WAMR, and DASHMM) and multiple microbenchmarks. Using these applications, the system architecture demonstrated dynamic load balancing through active migration, legacy code migration, and data-driven approaches to for graph-like applications. Crucially for Exascale and billion way parallelism, the needs and patterns of irregular applications in HPX-5 were addressed using local flow control rather than relying on globally synchronized data structures.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

IRIS-MEMFLOW: Data Flow-Enabled Portable Memory Orchestration in IRIS Runtime for Diverse Heterogeneity

Task-based programming models and execution paradigms provide a means to decompose a computation by expressing it as a graph in which each node represents a specific computation operating on memory objects and the edges define the dependencies in the execution flow. In this execution model, independent nodes in the graph can be executed concurrently in different computing devices, making it suitable for heterogeneous systems in which computing devices with different architectures coexist. However, careful memory orchestration across heterogeneous devices is needed because copies of the same memory object may reside in multiple devices during execution. Manually ensuring such an orchestration is quite challenging. Not only must an application developer guard against race conditions, but they must also optimize data movement between the host and devices because unnecessary data movement significantly impacts performance. To mitigate these challenges, we enhance the IRIS heterogeneous runtime and introduce IRIS-MEMFLOW–a data flow–enabled portable memory abstraction for seamlessly orchestrating memory in diverse heterogeneous computing environments. By using data-flow analysis, IRIS-MEMFLOW guards against race conditions while multiple heterogeneous devices access memory objects. IRIS-MEMFLOW also optimizes data movement between the host and devices without manual intervention. As a result, IRIS provides improved programming productivity, performance, and portability for multidevice heterogeneous executions in high-performance computing and cloud systems that run diverse architectures from different vendors. The efficacy of IRIS-MEMFLOW is evaluated through experiments that show its capability in terms of programming productivity, multidevice heterogeneity, portability, and low overhead versus the state of the art.

Monil, M. A. H. [ORNL] (ORCID:0000000334194037)↗
NASA NTRS2016

Cassini Maneuver Performance Assessment and Execution-Error Modeling Through 2015

In its twelfth year touring Saturn, the Cassini spacecraft continues to gather valuable scientific data about the planet and its moons. Cassini has executed a total of 331 propulsive maneuvers through January 23, 2016. With more than 30 maneuvers planned through July 2017 before the mission ends in September 2017, a dwindling propellant supply has become a chief concern. This manuscript will report on the analysis of Cassini maneuvers performed through December 30, 2015 and recommend execution-error models for the remainder of the mission. Maneuver performance assessment techniques and execution-error model development methods will also be outlined.

Wagner, Sean V.↗
NASA NTRS2016

Cassini Maneuver Performance Assessment and Execution-Error Modeling Through 2015

In its twelfth year touring Saturn, the Cassini spacecraft continues to gather valuable scientific data about the planet and its moons. Cassini has executed a total of 331 propulsive maneuvers through January 23, 2016. With more than 30 maneuvers planned through July 2017 before the mission ends in September 2017, a dwindling propellant supply has become a chief concern. This manuscript will report on the analysis of Cassini maneuvers performed through December 30, 2015 and recommend execution-error models for the remainder of the mission. Maneuver performance assessment techniques and execution-error model development methods will also be outlined.

Wagner, Sean V.↗
DOE OSTI2019

NREL's Balance-of-System Cost Model for Land-Based Wind

NREL's Land-based Balance of System Systems Engineering (LandBOSSE) model is a tool for modeling the balance of system (BOS) costs of land-based wind plants. BOS costs currently account for approximately 30% of the capital expenditures needed to install a land-based wind plant and include all costs associated with installing a wind plant, such as permitting, labor, material, and equipment costs associated with site preparation, foundation construction, electrical infrastructure, and tower installation. NREL developed LandBOSSE after identifying a need for a hybrid of process-based and empirically derived model that can provide flexibility for assessing wind plant BOS costs at a system level. NREL's prior BOS models have relied on empirical fits of legacy industry data, which limit their predictive ability. LandBOSSE, however, was designed to help users explore tradeoffs between innovative design scenarios while balancing the level of detail and speed required for model execution. The model was developed using a hybrid of process-based and empirically derived methods to create a modular model design that will allow for updates as wind energy technology evolves. The goal of LandBOSSE is to allow researchers, analysts, wind power developers, government agencies, and the public to explore how BOS may vary for different wind plant designs.

17 WIND ENERGY↗