Search NASA⌕ Search

SEARCH · Search NASA

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↗
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.↗
NASA NTRS1990

Nonlinear feedback control for high alpha flight

Analytical aerodynamic models are derived from a high alpha 6 DOF wind tunnel model. One detail model requires some interpolation between nonlinear functions of alpha. One analytical model requires no interpolation and as such is a completely continuous model. Flight path optimization is conducted on the basic maneuvers: half-loop, 90 degree pitch-up, and level turn. The optimal control analysis uses the derived analytical model in the equations of motion and is based on both moment and force equations. The maximum principle solution for the half-loop is poststall trajectory performing the half-loop in 13.6 seconds. The agility induced by thrust vectoring capability provided a minimum effect on reducing the maneuver time. By means of thrust vectoring control the 90 degrees pitch-up maneuver can be executed in a small place over a short time interval. The agility capability of thrust vectoring is quite beneficial for pitch-up maneuvers. The level turn results are based currently on only outer layer solutions of singular perturbation. Poststall solutions provide high turn rates but generate higher losses of energy than that of classical sustained solutions.

Stalford, Harold↗
NASA NTRS1997

Reuse of a Formal Model for Requirements Validation

This paper report 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.

requirements↗