Search NASA⌕ Search

SEARCH · Search NASA

Results for “Model based development”

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 NTRS1990

CO fundamental lines - Indicators for inhomogeneous atmospheres in cool stars

Carbon monoxide fundamental lines near 4.7 microns are employed to probe the thermal structure of the atmospheres of cool stars. A new non-LTE radiation transfer code is used to analyze high-resolution infrared CO line spectra and derive observation-based stellar atmosphere models. The main results are: (1) the CO-based models developed here deviate strongly from previously published models based on UV/visible observations; (2) varying degrees of agreement between the CO empirical models and predictions based on theoretical radiative-equilibrium atmosphere models are found; and (3) the parameter used to quantify this agreement is anticorrelated with the magnitude of chromospheric activity in the observed stars. These results suggest thermally bifurcated upper atmospheres as the standard case for cool stars.

Wiedemann, Guenter↗
NASA NTRS1987

Lunar base options in support of the permanent habitation of space

An overview of the NASA lunar base program which would establish a permanent beachhead on the moon is given. The lunar base would be used to attain science and astronomy objectives, to manufacture lunar-derived resources (particularly propellant oxygen), to support the growing space infrastructure, and to develop and test technologies that would enable near self-sufficiuency in space, limiting the amount of resources required from earth. Research concerning lunar base development, modeling and simulation are presented, including modeling engines, data bases, and subsystem transforms.

Fairchild, Kyle↗
NASA NTRS2009

Model Based Analysis and Test Generation for Flight Software

We describe a framework for model-based analysis and test case generation in the context of a heterogeneous model-based development paradigm that uses and combines Math- Works and UML 2.0 models and the associated code generation tools. This paradigm poses novel challenges to analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common intermediate representation for different modeling formalisms and leverages and extends model checking and symbolic execution tools for model analysis and test case generation, respectively. We discuss the application of our framework to software models for a NASA flight mission.

Pasareanu, Corina S.↗
NASA NTRS2011

Pros, Cons, and Alternatives to Weight Based Cost Estimating

Many cost estimating tools use weight as a major parameter in projecting the cost. This is often combined with modifying factors such as complexity, technical maturity of design, environment of operation, etc. to increase the fidelity of the estimate. For a set of conceptual designs, all meeting the same requirements, increased weight can be a major driver in increased cost. However, once a design is fixed, increased weight generally decreases cost, while decreased weight generally increases cost - and the relationship is not linear. Alternative approaches to estimating cost without using weight (except perhaps for materials costs) have been attempted to try to produce a tool usable throughout the design process - from concept studies through development. This paper will address the pros and cons of using weight based models for cost estimating, using liquid rocket engines as the example. It will then examine approaches that minimize the imp~ct of weight based cost estimating. The Rocket Engine- Cost Model (RECM) is an attribute based model developed internally by Pratt & Whitney Rocketdyne for NASA. RECM will be presented primarily to show a successful method to use design and programmatic parameters instead of weight to estimate both design and development costs and production costs. An operations model developed by KSC, the Launch and Landing Effects Ground Operations model (LLEGO), will also be discussed.

Joyner, Claude R.↗
NASA NTRS2015

Flight Software for the LADEE Mission

The Lunar Atmosphere and Dust Environment Explorer (LADEE) spacecraft was launched on September 6, 2013, and completed its mission on April 17, 2014 with a directed impact to the Lunar Surface. Its primary goals were to examine the lunar atmosphere, measure lunar dust, and to demonstrate high rate laser communications. The LADEE mission was a resounding success, achieving all mission objectives, much of which can be attributed to careful planning and preparation. This paper discusses some of the highlights from the mission, and then discusses the techniques used for developing the onboard Flight Software. A large emphasis for the Flight Software was to develop it within tight schedule and cost constraints. To accomplish this, the Flight Software team leveraged heritage software, used model based development techniques, and utilized an automated test infrastructure. This resulted in the software being delivered on time and within budget. The resulting software was able to meet all system requirements, and had very problems in flight.

LADEE↗
NASA NTRS2009

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

Model-based development and automated code generation are increasingly used for production code in safety-critical applications, but since code generators are typically not qualified, the generated code must still be fully tested, reviewed, and certified. This is particularly arduous for mathematical and control engineering software which requires reviewers to trace subtle details of textbook formulas and algorithms to the code, and to match requirements (e.g., physical units or coordinate frames) not represented explicitly in models or code. Both tasks are complicated by the often opaque nature of auto-generated code. We address these problems by developing a verification-driven approach to traceability and documentation. We apply the AUTOCERT verification system to identify and then verify mathematical concepts in the code, based on a mathematical domain theory, and then use these verified traceability links between concepts, code, and verification conditions to construct a natural language report that provides a high-level structured argument explaining why and how the code uses the assumptions and complies with the requirements. We have applied our approach to generate review documents for several sub-systems of NASA s Project Constellation.

