Results for “Modeling software” — Page 12

NASA NTRS2005

Development of a Stirling System Dynamic Model With Enhanced Thermodynamics

The Stirling Convertor System Dynamic Model developed at NASA Glenn Research Center is a software model developed from first principles that includes the mechanical and mounting dynamics, the thermodynamics, the linear alternator, and the controller of a free-piston Stirling power convertor, along with the end user load. As such it represents the first detailed modeling tool for fully integrated Stirling convertor-based power systems. The thermodynamics of the model were originally a form of the isothermal Stirling cycle. In some situations it may be desirable to improve the accuracy of the Stirling cycle portion of the model. An option under consideration is to enhance the SDM thermodynamics by coupling the model with Gedeon Associates Sage simulation code. The result will be a model that gives a more accurate prediction of the performance and dynamics of the free-piston Stirling convertor. A method of integrating the Sage simulation code with the System Dynamic Model is described. Results of SDM and Sage simulation are compared to test data. Model parameter estimation and model validation are discussed.

Regan, Timothy F.↗

NASA NTRS1992

Developing satellite ground control software through graphical models

This paper discusses a program of investigation into software development as graphical modeling. The goal of this work is a more efficient development and maintenance process for the ground-based software that controls unmanned scientific satellites launched by NASA. The main hypothesis of the program is that modeling of the spacecraft and its subsystems, and reasoning about such models, can--and should--form the key activities of software development; by using such models as inputs, the generation of code to perform various functions (such as simulation and diagnostics of spacecraft components) can be automated. Moreover, we contend that automation can provide significant support for reasoning about the software system at the diagram level.

Bailin, Sidney↗

NASA NTRS1992

Artificial intelligence support for scientific model-building

Scientific model-building can be a time-intensive and painstaking process, often involving the development of large and complex computer programs. Despite the effort involved, scientific models cannot easily be distributed and shared with other scientists. In general, implemented scientific models are complex, idiosyncratic, and difficult for anyone but the original scientific development team to understand. We believe that artificial intelligence techniques can facilitate both the model-building and model-sharing process. In this paper, we overview our effort to build a scientific modeling software tool that aids the scientist in developing and using models. This tool includes an interactive intelligent graphical interface, a high-level domain specific modeling language, a library of physics equations and experimental datasets, and a suite of data display facilities.

Keller, Richard M.↗

NASA NTRSDate not supplied

Modeling of a Solid Oxide Fuel Cell as Part of a Predictive Functional Model for Aerospace Fuel-Cell Systems

This paper will discuss initial efforts at modeling a solid oxide fuel cell (SOFC) for aerospace applications. Fuel cells historically have been used in spacecraft from the Gemini to the Shuttle era for providing spacecraft power with the added benefit of producing water for crew use. However, there are many potential applications for fuel cells and electrolyzers in spaceflight, including oxygen generation, in-situ resource utilization (ISRU) and propellant production. This proof-of-concept model has been developed using a commercial multiphysics modeling software package. Two-dimensional and one-dimensional isothermal models were created based on a certain SOFC design and results were compared to test data from the real system. Local Butler-Volmer kinetic relations were adjusted, and an effective porous medium approach was taken in order to capture how the many interconnects between cells in the gas channels affected fluid flow. The model was able to reproduce polarization curves derived from test data within around 0.02 Volts for a given current density. This model could be adapted to model a solid oxide electrolyzer, proton exchange membrane fuel cell, or other type of fuel cell technology in order to understand how these types of technologies could fit into broader spacecraft designs and advance the capabilities of spaceflight systems.

Mary Lou Nadeau↗

NASA NTRSDate not supplied

Modeling of a Solid Oxide Fuel Cell as Part of a Predictive Functional Model for Aerospace Fuel-Cell Systems

This paper will discuss initial efforts at modeling a solid oxide fuel cell (SOFC) for aerospace applications. Fuel cells historically have been used in spacecraft from the Gemini to the Shuttle era for providing spacecraft power with the added benefit of producing water for crew use. However, there are many potential applications for fuel cells and electrolyzers in spaceflight, including oxygen generation, in-situ resource utilization (ISRU) and propellant production. This proof-of-concept model has been developed using a commercial multiphysics modeling software package. Two-dimensional and one-dimensional isothermal models were created based on a certain SOFC design and results were compared to test data from the real system. Local Butler-Volmer kinetic relations were adjusted, and an effective porous medium approach was taken in order to capture how the many interconnects between cells in the gas channels affected fluid flow. The model was able to reproduce polarization curves derived from test data within around 0.02 Volts for a given current density. This model could be adapted to model a solid oxide electrolyzer, proton exchange membrane fuel cell, or other type of fuel cell technology in order to understand how these types of technologies could fit into broader spacecraft designs and advance the capabilities of spaceflight systems.

Mary Lou Nadeau↗

NASA NTRSDate not supplied

Modeling of a Solid Oxide Fuel Cell as Part of a Predictive Functional Model for Aerospace Fuel-Cell Systems

