Engineering PapersSearch

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 37 records · Page 2

Models Required to Mitigate Impacts of Space Weather on Space Systems

This viewgraph presentation attempts to develop a model of factors which need to be considered in the design and construction of spacecraft to lessen the effects of space weather on these vehicles. Topics considered include: space environments and effects, radiation environments and effects, space weather drivers, space weather models, climate models, solar proton activity and mission design for the GOES mission. The authors conclude that space environment models need to address issues from mission planning through operations and a program to develop and validate authoritative space environment models for application to spacecraft design does not exist at this time.

Barth, Janet L.

Humans to Mars, but How Many? Using Training Requirements Modeling to Inform Crew Size

Missions to Mars will differ from previous human spaceflight missions in that the onboard crew of astronauts will be required to operate in an Earth-independent manner due to the long communication delays. Without a systematic, repeatable process to determine the number and composition of crew necessary to successfully accomplish these missions, NASA increases the risk that crew sizes may be too small to meet primary mission objectives under nominal conditions and, more consequentially, that crewmembers may not have the expertise needed to successfully respond to unforeseen failures without the real-time expertise of the Mission Control Central (MCC) team NASA currently relies upon. The NASA Engineering and Safety Center (NESC) is developing a methodology for assessing the trade space of factors that affect the number of crew for future missions. This methodology includes the consideration of results from three human performance models developed using the Improved Performance Research and Integration Tool (IMPRINT) modeling platform as well as a custom-built model on expertise trained within the crew. The IMPRINT results will be presented in the modeling and simulation sub-tag. Here we present results of a model based on NASA’s crew qualification and responsibility matrix (CQRM), a tool used to identify the crew qualifications for each area of responsibility (operation, system, and payload) for a mission. The model outputs an optimized allocation of training assignments along with a flight-assigned CQRM that can be used to consider the expertise that can be trained within a crew of a given size. We discuss the CQRM model result implications on the trade space for Mars mission crew size.

Mars

Humans to Mars, but How Many? Using Training Requirements Modeling to Inform Crew Size

Missions to Mars will differ from previous human spaceflight missions in that the onboard crew of astronauts will be required to operate in an Earth-independent manner due to the long communication delays. Without a systematic, repeatable process to determine the number and composition of crew necessary to successfully accomplish these missions, NASA increases the risk that crew sizes may be too small to meet primary mission objectives under nominal conditions and, more consequentially, that crewmembers may not have the expertise needed to successfully respond to unforeseen failures without the real-time expertise of the Mission Control Central (MCC) team NASA currently relies upon. The NASA Engineering and Safety Center (NESC) is developing a methodology for assessing the trade space of factors that affect the number of crew for future missions. This methodology includes the consideration of results from three human performance models developed using the Improved Performance Research and Integration Tool (IMPRINT) modeling platform as well as a custom-built model on expertise trained within the crew. The IMPRINT results will be presented in the modeling and simulation sub-tag. Here we present results of a model based on NASA’s crew qualification and responsibility matrix (CQRM), a tool used to identify the crew qualifications for each area of responsibility (operation, system, and payload) for a mission. The model outputs an optimized allocation of training assignments along with a flight-assigned CQRM that can be used to consider the expertise that can be trained within a crew of a given size. We discuss the CQRM model result implications on the trade space for Mars mission crew size.

Mars

Microburst model requirements for flight simulation: An airframe manufacturer's perspective

A brief outline is given of topics for presentation and discussion at the workshop. As manufacturers and certifiers of transport airplanes and associated on-board systems, an interest in the prevention of wind shear related accidents and incidents is inherent. The near term objectives are to provide the customers technical support in the areas of training as well as to research existing and potentially improved on-board systems. In the future, many improved systems should be implemented. This will require certification as well as further educational activity in the use of these new systems. A set of wind models is needed for design work which characterize a wide variety of real microbursts as measured during the JAWS project. The wind models should be limited in both size and complexity to just those features which degrade aircraft performance.

Schoenman, Richard L.

Transitioning from Software Requirements Models to Design Models

Summary: 1. Proof-of-concept of state machine synthesis from scenarios - CTAS case study. 2. CTAS team wants to use the syntheses algorithm to validate trajectory generation. 3. Extending synthesis algorithm towards requirements validation: (a) scenario relationships' (b) methodology for generalizing/refining scenarios, and (c) interaction patterns to control synthesis. 4. Initial ideas tested on conflict detection scenarios.

