SEARCH · Engineering Papers

Results for “Verification study”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 937 records · Page 52

All sources NASA NTRS DOE OSTI

NASA NTRS2018

Advanced Symbolic Analysis Tools for Fault-Tolerant Integrated Distributed Systems

The project aims to develop advanced model-checking algorithms and tools to automate the verification of fault-tolerant distributed systems for avionics. We present a new method called Property-Directed K-Induction (PD-KIND) for synthesizing K-inductive invariants of state-transition systems. PD-KIND builds upon Satifiability Modulo Theories (SMT) to generalize Bradley's IC3 method and its variants. This method is implemented in a new tool called SALLY. Case studies show that PD-KIND can automatically verify fault-tolerant algorithms under a variety of fault models and that SALLY is competitive with other SMT-based model checkers.

Dutertre, Bruno↗

NASA NTRS1984

Observing atmospheric water in storms with the Nimbus 7 scanning multichannel microwave radiometer

Employing data on integrated atmospheric water vapor, total cloud liquid water and rain rate obtainable from the Nimbus 7 Scanning Multichannel Microwave Radiometer (SMMR), we study the frontal structure of several mid-latitude cyclones over the North Pacific Ocean as they approach the West Coast of North America in the winter of 1979. The fronts, analyzed with all available independent data, are consistently located at the leading edge of the strongest gradient in integrated water vapor. The cloud liquid water content, which unfortunately has received very little in situ verification, has patterns which are consistent with the structure seen in visible and infrared imagery. The rain distribution is also a good indicator of frontal location and rain amounts are generally within a factor of two of what is observed with rain gauges on the coast. Furthermore, the onset of rain on the coast can often be accurately forecast by simple advection of the SMMR observed rain areas.

Katsaros, K. B.↗

NASA NTRS1985

Stability of interfaces with mesh refinement

A study is conducted of the stability of mesh refinement in space and time for several different interface equations and finite-difference approximations. First, a root condition which implies stability for the initial-boundary value problem for this type of interface is derived. From the root condition, the stability of several interface equations is proved, using the maximum principle. In some cases, the final verification steps can be done analytically; in other cases, a simple computer program has been written to check the condition for values of a parameter along the boundary of the unit circle. Using this method, stability for Lax-Wendroff with all the interface conditions considered, and for Leapfrog with interpolation interface conditions when the fine and coarse grids overlap is proved.

Berger, M. J.↗

NASA NTRS2020

Cyclomatic Complexity and Basis Path Testing Study

The NASA Chief Engineer requested the NASA Engineering and Safety Center (NESC) to conduct a study to determine the benefits of cyclomatic complexity and basis path testing (BPT) for software and whether they should be required. The principal focus of the assessment was to assess the use of cyclomatic complexity and BPT on safety-critical software. The purpose was to ensure that safety-critical software is not overly complicated to the point of increasing coding errors and that verification is more robust than for non-safety-critical software. This document contains the outcome of the assessment.

Cyclomatic Complexity; NASA Engineering and Safety↗

NASA NTRS2020

Actor-based Runtime Verification with MESA

This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different num- bers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.

Mehlitz, Peter↗

NASA NTRS1983

The absolute amplitude calibration of the SEASAT synthetic aperture radar - An intercomparison with other L-band radar systems

The absolute amplitude calibration of the spaceborne Seasat SAR data set is presented based on previous relative calibration studies. A scale factor making it possible to express the perceived radar brightness of a scene in units of sigma-zero is established. The system components are analyzed for error contribution, and the calibration techniques are introduced for each stage. These include: A/D converter saturation tests; prevention of clipping in the processing step; and converting the digital image into the units of received power. Experimental verification was performed by screening and processing the data of the lava flow surrounding the Pisgah Crater in Southern California, for which previous C-130 airborne scatterometer data were available. The average backscatter difference between the two data sets is estimated to be 2 dB in the brighter, and 4 dB in the dimmer regions. For the SAR a calculated uncertainty of 3 dB is expected.

Held, D.↗

NASA NTRS1992

An atmospheric energy analysis of the impact of satellite lidar winds and TIROS temperatures in global simulations