Denney, Ewen W.↗
NASA NTRS2008

Development of a NASA Integrated Technical Workforce Career Development Model Entitled Requisite Occupation Competencies and Knowledge -- the ROCK

This paper shares the findings of NASA's Integrated Learning and Development Program (ILDP) in its effort to reinvigorate the HANDS-ON practice of space systems engineering and project/program management through focused coursework, training opportunities, on-the job learning and special assignments. Prior to March 2005, NASA responsibility for technical workforce development (the program/project manager, systems engineering, discipline engineering, discipline engineering and associated communities) was executed by two parallel organizations. In March 2005 these organizations merged. The resulting program-ILDP-was chartered to implement an integrated competency-based development model capable of enhancing NASA's technical workforce performance as they face the complex challenges of Earth science, space science, aeronautics and human spaceflight missions. Results developed in collaboration with NASA Field Centers are reported on. This work led to definition of the agency's first integrated technical workforce development model known as the Requisite Occupation Competence and Knowledge (the ROCK). Critical processes and products are presented including: 'validation' techniques to guide model development, the Design-A-CUrriculuM (DACUM) process, and creation of the agency's first systems engineering body-of-knowledge. Findings were validated via nine focus groups from industry and government, validated with over 17 space-related organizations, at an estimated cost exceeding $300,000 (US). Masters-level programs and training programs have evolved to address the needs of these practitioner communities based upon these results. The ROCK reintroduced rigor and depth to the practitioner's development in these critical disciplines enabling their ability to take mission concepts from imagination to reality.

Menrad, Robert J.↗
NASA NTRS1985

Extension of Ostwald Ripening Theory

The objective is to develop models based on the mean field approximation of Ostwald ripening to describe the growth of second phase droplets or crystallites. The models will include time variations in nucleation rate, control of saturation through addition of solute, precipitating agents, changes in temperature, and various surface kinetic effects. Numerical integration schemes have been developed and tested against the asymptotic solution of Liftshitz, Slyozov and Wagner (LSW). A second attractor (in addition to the LSW distribution) has been found and, contrary to the LSW theory, the final distribution is dependent on the initial distribution. A series of microgravity experiments is being planned to test this and other results from this work.

Baird, J.↗
NASA NTRS2021

Carolina Coastal Plain Ecological Forecasting: Utilizing NASA Earth Observations to Map Suitable Venus Flytrap Habitat in an Effort to Inform Conservation, Seed Banking, and Reintroduction in the Carolina Coastal Plain and Sandhills Regions

Although the carnivorous plant Venus flytrap (Dionaea muscipula) is recognized globally, its native range is restricted to a small portion of the North and South Carolina Coastal Plain and Sandhills. Within this limited range, Venus flytrap populations are threatened by habitat loss, fire suppression, and poaching. NASA DEVELOP partnered with the North Carolina Botanical Garden (NCBG), the University of North Carolina Herbarium (NCU), and the North Carolina Natural Heritage Program (NCNHP) to support Venus flytrap conservation. The team developed models based on species presence data and environmental variables using the Software for Assisted Habitat Modeling (SAHM) to create a 2021 habitat suitability map for Venus flytrap. These models incorporated Earth observations collected by Landsat 8 Thermal Infrared Sensor (TIRS), Terra Moderate Resolution Imaging Spectroradiometer (MODIS), Advanced Land Observation Satellite (ALOS) Phased Array type L-band Synthetic Aperture Radar (PALSAR), and Sentinel-2 Multispectral Instrument (MSI). To predict areas at high risk of development, the team produced a 2050 land-use change map using TerrSet Land Change Modeler. The team found potential areas of conflict between predicted habitat and forecasted future development. Many areas of suitable habitat were concentrated along the coast where development was likely to occur, placing populations there at risk of extirpation. Overlaying suitable habitat with forecasted land change also identified suitable habitats with minimal risk of development, which may serve as lasting Venus flytrap habitat. These results can inform the NCBG and NCNHP’s conservation decision-making, including targeted seed banking, reintroduction, and prioritization of enduring habitats for protection and management.

Monika Rock↗
NASA NTRS2022

Carolina Coastal Plain​ Ecological Forecasting