This paper will discuss initial efforts at modeling a solid oxide fuel cell (SOFC) for aerospace applications. Fuel cells historically have been used in spacecraft from the Gemini to the Shuttle era for providing spacecraft power with the added benefit of producing water for crew use. However, there are many potential applications for fuel cells and electrolyzers in spaceflight, including oxygen generation, in-situ resource utilization (ISRU) and propellant production. This proof-of-concept model has been developed using a commercial multiphysics modeling software package. Two-dimensional and one-dimensional isothermal models were created based on a certain SOFC design and results were compared to test data from the real system. Local Butler-Volmer kinetic relations were adjusted, and an effective porous medium approach was taken in order to capture how the many interconnects between cells in the gas channels affected fluid flow. The model was able to reproduce polarization curves derived from test data within around 0.02 Volts for a given current density. This model could be adapted to model a solid oxide electrolyzer, proton exchange membrane fuel cell, or other type of fuel cell technology in order to understand how these types of technologies could fit into broader spacecraft designs and advance the capabilities of spaceflight systems.

Mary Lou Nadeau↗

NASA NTRSDate not supplied

Modeling of a Solid Oxide Fuel Cell as Part of a Predictive Functional Model for Aerospace Fuel-Cell Systems

This paper will discuss initial efforts at modeling a solid oxide fuel cell (SOFC) for aerospace applications. Fuel cells historically have been used in spacecraft from the Gemini to the Shuttle era for providing spacecraft power with the added benefit of producing water for crew use. However, there are many potential applications for fuel cells and electrolyzers in spaceflight, including oxygen generation, in-situ resource utilization (ISRU) and propellant production. This proof-of-concept model has been developed using a commercial multiphysics modeling software package. Two-dimensional and one-dimensional isothermal models were created based on a certain SOFC design and results were compared to test data from the real system. Local Butler-Volmer kinetic relations were adjusted, and an effective porous medium approach was taken in order to capture how the many interconnects between cells in the gas channels affected fluid flow. The model was able to reproduce polarization curves derived from test data within around 0.02 Volts for a given current density. This model could be adapted to model a solid oxide electrolyzer, proton exchange membrane fuel cell, or other type of fuel cell technology in order to understand how these types of technologies could fit into broader spacecraft designs and advance the capabilities of spaceflight systems.

Mary Lou Nadeau↗

NASA NTRS2017

A Study of Reflected Sonic Booms Using Airborne Measurements

In support of ongoing efforts to bring commercial supersonic flight to the public, the Sonic Booms in Atmospheric Turbulence (SonicBAT) flight test was conducted at NASA Armstrong Flight Research Center. During this test, airborne sonic boom measurements were made using an instrumented TG-14 motor glider, called the Airborne Acoustic Measurement Platform (AAMP).During the flight program, the AAMP was consistently able to measure the sonic boom wave that was reflected off of the ground, in addition to the incident wave, resulting in the creation of a completely unique data set of airborne sonic boom reflection measurements. This paper focuses on using this unique data set to investigate the ability of sonic boom modeling software to calculate sonic boom reflections. Because the algorithms used to model sonic boom reflections are also used to model the secondary carpet and over the top booms, the use of actual flight data is vital to improving the understanding of the effects of sonic booms outside of the primary carpet. Understanding these effects becomes especially important as the return of commercial supersonic approaches, as well as ensuring the accuracy of mission planning for future experiments.

flight research↗

NASA NTRS2005

Uncertainty Modeling for Robustness Analysis of Control Upset Prevention and Recovery Systems

Formal robustness analysis of aircraft control upset prevention and recovery systems could play an important role in their validation and ultimate certification. Such systems (developed for failure detection, identification, and reconfiguration, as well as upset recovery) need to be evaluated over broad regions of the flight envelope and under extreme flight conditions, and should include various sources of uncertainty. However, formulation of linear fractional transformation (LFT) models for representing system uncertainty can be very difficult for complex parameter-dependent systems. This paper describes a preliminary LFT modeling software tool which uses a matrix-based computational approach that can be directly applied to parametric uncertainty problems involving multivariate matrix polynomial dependencies. Several examples are presented (including an F-16 at an extreme flight condition, a missile model, and a generic example with numerous crossproduct terms), and comparisons are given with other LFT modeling tools that are currently available. The LFT modeling method and preliminary software tool presented in this paper are shown to compare favorably with these methods.

Belcastro, Christine M.↗

NASA NTRS2015

The SeaHorn Verification Framework

In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

Model Checking↗

NASA NTRS1992

Advanced software development workstation project: Engineering scripting language. Graphical editor

Software development is widely considered to be a bottleneck in the development of complex systems, both in terms of development and in terms of maintenance of deployed systems. Cost of software development and maintenance can also be very high. One approach to reducing costs and relieving this bottleneck is increasing the reuse of software designs and software components. A method for achieving such reuse is a software parts composition system. Such a system consists of a language for modeling software parts and their interfaces, a catalog of existing parts, an editor for combining parts, and a code generator that takes a specification and generates code for that application in the target language. The Advanced Software Development Workstation is intended to be an expert system shell designed to provide the capabilities of a software part composition system.