A study of the effects on forecast accuracy of adding wind-profiler data is conducted. An observing system simulation test is employed that assumes a sufficient concentration of aerosols to provide global wind profiles (a best case scenario). The simulated data for the series of five day forecasts are produced from a twenty day integration utilizing the ECMWF model, which is also employed to produce the verification forecast for the five day period.

Keller, Linda M.↗

NASA NTRS2019

Understanding the Impacts of Soil Moisture Initial Conditions on NWP in the Context of Land-Atmosphere Coupling

The role of soil moisture in NWP has gained more attention in recent years, as studies have demonstrated impacts of land surface states on ambient weather from diurnal to seasonal scales. However, soil moisture initialization approaches in coupled models remain quite diverse in terms of their complexity and observational roots, while assessment using bulk forecast statistics can be simplistic and misleading. In this study, a suite of soil moisture initialization approaches is used to generate short-term coupled forecasts over the U.S. Southern Great Plains using NASA’s Land Information System (LIS) and NASA Unified WRF (NU-WRF) modeling systems. This includes a wide range of currently used initialization approaches, including soil moisture derived from ‘off-the-shelf’ products such as atmospheric models and land data assimilation systems, high-resolution land surface model spinups, and satellite-based soil moisture products from SMAP. Results indicate that the spread across initialization approaches can be quite large in terms of soil moisture conditions and spatial resolution, and that SMAP performs well in terms of heterogeneity and temporal dynamics when compared against high resolution land surface model and in-situ soil moisture estimates. Case studies are analyzed using the local land-atmosphere coupling (LoCo) framework that relies on integrated assessment of soil moisture, surface flux, boundary layer, and ambient weather, with results highlighting the critical role of inherent model background biases. In addition, simultaneous assessment of land vs. atmospheric initial conditions in an integrated, process-level fashion can help address the question of whether improvements in traditional NWP verification statistics are achieved for the right reasons.

Southern Great Plains↗

NASA NTRS2020

Robustness and Behavior of Adjoint Calculations of Observation Impacts in Numerical Weather Prediction

Adjoint models are powerful tools that can be used to estimate the impact of observations on a chosen norm for numerical weather prediction forecasts. In this study, the Global Modeling and Assimilation Office (NASA/GMAO) Observing System Simulation Experiment framework is employed to investigate the behavior of the adjoint tool in an environment where the 'true' state of the atmosphere is fully known. This allows for the calculation of adjoint estimates of observation impact for very short forecast times including the zero-hour analysis state. The adjoint calculations using self-analysis verification can also be compared to adjoint calculations using the 'truth' as verification in order to characterize the robustness of adjoint estimations in the operational setting. Results from a experiments exploring various aspects of performance of the adjoint tool will be presented.

Prive, Nikki C.↗

NASA NTRS1973

An analytic study on bounds for the associated Legendre functions

The bounds for the normalized associated Legendre functions P sub nm were studied to provide a rational basis for the truncation of the geopotential series in spherical harmonics in various orbital analyses. The conjecture is made that the largest maximum of the normalized associated Legendre function lies in the interval which indicates the greatest integer function. A procedure is developed for verifying this conjecture. An on-line algebraic manipulator, IAM, is used to implement the procedure and the verification is carried out for all n equal to or less than 2m, for m = 1 through 6. A rigorous proof of the conjecture is not available.

Payne, M. H.↗

NASA NTRS1993

AMFESYS: Modelling and diagnosis functions for operations support

Packetized telemetry, combined with low station coverage for close-earth satellites, may introduce new problems in presenting to the operator a clear picture of what the spacecraft is doing. A recent ESOC study has gone some way to show, by means of a practical demonstration, how the use of subsystem models combined with artificial intelligence techniques, within a real-time spacecraft control system (SCS), can help to overcome these problems. A spin-off from using these techniques can be an improvement in the reliability of the telemetry (TM) limit-checking function, as well as the telecommand verification function, of the Spacecraft Control systems (SCS). The problem and how it was addressed, including an overview of the 'AMF Expert System' prototype are described, and proposes further work which needs to be done to prove the concept. The Automatic Mirror Furnace is part of the payload of the European Retrievable Carrier (EURECA) spacecraft, which was launched in July 1992.

Wheadon, J.↗

NASA NTRS2006

