Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Requirements Modeling”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems

We present a framework for introducing high-level requirement specifications in the automated analysis of dataflow models. By integrating the FRET requirements elicitation tool with the CoCoSim analyzer, our framework enables the analysis of hierarchical Simulink models against requirements written in a restricted English language. More precisely, we support: automatic extraction of Simulink model information and association of high-level requirements with target model signals and components; translation of temporal logic formulas into synchronous dataflow CoCoSpec specifications as well as Simulink monitors; and interpretation of counterexamples produced by the analysis both at the requirement and model level. The features provided by our framework are generic and can be used to integrate other requirements elicitation and Simulink/Lustre analysis tools. We report on the lessons learned from the application of our approach to the Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems. For the analysis, we used the Kind2, Zustre, and Simulink Design Verifier (SLDV) tools.

Simulink↗
NASA NTRS1984

Stromgren Trails of Hot White Dwarfs

High resolution IUE spectra of Feige 24 reveal sharp C IV absorption features at both the stellar velocity and the velocity of the interstellar lines. It was shown that the ionization zone created by Feige 24 itself accounts for the interstellar components of C IV and Si IV, and that the density of hot white dwarfs in the galaxy implies that similar ionized zones around hot white dwarfs make a significant contribution to the C IV column densities observed toward distant O and B stars. Typical white dwarf velocities of around 30 km/s and C IV ionization zone diameters less than 1 pc imply that the crossing time is comparable to the ionization time, so that nonequilibrium ionization models are required. Models of the resulting elongated trails are presented.

Raymond, J. C.↗
NASA NTRS1992

Lyman alpha line shapes from electron impact H2 dissociative processes in the Jovian auroral zone

Over the past two years several Lyman alpha line profile spectra of Jupiter were obtained using the International Ultraviolet Explorer (IUE) telescope. Several different regions of the planet were observed including the auroral zone, the low and mid latitudes, and the equatorial region which includes the Lyman alpha bulge region. These results have presented a very interesting picture of atomic hydrogen on Jupiter with explanations that range from ion outflow in the auroral zone to large thermospheric winds at low and mid latitudes. New data are needed to address the outstanding questions. Almost certainly, high resolution spectra from the Hubble Space Telescope will play a role in new observations. Better data also require better models, and better models require new laboratory data as inputs. The purpose of this program is two-fold: (1) to introduce a method by which new laboratory electron impact measurements of H2 dissociation can be used to calculate both the slow and fast H(S-2) and H(P-2) fragments in an H2 atmosphere; and (2) to determine the predicted Lyman alpha line shape that would result from electron impact production of these dissociative fragments in the Jovian auroral zone.

Waite, J. H., Jr.↗
NASA NTRS2024

Thermal Modeling and Testing of High-Temperature Refractory Ceramic Insulation Felts

Heat transfer in high-temperature, high-porosity, flexible refractory ceramic fibrous insulation felts is investigated. Heat transfer in these insulation materials consists of combined gas conduction, solid conduction, and radiation modes, with the precise theoretical modeling of the latter two modes being formidable. A semi-empirical model that requires inverse methods and steady-state thermal test data to infer some of the required model parameters is further developed in this study, and applied to five insulation materials for temperatures between 300 K and 1900 K. The steady-state thermal test setup at NASA Langley Research Center with recent modifications to increase its testing capability to 1900 K is discussed. Design considerations to ensure one-dimensional heat transfer in the test setup are described. Test data and corresponding thermal models for alumina and zirconia-based fibrous insulation felts are presented. Furthermore, test data and thermal models on two fibrous insulation samples containing additives to further suppress either radiation or gas conduction modes of heat transfer are presented. Previously published alumina-based insulation data are also re-processed using the updated modeling methodology. The significance of various heat transfer modes in typical insulation samples is discussed and used to provide general guidance on optimum insulation layups.

Kamran Daryabeigi↗
DOE OSTI2026

Observational Data for Next-Generation Climate Model Evaluation: Requirements, Considerations, and Best Practices

Climate model simulations are an important source of information about our planet’s climate system and also enable informed decision-making under different future scenarios. As a new archive of results from the next generation of climate models is anticipated to become available with the Coupled Model Intercomparison Project phase 7 (CMIP7), the need to develop efficient and robust methods to evaluate models is paramount. Observations are an integral part of model evaluation, providing a means to quantify and understand the degree to which climate models can faithfully reproduce Earth system processes. Such analysis is critical for constraining climate projections, identifying areas of focus for model development, and assisting analysts in deciphering the utility of models for specific applications. Observations of Earth system come from a diversity of sources, span different space–time domains, and are produced by different communities, and each dataset features different data structures and formats, metadata standards, and its own unique uncertainties. Uncertainties in an observational dataset may stem from gaps in temporal and spatial coverage, instrumentation errors, or assumptions in retrieval and processing methods. How then does one ensure that observational data are ready for use and utilized in the most appropriate way for robust, rapid, and routine climate model evaluation? The CMIP7 Model Benchmarking Task Team with input from the broader climate modeling, model evaluation, and observational data communities present a vision and considerations for best practices toward the optimal and appropriate use of observational data to support next-generation climate model evaluation.