Lowry, Michael

Accurate Assessment of Land-Atmosphere Coupling in Climate Models Requires High Frequency Data Output

Land-atmosphere (L-A) interactions are important for understanding convective processes, climate feedbacks, the development and perpetuation of droughts, heatwaves, pluvials, and other land-centred climate anomalies. Local L-A coupling (LoCo) metrics capture relevant L-A processes, highlighting the impact of soil and vegetation states on surface flux partitioning, and the impact of surface fluxes on boundary layer (BL) growth, development, and entrainment of air above the BL. A primary goal of the Climate Process Team on Coupling Land and Atmospheric Subgrid Parameterizations (CLASP) is parameterizing and characterizing the impact of subgrid heterogeneity in global and regional earth system models (ESMs) to improve the connection between land and atmospheric states and processes. A critical step in achieving that aim is the incorporation of L-A metrics, especially LoCo metrics, into climate model diagnostic process streams. However, because land-atmosphere interactions span time scales of minutes (e.g., turbulent fluxes), hours (e.g., BL growth and decay), days (e.g., soil moisture memory), and seasons (e.g., variability of behavioural regimes between soil moisture and latent heat flux), with multiple processes of interest happening in different geographic regions at different times of year, there is not a single metric that captures all the modes, means, and methods of interaction between the land and the atmosphere. And while monthly means of most of the LoCo-relevant variables are routinely saved from ESM simulations, data storage constraints typically preclude routine archival of the hourly data that would enable the calculation of all LoCo metrics. Here we outline a reasonable data request that would allow for adequate characterization of sub-daily coupling processes between the land and the atmosphere, preserving enough sub-daily output to describe, analyse, and better understand L-A coupling in modern climate models. A secondary request involves embedding calculations within the models to determine mean properties in and above the BL to further improve characterization of model behaviour. Higher-frequency model output will (i) allow for more direct comparison with observational field campaigns on process-relevant time scales, (ii) enable demonstration of inter-model spread in L-A coupling processes, and (iii) aid in targeted identification of sources of deficiencies and opportunities for improvement of the models.

Kirsten L. Findell

Formulation of advanced consumables management models: Environmental control and electrical power system performance models requirements

Software design specifications for developing environmental control and life support system (ECLSS) and electrical power system (EPS) programs into interactive computer programs are presented. Specifications for the ECLSS program are at the detail design level with respect to modification of an existing batch mode program. The FORTRAN environmental analysis routines (FEAR) are the subject batch mode program. The characteristics of the FEAR program are included for use in modifying batch mode programs to form interactive programs. The EPS program specifications are at the preliminary design level. Emphasis is on top-down structuring in the development of an interactive program.

Daly, J. K.

Model Requirements

Contents include the following: 1. Scientific Research: Space science. Earth science. Aeronautics and space. Transportation. Human exploration of space. 2. Navigation. 3. Telecommunications. 4. Defense. 5. Space Environment Monitoring.and 6. Terrestrial Weather Monitoring.

Barth, Janet

Study of laser heated propulsion devices. Part 2: Assessment of laser propulsion modeling and simulation requirements

Theoretical models for the laser heated thruster are reviewed. The requirements for an improved laser heated thruster theoretical model are discussed. The application of a time dependent finite difference Navier-Stokes equation solution to the laser heated thruster problem is described, along with a simple closed form solution which was developed in order to gain insight into the difficulties encountered in the pursuit of the numerical solution.

Thoenes, J.

Analytical model accuracy requirements for structural dynamic systems

A test/analysis correlation criterion for the analytical model accuracy requirement has been developed. It is based on the principle of equal errors from the model inaccuracy and the uncertainties of dynamic environments. The forcing functions are idealized to establish the base for uncertainty definition and the maximum allowable errors from these uncertainties are obtained. Then the model accuracy requirement is established by comparing the responses due to the model errors to those due to the forcing function uncertainties.

Chen, J.-C.

Numerical Investigation of Occupant Injury Risks During A Realistic Transport Aircraft Crash Conditions