An Integrated Approach to Exploration Launch Office Requirements Development

The proposed paper will focus on the Project Management and Systems Engineering approach utilized to develop a set of both integrated and cohesive requirements for the Exploration Launch Office, within the Constellation Program. A summary of the programmatic drivers which influenced the approach along with details of the resulting implementation will be discussed as well as metrics evaluating the efficiency and accuracy of the various requirements development activities. Requirements development activities will focus on the procedures utilized to ensure that technical content was valid and mature in preparation for the Crew Launch Vehicle and Constellation System s Requirements Reviews. This discussion will begin at initial requirements development during the Exploration Systems Architecture Study and progress through formal development of the program structure. Specific emphasis will be given to development and validation of the requirements. This discussion will focus on approaches to garner the appropriate requirement owners (or customers), project infrastructure utilized to emphasize proper integration, and finally the procedure to technically mature, verify and validate the requirements. Examples of requirements being implemented on the Launch Vehicle (systems, interfaces, test & verification) will be utilized to demonstrate the various processes and also provide a top level understanding of the launch vehicle(s) performance goals. Details may also be provided on the approaches for verification, which range from typical aerospace hardware development (qualification/acceptance) through flight certification (flight test, etc.). The primary intent of this paper is to provide a demonstrated procedure for the development of a mature, effective, integrated set of requirements on a complex system, which also has the added intricacies of both heritage and new hardware development integration. Ancillary focus of the paper will include discussion of Test and Verification approaches along with top level systems/elements performance capabilities.

Holladay, Jon B.↗

NASA NTRS1976

Atmospheric, Magnetospheric and plasmas in Space (AMPS) spacelab payload definition study; Volume 4: Part 3, Labcraft instrument systems general specification

Guidelines and general requirements applicable to the development of instrument flight hardware intended for use on the GSFC Shuttle Scientific Payloads Program are given. Criteria, guidelines, and an organized approach to specifying the appropriate level of requirements for each instrument in order to permit its development at minimum cost while still assuring crew safety, are included. It is recognized that the instruments for these payloads will encompass wide ranges of complexity, cost, development risk, and safety hazards. The flexibility required to adapt the controls, documentation, and verification requirements in accord with the specific instrument is provided.

Keeley, J. T.↗

NASA NTRS1990

Assessing the impact of different satellite retrieval methods on forecast available potential energy

The effects of the inclusion of satellite temperature retrieval data, and of different satellite retrieval methods, on forecasts made with the NASA Goddard Laboratory for Atmospheres (GLA) fourth-order model were investigated using, as the parameter, the available potential energy (APE) in its isentropic form. Calculation of the APE were used to study the differences in the forecast sets both globally and in the Northern Hemisphere during 72-h forecast period. The analysis data sets used for the forecasts included one containing the NESDIS TIROS-N retrievals, the GLA retrievals using the physical inversion method, and a third, which did not contain satellite data, used as a control; two data sets, with and without satellite data, were used for verification. For all three data sets, the Northern Hemisphere values for the total APE showed an increase throughout the forecast period, mostly due to an increase in the zonal component, in contrast to the verification sets, which showed a steady level of total APE.

Whittaker, Linda M.↗

NASA NTRS2007

Comparison of a Simple Patched Conic Trajectory Code to Commercially Available Software

Often in spaceflight proposal development, mission designers must eva luate numerous trajectories as different design factors are investiga ted. Although there are numerous commercial software packages availab le to help develop and analyze trajectories, most take a significant amount of time to develop the trajectory itself, which isn't effectiv e when working on proposals. Thus a new code, PatCon, which is both q uick and easy to use, was developed to aid mission designers to condu ct trade studies on launch and arrival times for any given target pla net. The code is able to run quick analyses, due to the incorporation of the patched conic approximation, to determine the trajectory. PatCon provides a simple but accurate approximation of the four body moti on problem that would be needed to solve any planetary trajectory. P atCon has been compared to a patched conic test case for verification, with limited validation or comparison with other COTS software. This paper describes the patched conic technique and its implementation i n PatCon. A description of the results and comparison of PatCon to ot her more evolved codes such as AGI#s Satellite Tool Kit and JAQAR As trodynamics# Swingby Calculator is provided. The results will include percent differences in values such as C3 numbers, and Vinfinity at a rrival, and other more subjective results such as the time it takes to build the simulation, and actual calculation time.