Although the carnivorous plant Venus flytrap (Dionaea muscipula) is recognized globally, its native range is restricted to a small portion of the North and South Carolina Coastal Plain and Sandhills. Within this limited range, Venus flytrap populations are threatened by habitat loss, fire suppression, and poaching. NASA DEVELOP partnered with the North Carolina Botanical Garden (NCBG), the University of North Carolina Herbarium (NCU), and the North Carolina Natural Heritage Program (NCNHP) to support Venus flytrap conservation. The team developed models based on species presence data and environmental variables using the Software for Assisted Habitat Modeling (SAHM) to create a 2021 habitat suitability map for Venus flytrap. These models incorporated Earth observations collected by Landsat 8 Thermal Infrared Sensor (TIRS), Terra Moderate Resolution Imaging Spectroradiometer (MODIS), Advanced Land Observation Satellite (ALOS) Phased Array type L-band Synthetic Aperture Radar (PALSAR), and Sentinel-2 Multispectral Instrument (MSI). To predict areas at high risk of development, the team produced a 2050 land-use change map using TerrSet Land Change Modeler. The team found potential areas of conflict between predicted habitat and forecasted future development. Many areas of suitable habitat were concentrated along the coast where development was likely to occur, placing populations there at risk of extirpation. Overlaying suitable habitat with forecasted land change also identified suitable habitats with minimal risk of development, which may serve as lasting Venus flytrap habitat. These results can inform the NCBG and NCNHP’s conservation decision-making, including targeted seed banking, reintroduction, and prioritization of enduring habitats for protection and management.

Monika Rock↗
NASA NTRS1990

Horizontal-branch stellar evolution

The results of canonical theory for the evolution of horizontal-branch (HB) stars are examined. Particular attention is given to how an HB star maintains the appropriate composition distribution within the semiconvective zone and how this composition is affected by the finite time-dependence with which convective boundaries actually move. Newly developed models based on time-dependent overshooting are presented for both the core-helium-exhaustion and main HB phases.

Sweigart, Allen V.↗
NASA NTRS1991

Modeling turbulent boundary layers in adverse pressure gradients

Many of the turbulent layers encountered in practical flows develop in adverse pressure gradients; hence, the dynamics of the thickening and possible separation of the boundary layer has important implications for design practices. What are the key physical processes that govern how a turbulent boundary layer responds to an adverse pressure gradient, and how should these processes be modeled? Despite the ubiquity of such flows in engineering and nature, these equations remain largely unanswered. The turbulence closure models presently used to describe these flows commonly use 'wall functions' that have ad hoc corrections for the effects of pressure gradients. There is, therefore, a practical and theoretical need to examine the effects of adverse pressure gradients on wall bounded turbulent flows in order to develop models based on sound physical principle. The evolution of a turbulent boundary layer on a flat wall with an externally imposed pressure gradient is studied.

Belcher, Stephen E.↗
NASA NTRS2000

An Algorithm to Atmospherically Correct Visible and Thermal Airborne Imagery

The program Watts implements a system of physically based models developed by the authors, described elsewhere, for the removal of atmospheric effects in multispectral imagery. The band range we treat covers the visible, near IR and the thermal IR. Input to the program begins with atmospheric pal red models specifying transmittance and path radiance. The system also requires the sensor's spectral response curves and knowledge of the scanner's geometric definition. Radiometric characterization of the sensor during data acquisition is also necessary. While the authors contend that active calibration is critical for serious analytical efforts, we recognize that most remote sensing systems, either airborne or space borne, do not as yet attain that minimal level of sophistication. Therefore, Watts will also use semi-active calibration where necessary and available. All of the input is then reduced to common terms, in terms of the physical units. From this it Is then practical to convert raw sensor readings into geophysically meaningful units. There are a large number of intricate details necessary to bring an algorithm or this type to fruition and to even use the program. Further, at this stage of development the authors are uncertain as to the optimal presentation or minimal analytical techniques which users of this type of software must have. Therefore, Watts permits users to break out and analyze the input in various ways. Implemented in REXX under OS/2 the program is designed with attention to the probability that it will be ported to other systems and other languages. Further, as it is in REXX, it is relatively simple for anyone that is literate in any computer language to open the code and modify to meet their needs. The authors have employed Watts in their research addressing precision agriculture and urban heat island.

Rickman, Doug L.↗
NASA NTRS2016

Estimating the Rate of Occurrence of Renal Stones in Astronauts