Climate models↗
NASA NTRS2018

Development of Spacecraft Radiated Susceptibility RS103 Requirements From Modeling Methods

In defining radiated susceptibility requirements for a spacecraft with multiple number of receivers and transmitters in close proximity to each other, the main objective of an RF coupling analysis is to determine if the mechanical configuration of the receiver and transmitter antennas presents a risk to the functionality and safety of sensitive science instruments on the payload as a result of unintended RF coupling. Where there is a potential risk for interference or permanent damage, further analysis is required to evaluate the feasibility of mitigation schemes, such as mechanical reconfiguration of antennas or additional RF filtering. From these coupling analysis results, radiated susceptibility RS103 requirements are derived to better reflect actual requirement levels with adequate test margins.

Gonzalez, Edward C.↗
NASA NTRS1981

Study of an engine flow diverter system for a large scale ejector powered aircraft model

Requirements were established for a conceptual design study to analyze and design an engine flow diverter system and to include accommodations for an ejector system in an existing 3/4 scale fighter model equipped with YJ-79 engines. Model constraints were identified and cost-effective limited modification was proposed to accept the ejectors, ducting and flow diverter valves. Complete system performance was calculated and a versatile computer program capable of analyzing any ejector system was developed.

Springer, R. J.↗
NASA NTRS1980

Software reliability: Application of a reliability model to requirements error analysis

The application of a software reliability model having a well defined correspondence of computer program properties to requirements error analysis is described. Requirements error categories which can be related to program structural elements are identified and their effect on program execution considered. The model is applied to a hypothetical B-5 requirement specification for a program module.

Logan, J.↗
NASA NTRS2006

Studies in Software Cost Model Behavior: Do We Really Understand Cost Model Performance?

While there exists extensive literature on software cost estimation techniques, industry practice continues to rely upon standard regression-based algorithms. These software effort models are typically calibrated or tuned to local conditions using local data. This paper cautions that current approaches to model calibration often produce sub-optimal models because of the large variance problem inherent in cost data and by including far more effort multipliers than the data supports. Building optimal models requires that a wider range of models be considered while correctly calibrating these models requires rejection rules that prune variables and records and use multiple criteria for evaluating model performance. The main contribution of this paper is to document a standard method that integrates formal model identification, estimation, and validation. It also documents what we call the large variance problem that is a leading cause of cost model brittleness or instability.

data mining↗
NASA NTRS2014

Improved Traceability of Mission Concept to Requirements Using Model Based Systems Engineering

Model Based Systems Engineering (MBSE) has recently been gaining significant support as a means to improve the traditional document-based systems engineering (DBSE) approach to engineering complex systems. In the spacecraft design domain, there are many perceived and propose benefits of an MBSE approach, but little analysis has been presented to determine the tangible benefits of such an approach (e.g. time and cost saved, increased product quality). This thesis presents direct examples of how developing a small satellite system model can improve traceability of the mission concept to its requirements. A comparison of the processes and approaches for MBSE and DBSE is made using the NASA Ames Research Center SporeSat CubeSat mission as a case study. A model of the SporeSat mission is built using the Systems Modeling Language standard and No Magics MagicDraw modeling tool. The model incorporates mission concept and requirement information from the missions original DBSE design efforts. Active dependency relationships are modeled to analyze the completeness and consistency of the requirements to the mission concept. Overall experience and methodology are presented for both the MBSE and original DBSE design efforts of SporeSat.

Systems Engineering↗
NASA NTRS2014

Improved Traceability of a Small Satellite Mission Concept to Requirements Using Model Based System Engineering

Model Based Systems Engineering (MBSE) has recently been gaining significant support as a means to improve the "traditional" document-based systems engineering (DBSE) approach to engineering complex systems. In the spacecraft design domain, there are many perceived and propose benefits of an MBSE approach, but little analysis has been presented to determine the tangible benefits of such an approach (e.g. time and cost saved, increased product quality). This paper presents direct examples of how developing a small satellite system model can improve traceability of the mission concept to its requirements. A comparison of the processes and approaches for MBSE and DBSE is made using the NASA Ames Research Center SporeSat CubeSat mission as a case study. A model of the SporeSat mission is built using the Systems Modeling Language standard and No Magic's MagicDraw modeling tool. The model incorporates mission concept and requirement information from the mission's original DBSE design efforts. Active dependency relationships are modeled to demonstrate the completeness and consistency of the requirements to the mission concept. Anecdotal information and process-duration metrics are presented for both the MBSE and original DBSE design efforts of SporeSat.