AndersonPark, Brooke M.↗

NASA NTRS2021

Simulation of Landing and Take-Off Noise for Supersonic Transport Aircraft at a Conceptual Design Fidelity Level

The German Aerospace Center has launched an internal project to assess the noise impact associated with supersonic transport aircraft during approach and departure. A dedicated simulation process is established to cover all relevant disciplines, i.e., aircraft and engine design, engine installation effects, flight simulation, and system noise prediction. The core of the simulation process is comprised of methods at the complexity and fidelity level of conceptual aircraft design, i.e., typical overall aircraft design methods and a semi-empirical approach for the noise modeling. Dedicated interfaces allow to process data from high fidelity simulation that will support or even replace initial low fidelity results in the long run. All of the results shown and discussed in this study are limited to the fidelity level of conceptual design. The application of the simulation process to the NASA 55t Supersonic Technology Concept Aeroplane, i.e., based on non-proprietary data for this vehicle, yields similar noise level predictions when compared to the published NASA results. This is used as an initial feasibility check of the new process and confirms the underlying methods and models. Such an initial verification of the process is understood as an essential step due to the lack of available noise data for supersonic transport aircraft in general. The advantageous effect of engine noise shielding on the resulting system noise is demonstrated based on predicted level time histories and certification noise levels. After this initial verification, the process is applied to evaluate a conceptual supersonic transport design based on a PhD thesis with two engines mounted under the wing, which is referred to as aircraft TWO. Full access to this vehicle’s design and performance data allows to investigate the influence of flight procedures on the resulting noise impact along approach and departure. These noise results are then assembled according to proposed Federal Aviation Agency regulations in their Notice of Proposed Rulemaking, e.g., speed limitations, for Supersonic transport noise certification and the regulations from Noise Chapters of the Annex 16 from the International Civil Aviation Organization in order to evaluate the resulting levels as a function of the flight procedure.

noise↗

NASA NTRS1985

Space station data system analysis/architecture study. Task 2: Options development, DR-5. Volume 3: Programmatic options

Task 2 in the Space Station Data System (SSDS) Analysis/Architecture Study is the development of an information base that will support the conduct of trade studies and provide sufficient data to make design/programmatic decisions. This volume identifies the preferred options in the programmatic category and characterizes these options with respect to performance attributes, constraints, costs, and risks. The programmatic category includes methods used to administrate/manage the development, operation and maintenance of the SSDS. The specific areas discussed include standardization/commonality; systems management; and systems development, including hardware procurement, software development and system integration, test and verification.

Source record↗

NASA NTRS1991

Space transfer vehicle concepts and requirements. Volume 1: Executive summary

The objectives of the Space Transfer Vehicle (STV) Concepts and Requirements studies were to provide sensitivity data on usage, economics, and technology associated with new space transportation systems. The study was structured to utilize data on the emerging launch vehicles, the latest mission scenarios, and Space Exploration Initiative (SEI) payload manifesting and schedules, to define a flexible, high performance, cost effective, evolutionary space transportation system for NASA. Initial activities were to support the MSFC effort in the preparation of inputs to the 90 Day Report to the National Space Council (NSC). With the results of this study establishing a point-of-departure for continuing the STV studies in 1990, additional options and mission architectures were defined. The continuing studies will update and expand the parametrics, assess new cargo and manned ETO vehicles, determine impacts on the redefined Phase 0 Space Station Freedom, and to develop a design that encompasses adequate configuration flexibility to ensure compliance with on-going NASA study recommendations with major system disconnects. In terms of general requirements, the objectives of the STV system and its mission profiles will address crew safety and mission success through a failure-tolerant and forgiving design approach. These objectives were addressed through the following: engine-out capability for all mission phases; built-in-test for vehicle health monitoring to allow testing of all critical functions such as, verification of lunar landing and ascent engines before initiating the landing sequence; critical subsystems will have multiple strings for redundancy plus adequate supplies of onboard spares for removal and replacement of failed items; crew radiation protection; and trajectories that optimize lunar and Mars performance and flyby abort capabilities.

Source record↗