Source record↗

NASA NTRS2019

Comparison of Structural Concepts for Transport Aircraft with a Tail Cone Turbine

An evaluation of three structural concepts for an advanced aircraft design with a tail cone turbine is presented. Structural models were developed using an innovative rapid finite element modeling tool called Conceptual Design Shop (CDS). CDS is an attempt to fill a gap in current finite element modeling software to automatically connect wings and tails to the fuselage with sufficient support structure in airframe models. For comparison with actual aircraft structures, a model of a transport aircraft design developed using CDS is compared with published structural weight data for a Boeing 737-200. A method for computing aerodynamic stability parameters from an MSC/NASTRAN finite element analysis output deck is also discussed. Finally, the weight effects for using a tail cone turbine in an advanced transport aircraft design are evaluated by comparing three composite structural models, for which component thicknesses and cross-sections are sized by the Hypersizer software.

Mason, Brian H.↗

NASA NTRS1994

Thermal modeling of NiH2 batteries

The following are discussed: NiH2 battery mission and environment; NiH2 cell heat dissipation; Nodal software; model development general philosophy; NiH2 battery model development; and NiH2 experimental developments.

Ponthus, Agnes-Marie↗

NASA NTRS1978

Petri nets as a modeling tool for discrete concurrent tasks of the human operator

The basic concepts of Petri nets are reviewed as well as their application as the fundamental model of technical systems with concurrent discrete events such as hardware systems and software models of computers. The use of Petri nets is proposed for modeling the human operator dealing with concurrent discrete tasks. Their properties useful in modeling the human operator are discussed and practical examples are given. By means of and experimental investigation of binary concurrent tasks which are presented in a serial manner, the representation of human behavior by Petri nets is demonstrated.

Schumacher, W.↗

NASA NTRS2011

Dynamic Modeling and Soil Mechanics for Path Planning of the Mars Exploration Rovers

To help minimize risk of high sinkage and slippage during drives and to better understand soil properties and rover terramechanics from drive data, a multidisciplinary team was formed under the Mars Exploration Rover project to develop and utilize dynamic computer-based models for rover drives over realistic terrains. The resulting system, named ARTEMIS (Adams-based Rover Terramechanics and Mobility Interaction System), consists of the dynamic model, a library of terramechanics subroutines, and the high-resolution digital elevation maps of the Mars surface. A 200-element model of the rovers was developed and validated for drop tests before launch, using Adams dynamic modeling software. The external library was built in Fortran and called by Adams to model the wheel-soil interactions include the rut-formation effect of deformable soils, lateral and longitudinal forces, bull-dozing effects, and applied wheel torque. The paper presents the details and implementation of the system. To validate the developed system, one study case is presented from a realistic drive on Mars of the Opportunity rover. The simulation results match well from the measurement of on-board telemetry data. In its final form, ARTEMIS will be used in a predictive manner to assess terrain navigability and will become part of the overall effort in path planning and navigation for both Martian and lunar rovers.

rover↗

NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

NASA NTRS1991

On the use and the performance of software reliability growth models

We address the problem of predicting future failures for a piece of software. The number of failures occurring during a finite future time interval is predicted from the number failures observed during an initial period of usage by using software reliability growth models. Two different methods for using the models are considered: straightforward use of individual models, and dynamic selection among models based on goodness-of-fit and quality-of-prediction criteria. Performance is judged by the relative error of the predicted number of failures over future finite time intervals relative to the number of failures eventually observed during the intervals. Six of the former models and eight of the latter are evaluated, based on their performance on twenty data sets. Many open questions remain regarding the use and the performance of software reliability growth models.

Keiller, Peter A.↗

NASA NTRS2008

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration

Two popular forms of dynamic analysis, random testing and explicit-state software model checking, are perhaps best viewed as search strategies for exploring the state spaces introduced by nondeterminism in program inputs. We present an approach that enables this nondeterminism to be expressed in the SPIN model checker's PROMELA language, and then lets users generate either model checkers or random testers from a single harness for a tested C program. Our approach makes it easy to compare model checking and random testing for models with precisely the same input ranges and probabilities and allows us to mix random testing with model checking's exhaustive exploration of non-determinism. The PROMELA language, as intended in its design, serves as a convenient notation for expressing nondeterminism and mixing random choices with nondeterministic choices. We present and discuss a comparison of random testing and model checking. The results derive from using our framework to test a C program with an effectively infinite state space, a module in JPL's next Mars rover mission. More generally, we show how the ability of the SPIN model checker to call C code can be used to extend SPIN's features, and hope to inspire others to use the same methods to implement dynamic analyses that can make use of efficient state storage, matching, and backtracking.

dynamic analysis↗