Changes in urine chemistry, during and post flight, potentially increases the risk of renal stones in astronauts. Although much is known about the effects of space flight on urine chemistry, no inflight incidence of renal stones in US astronauts exists and the question "How much does this risk change with space flight?" remains difficult to accurately quantify. In this discussion, we tackle this question utilizing a combination of deterministic and probabilistic modeling that implements the physics behind free stone growth and agglomeration, speciation of urine chemistry and published observations of population renal stone incidences to estimate changes in the rate of renal stone presentation. The modeling process utilizes a Population Balance Equation based model developed in the companion IWS abstract by Kassemi et al. (2016) to evaluate the maximum growth and agglomeration potential from a specified set of urine chemistry values. Changes in renal stone occurrence rates are obtained from this model in a probabilistic simulation that interrogates the range of possible urine chemistries using Monte Carlo techniques. Subsequently, each randomly sampled urine chemistry undergoes speciation analysis using the well-established Joint Expert Speciation System (JESS) code to calculate critical values, such as ionic strength and relative supersaturation. The Kassemi model utilizes this information to predict the mean and maximum stone size. We close the assessment loop by using a transfer function that estimates the rate of stone formation from combining the relative supersaturation and both the mean and maximum free stone growth sizes. The transfer function is established by a simulation analysis which combines population stone formation rates and Poisson regression. Training this transfer function requires using the output of the aforementioned assessment steps with inputs from known non-stone-former and known stone-former urine chemistries. Established in a Monte Carlo system, the entire renal stone analysis model produces a probability distribution of the stone formation rate and an expected uncertainty in the estimate. The utility of this analysis will be demonstrated by showing the change in renal stone occurrence predicted by this method using urine chemistry distributions published in Whitson et al. 2009. A comparison to the model predictions to previous assessments of renal stone risk will be used to illustrate initial validation of the model.

gravitational physiology↗
NASA NTRS2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Structural coverage metrics have traditionally categorized code as either covered or uncovered. Recent work presents a stronger notion of coverage, checked coverage, which counts only statements whose execution contributes to an outcome checked by an oracle. While this notion of coverage addresses the adequacy of the oracle, for Model-Based Development of safety critical systems, it is still not enough; we are also interested in how much of the oracle is covered, and whether the values of program variables are masked when the oracle is evaluated. Such information can help system engineers identify missing requirements as well as missing test cases. In this work, we add to the idea of checked coverage an analysis of requirements coverage to help provide insight to engineers as to whether the requirements or the test suite need to be improved. We implement our approach based on a dynamic backward slicing technique and evaluate it on several systems developed in Simulink. The results of our preliminary study show that even for systems with comprehensive test suites and good sets of requirements, our approach can identify cases where more tests or more requirements are needed to improve coverage numbers.

Dynamic Slicing↗
NASA NTRSDate not supplied

Computational and Physics-Based Modeling for the Development of in-Space Welding Technology

Welding will be an enabling technology for in-space assembly and manufacturing (ISAM) and in-space repair operations in support of the growing Space Economy. Prospective use cases of welding include metal repair on long-duration lunar surface missions and assembly of large structures that exceed dimensions of the currently available launch vehicle envelopes such as space arrays, tall lunar transmission towers, or even large transit vehicles powered by nuclear propulsion. There is a brief history of beam welding for in-space use. Soviet and NASA astronauts performed electron beam welds (EBW) in space in the late-1960s through mid-1980s and several parabolic flights of laser beam welding (LBW) were undertaken in the USA and Canada in the early-1990s. Work has since stagnated until the recent boom of the in-space economy has demonstrated need for continued development of EBW and LBW processes, which are desirable for their compactness, low mass, low power consumption, and high wall plug efficiency. No space-based manufacturing laboratory capable of demonstrating, developing, and applying welding processes exists, and costs are high to develop and fly individual space-based trials. This drives the current approach to develop welding technology with computational and physics-based models in tandem with earth-based experiments. Several approaches are taken to complement and drive the selection of instrumentation for planned parabolic and suborbital flights. First, a thermal model of Skylab EBW experiments is established and compared to empirical data. Next, the model is used to show variation between Earth-based and in-space weld structure and properties through exploration of key variables that define the Low earth orbit and lunar surface space environments, namely temperature (40 – 400 K), pressure (10-10 to 104 Pa), and gravity (10-6 g to 1 g). Finally, physical processes associated with heat and mass transport during welding are evaluated through several case studies across the above variable ranges demonstrating need for further research.

in-space welding↗
NASA NTRS2018

A Model-based Approach to Developing the Concept of Operations for Potential Mars Sample Return

Mars Sample Return (MSR) is a proposed multi-agency effort that would return soil and rock samples from the surface of Mars to Earth. Both the complexity of the potential missions, as well as the involvement of multiple geographically distributed organizations, presents a challenge from an information management perspective. In this paper, a Model-based Systems Engineering (MBSE) approach to developing the Concept of Operations of a potential Mars Sample Return effort using the System Modeling Language(SysML) is presented.

Muirhead, Brian↗