Model Based Systems Engineering↗
NASA NTRS1992

Knowledge representation requirements for model sharing between model-based reasoning and simulation in process flow domains

The paper examines the requirements for the reuse of computational models employed in model-based reasoning (MBR) to support automated inference about mechanisms. Areas in which the theory of MBR is not yet completely adequate for using the information that simulations can yield are identified, and recent work in these areas is reviewed. It is argued that using MBR along with simulations forces the use of specific fault models. Fault models are used so that a particular fault can be instantiated into the model and run. This in turn implies that the component specification language needs to be capable of encoding any fault that might need to be sensed or diagnosed. It also means that the simulation code must anticipate all these faults at the component level.

Throop, David R.↗
NASA NTRS2023

An Interface Specification for Urban Air Mobility Performance Models to Support Air Traffic Management Research

Performance modeling of Urban Air Mobility vehicles in support of Air Traffic Management research poses new challenges. These aircraft often rely on a combination of fixed-wing and rotorcraft performance capabilities to enable a new and still-evolving concept of high-volume operations in densely populated areas. These characteristics lead to variability in performance model format and functionality, complicating model development and leading to difficulties for users integrating the models into their applications. This paper describes an interface specification for performance models that is intended to help address this issue. The interface aims to support the core functionality of performance models while also providing the necessary flexibility to both model developers and users. The specification describes the required model documentation, required inputs to the model, and required outputs from the model in general terms that are adaptable to most programming languages. The utilization of an appropriate interface specification will support the development of an Urban Air Mobility performance model database and help to improve interoperability of these models for a broad array of user applications.

Trajectory Prediction↗
NASA NTRS2023

An Interface Specification for Urban Air Mobility Performance Models to Support Air Traffic Management Research

Performance modeling of Urban Air Mobility vehicles in support of Air Traffic Management research poses new challenges. These aircraft often rely on a combination of fixed-wing and rotorcraft performance capabilities to enable a new and still-evolving concept of high-volume operations in densely populated areas. These characteristics lead to variability in performance model format and functionality, complicating model development and leading to difficulties for users integrating the models into their applications. This paper describes an interface specification for performance models that is intended to help address this issue. The interface aims to support the core functionality of performance models while also providing the necessary flexibility to both model developers and users. The specification describes the required model documentation, required inputs to the model, and required outputs from the model in general terms that are adaptable to most programming languages. The utilization of an appropriate interface specification will support the development of an Urban Air Mobility performance model database and help to improve interoperability of these models for a broad array of user applications.

Trajectory Prediction↗
NASA NTRS1997

Reuse of a Formal Model for Requirements Validation

This paper reports experience from how a project engaged in the process of requirements analysis for evolutionary builds can reuse the formally specified design model produced for a similar, earlier project in the same domain. Two levels of reuse are described here. First, a formally specified generic design model was generated on one project to systematically capture the design commonality in a set of software monitors on board a spacecraft. These monitors periodically check for faults and invoke recovery software when needed. The paper summarizes the use of the design model to validate the software design of the various monitors on that first project. Secondly, the paper describes how the formal design model created for the first project was reused on a second, subsequent project. The model was reused to validate the evolutionary requirements for the second project's software monitors, which were being developed in a series of builds. Some mismatches due to the very different architectures on the two projects suggested changes to make the model more generic. In addition, several advantages to the reuse of the first project's formal model on the second project are reported.

Lutz, Robyn R.↗
DOE OSTI2024

Incorporating energy justice and equity objectives in power system models

Ensuring an equitable energy transition requires models and tools that can account for equity and energy justice goals. Power system models (PSMs) are widely used throughout industry, government, and academia to simulate or optimize the operations and planning of current and future electricity systems under different scenarios, parameter assumptions and policy frameworks. These models are important tools that allow users to understand how the power system may evolve under different future conditions, but importantly, they are also used to inform policy implementation and investment decisions across all aspects of the power system. However, existing models seldom include energy justice considerations and therefore energy justice priorities are not reflected in the policies and other decision-making processes that are informed by these models. The purpose of this review is to provide a framework that energy modelers can draw upon to integrate energy justice and equity goals into PSMs. To this end, 99 papers that examine the intersection of energy justice and power system models are summarized and ten core aspects of the power system that can impact energy justice outcomes, and therefore require new modeling approaches, are identified. This review then establishes key current practices, challenges, and opportunities associated with capturing energy justice considerations in power system models across these ten aspects. This review concludes by proposing four key research directions that should be pursued to improve the representation of energy justice and equity in power system modeling. Finally, this review also addresses challenges raised by United Nations Sustainable Development Goal 7, which aims to ensure affordable energy access to everyone and Sustainable Development Goal 13, which aims to take urgent action to address climate change.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