Researchers at the National Aeronautics and Space Administration (NASA) Langley Research Center (LaRC) have conducted a full-scale crash test of a Fokker F28 MK1000 aircraft to investigate the performance of transport aircraft under realistic crash conditions. This crash test was computationally recreated using finite element (FE) human body models (HBMs) to further explore potential injury risks to occupants and analyze the utilization of HBMs in the aerospace crash environment. The Global Human Body Model Consortium (GHBMC) male 50th percentile occupant detailed model (v6.0) and the Toyota Human Model for Safety (THUMS) male 50th percentile occupant model (v6.1) were selected to be used in the crash simulations. The HBMs were simulated in conditions matching those of anthropomorphic test device (ATD) experiments included within the aircraft cabin during the crash test. Seven occupant locations within the cabin were simulated utilizing each of the models. The models were positioned in a neutral upright posture with hands resting on the legs and the feet contacting the floor. Head, brain, neck, and lumbar vertebra injury metrics were calculated for all trials. Both HBM models required minor modifications to stabilize these simulations. The GHBMC model required added erosion for six parts while the THUMS model only required one in order to complete the full simulation. The THUMS model, however, required a much smaller timestep for stability and therefore took significantly more computational time. In addition the GHBMC model includes integrated instrumentation while the THUMS model requires development and implementation of instrumentation. Both models predicted 100% injury risk for lumbar vertebra fracture in all test conditions. This prediction was in family with high lumbar load values measured by the ATDs during the crash test. The THUMS model consistently predicted lower injury risks than the GHBMC model in all three other metrics varying depending on the crash pulse. Overall, the THUMS model required less modifications to allow for this study. However, the GHBMC models significantly faster run time and integrated instrumentation make it a more intuitive model for this research.

Crashworthiness

Considerations When Building Thermal Models that Require Conversion Between Formats

At times, it is inevitable to require conversion of thermal models from one software format to another. This most often occurs for missions with international partners where not all parties utilize the same software packages for thermal analysis. Mandating a single tool for all parties is one possible solution, but this approach can introduce problems if significant effort is required to overcome inexperience with the designated tool and may result in difficulty meeting analysis schedule requirements. Alternatively, allowing all parties to use their own familiar tools minimizes the impact to analysis schedules but does introduce the need to convert the models later to a common format for analysis at a higher level of assembly. External conversion tools and formats have been developed through the years to aid in this process, but have had limited success in fully converting models seamlessly. Having a basic familiarity with tool capabilities on both sides of the conversion process allows for models to be built in a manner to better facilitate conversion by avoiding features and capabilities which are unsupported by the destination tool or for which no workarounds exist. Also, the effort to convert a model is often neglected when developing the schedules for analysis at the higher assembly levels; delivery of models preconditioned for convertibility minimizes the schedule risk. This paper seeks to provide some guidance on modeling techniques to avoid when developing Geometrical Math Models (GMM) and Thermal Math Models (TMM) when conversion is required. The recommendations are based on GMM conversion experiences between TSS/ThermalDesktop/ESARAD and TMM conversions between SINDA-FLUINT/ESATAN.

Modeling

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

Formal verfication and simulation are powerful tools to validate requirements against complex systems. [Problem] Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. [Principal idea] We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. [Contribution] We have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written in structured natural language. Our framework is built in the Formal Requirements Elicitation Tool (fret); we use fret's requirements language named fretish, and formalization of fretish requirements in temporal logics. Our proposed framework contributes the following features: 1) automatic extraction of Simulink model information and association of fretish requirements with target model signals and components; 2) translation of temporal logic formulas into synchronous dataflow cocospec specifications as well as Simulink monitors, to be used by verification tools; we establish correctness of our translation through extensive automated testing; 3) interpretation of counterexamples produced by verification tools back at requirements level. These features support a tight integration and feedback loop between high level requirements and their analysis. We demonstrate our approach on a major case study: the Ten Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems.

Mavridou, Anastasia

Computing Needs for Astrobiology: Models of Planetary Formation

Theories of planet formation indicate that a diverse range of physical and chemical processes determine the characteristics of a planetary system. Extensive numerical modeling is required to understand how planetary systems form, and to make quantitative assessments of the factors which determine the masses, spacings and volatile compound inventories of planets and small bodies within a planetary system. Fluid flow problems associated with the formation and evolution of protoplanetary disks include specific local calculations to provide physical insight, which are best performed on workstations, and large multifaceted simulations which require supercomputers with large memories. Formation and early growth of planetesimals display a similar range of computational requirements. Modeling the late stages of planetary accumulation is very CPU intensive, as it requires following a simple system of approx. hundreds of bodies for millions of dynamical (orbital) times. These varied computational needs could be met in the most cost-effective manner by a diverse set of computers, including workstations for individual PI's and dedicated time on various types of supercomputers which are specialized for differing tasks.

Lissauer, Jack J.