SEARCH · Search NASA

Results for “Distributed Control”

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 1,135 records · Page 63

All sources NASA NTRS DOE OSTI

NASA NTRS2007

Persistent Nature of Secondary Diurnal Modes of Precipitation over Oceanic and Continental Regimes

This investigation seeks a better understanding of the assorted mechanisms controlling the global distribution of precipitation diurnal variability based on the use of Tropical Rainfall Measuring Mission (TRMM) microwave radiometer and radar data. The horizontal distributions of precipitation's diurnal cycle are derived from eight years of TRMM Microwave Imager (TMI) and Precipitation Radar (PR) measurements involving three TRMM standard rain rate retrieval algorithms -- the resultant distributions analyzed at various spatiotemporal scales. The results reveal the prominent and expected late-evening to early-morning (LE-EM) precipitation maxima over oceans and the counterpart prominent and expected mid- to late-afternoon (MLA) maxima over continents. Moreover, and not generally recognized, the results reveal a widespread distribution of secondary maxima occurring over both oceans and continents -- maxima which generally mirror their counterpart regime's behavior. That is, many ocean regions exhibit clearcut secondary MLA precipitation maxima while many continental regions exhibit just as evident secondary LE-EM maxima. This investigation is the first comprehensive study of these globally prevalent secondary maxima and their widespread nature, a type of study only made possible when the analysis procedure is applied to a high-quality global-scale precipitation dataset. The characteristics of the secondary maxima are mapped and described on global grids using an innovative clock-face format, while a current study to be published at a later date provides physically-based explanations of the seasonal-regional distributions of the secondary maxima. In addition to an "explicit" maxima identification scheme, a "Fourier decomposition" maxima identification scheme is used to examine the amplitude and phase properties of the primary and secondary maxima -- as well as tertiary and quaternary maxima. Accordingly, the advantages, ambiguities, and pitfalls resulting from use of Fourier harmonic analysis are explained.

Yang, S.↗

NASA NTRS2010

Aviation Frontiers: On-Demand Aircraft

Throughout the 20th Century, NASA has defined the forefront of aeronautical technology, and the aviation industry owes much of its prosperity to this knowledge and technology. In recent decades, centralized aeronautics has become a mature discipline, which raises questions concerning the future aviation innovation frontiers. Three transformational aviation capabilities, bounded together by the development of a Free Flight airspace management system, have the potential to transform 21st Century society as profoundly as civil aviation transformed the 20th Century. These mobility breakthroughs will re-establish environmental sustainable centralized aviation, while opening up latent markets for civil distributed sensing and on-demand rural and regional transportation. Of these three transformations, on-demand aviation has the potential to have the largest market and productivity improvement to society. The information system revolution over the past 20 years shows that vehicles lead, and the interconnecting infrastructure to make them more effective follows; that is, unless on-demand aircraft are pioneered, a distributed Air Traffic Control system will likely never be established. There is no single technology long-pole that will enable on-demand vehicle solutions. However, fully digital aircraft that include electric propulsion has the potential to be a multi-disciplinary initiator of solid state technologies that can provide order of magnitude improvements in the ease of use, safety/reliability, community and environmental friendliness, and affordability.

Moore, Mark D.↗

NASA NTRS2011

A Global Climatology of Tropospheric and Stratospheric Ozone Derived from Aura OMI and MLS Measurements

A global climatology of tropospheric and stratospheric column ozone is derived by combining six years of Aura Ozone Monitoring Instrument (OMI) and Microwave Limb Sounder (MLS) ozone measurements for the period October 2004 through December 2010. The OMI/MLS tropospheric ozone climatology exhibits large temporal and spatial variability which includes ozone accumulation zones in the tropical south Atlantic year-round and in the subtropical Mediterranean! Asia region in summer months. High levels of tropospheric ozone in the northern hemisphere also persist in mid-latitudes over the eastern North American and Asian continents extending eastward over the Pacific Ocean. For stratospheric ozone climatology from MLS, largest ozone abundance lies in the northern hemisphere in the latitude range 70degN-80degN in February-April and in the southern hemisphere around 40degS-50degS during months August-October. The largest stratospheric ozone abundances in the northern hemisphere lie over North America and eastern Asia extending eastward across the Pacific Ocean and in the southern hemisphere south of Australia extending eastward across the dateline. With the advent of many newly developing 3D chemistry and transport models it is advantageous to have such a dataset for evaluating the performance of the models in relation to dynamical and photochemical processes controlling the ozone distributions in the troposphere and stratosphere.

Ziemke, J.R.↗

NASA NTRS2012

NASA Tech Briefs, May 2012

Topics covered include: An "Inefficient Fin" Non-Dimensional Parameter to Measure Gas Temperatures Efficiently; On-Wafer Measurement of a Multi-Stage MMIC Amplifier with 10 dB of Gain at 475 GHz; Software to Control and Monitor Gas Streams; Miniaturized Laser Heterodyne Radiometer (LHR) for Measurements of Greenhouse Gases in the Atmospheric Column; Anomaly Detection in Test Equipment via Sliding Mode Observers; Absolute Position of Targets Measured Through a Chamber Window Using Lidar Metrology Systems; Goldstone Solar System Radar Waveform Generator; Fast and Adaptive Lossless Onboard Hyperspectral Data Compression System; Iridium Interfacial Stack - IrIS; Downsampling Photodetector Array with Windowing; Optical Phase Recovery and Locking in a PPM Laser Communication Link; High-Speed Edge-Detecting Line Scan Smart Camera; Optical Communications Channel Combiner; Development of Thermal Infrared Sensor to Supplement Operational Land Imager; Amplitude-Stabilized Oscillator for a Capacitance-Probe Electrometer; Automated Performance Characterization of DSN System Frequency Stability Using Spacecraft Tracking Data; Histogrammatic Method for Determining Relative Abundance of Input Gas Pulse; Predictive Sea State Estimation for Automated Ride Control and Handling - PSSEARCH; LEGION: Lightweight Expandable Group of Independently Operating Nodes; Real-Time Projection to Verify Plan Success During Execution; Automated Performance Characterization of DSN System Frequency Stability Using Spacecraft Tracking Data; Web-Based Customizable Viewer for Mars Network Overflight Opportunities; Fabrication of a Cryogenic Terahertz Emitter for Bolometer Focal Plane Calibrations; Fabrication of an Absorber-Coupled MKID Detector; Graphene Transparent Conductive Electrodes for Next- Generation Microshutter Arrays; Method of Bonding Optical Elements with Near-Zero Displacement; Free-Mass and Interface Configurations of Hammering Mechanisms; Wavefront Compensation Segmented Mirror Sensing and Control; Long-Life, Lightweight, Multi-Roller Traction Drives for Planetary Vehicle Surface Exploration; Reliable Optical Pump Architecture for Highly Coherent Lasers Used in Space Metrology Applications; Electrochemical Ultracapacitors Using Graphitic Nanostacks; Improved Whole-Blood-Staining Device; Monitoring Location and Angular Orientation of a Pill; Molecular Technique to Reduce PCR Bias for Deeper Understanding of Microbial Diversity; Laser Ablation Electrodynamic Ion Funnel for In Situ Mass Spectrometry on Mars; High-Altitude MMIC Sounding Radiometer for the Global Hawk Unmanned Aerial Vehicle; PRTs and Their Bonding for Long-Duration, Extreme-Temperature Environments; Mid- and Long-IR Broadband Quantum Well Photodetector; 3D Display Using Conjugated Multiband Bandpass Filters; Real-Time, Non-Intrusive Detection of Liquid Nitrogen in Liquid Oxygen at High Pressure and High Flow; Method to Enhance the Operation of an Optical Inspection Instrument Using Spatial Light Modulators; Dual-Compartment Inflatable Suitlock; Large-Strain Transparent Magnetoactive Polymer Nanocomposites; Thermodynamic Vent System for an On-Orbit Cryogenic Reaction Control Engine; Time Distribution Using SpaceWire in the SCaN Testbed on ISS; and Techniques for Solution- Assisted Optical Contacting.

Source record↗

NASA NTRS2012

Parameterization of Aerosol Sinks in Chemical Transport Models

The modelers point of view is that the aerosol problem is one of sources, evolution, and sinks. Relative to evolution and sink processes, enormous attention is given to the problem of aerosols sources, whether inventory based (e.g., fossil fuel emissions) or dynamic (e.g., dust, sea salt, biomass burning). On the other hand, aerosol losses in models are a major factor in controlling the aerosol distribution and lifetime. Here we shine some light on how aerosol sinks are treated in modern chemical transport models. We discuss the mechanisms of dry and wet loss processes and the parameterizations for those processes in a single model (GEOS-5). We survey the literature of other modeling studies. We additionally compare the budgets of aerosol losses in several of the ICAP models.

Colarco, Peter↗

NASA NTRS2013

Systems and Methods for the Electrodeposition of a Nickel-cobalt Alloy

Systems and methods for electrodepositing a nickel-cobalt alloy using a rotating cylinder electrode assembly with a plating surface and an electrical contact. The assembly is placed within a plating bath and rotated while running a plating cycle. Nickel-cobalt alloy deposition is selectively controlled by controlling current density distribution and/or cobalt content in the plating bath while running the plating cycle to deposit an alloy of a desired yield strength onto the plating surface in a single plating cycle. In various embodiments, the rotating cylinder may be used as an insitu monitoring method to assist in obtaining the properties desired.

Ogozalek, Nance Jo↗

NASA NTRS2014

Trim and Structural Optimization of Subsonic Transport Wings Using Nonconventional Aeroelastic Tailoring

Several minimum-mass aeroelastic optimization problems are solved to evaluate the effectiveness of a variety of novel tailoring schemes for subsonic transport wings. Aeroelastic strength and panel buckling constraints are imposed across a variety of trimmed maneuver loads. Tailoring with metallic thickness variations, functionally graded materials, composite laminates, tow steering, and distributed trailing edge control effectors are all found to provide reductions in structural wing mass with varying degrees of success. The question as to whether this wing mass reduction will offset the increased manufacturing cost is left unresolved for each case.

Stanford, Bret K.↗

NASA NTRS2015

Aeroelastic Tailoring of Transport Wings Including Transonic Flutter Constraints

Several minimum-mass optimization problems are solved to evaluate the effectiveness of a variety of novel tailoring schemes for subsonic transport wings. Aeroelastic stress and panel buckling constraints are imposed across several trimmed static maneuver loads, in addition to a transonic flutter margin constraint, captured with aerodynamic influence coefficient-based tools. Tailoring with metallic thickness variations, functionally graded materials, balanced or unbalanced composite laminates, curvilinear tow steering, and distributed trailing edge control effectors are all found to provide reductions in structural wing mass with varying degrees of success. The question as to whether this wing mass reduction will offset the increased manufacturing cost is left unresolved for each case.

Stanford, Bret K.↗

NASA NTRS2018

Reflective Coatings for the Future X-Ray Mirror Substrates

We present the development of the reflective coating by magnetron sputtering deposition onto precisely-fabricated thin X-ray mirrors. Our goal is to remove distortion induced by the coating and then keep their surface pro les. We first addressed the uniform coating to minimize the distortion by introducing a mask to control the spatial distribution of the coating thickness. The uniformity was finally achieved within 1%. We next tried a platinum single-layer coating on a glass substrate with a dimension of 200 mm 125 mm. The distortion caused by the frontside coating with a thickness of 320 A was found to be at most 1 m, smaller than the previous results obtained from the non-uniform coating. We then carried out the platinum coating with the same amount of the thickness on the backside surface of the glass substrate. The surface pro le of the glass substrate was fully recovered, indicating that the residual stress was successfully balanced by the backside coating. Furthermore, we tried to an iridium single-layer coating with a thickness of 150 Aon the silicon mirrors. The frontside coating caused the degradation of the imaging quality by 7:5 arcsec in half-power width. However, the backside coating with the same amount of the thickness reduced this degradation to be 3:4 arcsec. Finally, an additional backside coating with a thickness of 100 A and the annealing to relax the residual stress were found to eliminate the distortion completely; the final degradation of the imaging quality was only 0:4 arcsec.

Mori, Hideyuki↗

NASA NTRS2019

BioBot: Innovative Offloading of Astronauts for More Effective Exploration

The BioBot concept consists of a robotic rover which is capable of traversing the same terrain as a spacesuited human. It carries the primary life support system for the astronaut, including consumables, atmosphere revitalization systems (e.g., CO2 scrubbing, humidity and temperature management, ventilation fan), power system (e.g., battery, power management and distribution),and thermal control system (e.g., water sublimator, cooling water pump), along with umbilical lines to connect to the supported astronaut. Although not technically part of life support, it would be logical for the BioBot to also provide long-range communications, video monitoring, tool and sample transport, and other functions to enable and enhance EVA productivity in planetary surface exploration.The design reference scenario for this concept is that astronauts involved in future lunar or Mars exploration will be on the surface for weeks or months rather than days, and will be involved in regular EVA operations. It is not unreasonable to think of geologists spending several days inEVA exploration each week over a prolonged mission duration, with far more ambitious operational objectives than were typical of Apollo. In this scenario, each astronaut will be accompanied by a "BioBot", which will transport their life support system and consumables, an extended umbilical and umbilical reel, and robotic systems capable of controlling the position and motion of the umbilical. The astronaut will be connected to the robot via the umbilical, carrying only a small emergency open-loop life support system similar to those contained in every PLSS. The robotic mobility base will be designed to be capable of traveling anywhere the astronaut can walk, and will also be useful as a transport for the EVA tools, science instrumentation, and collected samples. In addition, the BioBot can potentially carry the astronaut on traverses as well. Such a system will also be a significant enhancement to public engagement in these future exploration missions, as the robotic vehicles can also support high-resolution cameras and high bandwidth communications gear to providehigh-definition video coverage of each crew throughout each EVA sortie.

Akin, David L.↗

NASA NTRS2019

Bumper: A Tool for Analyzing Spacecraft Micrometeoroid and Orbital Debris Risk

“Bumper” is NASA’s computer program for analyzing spacecraft micrometeoroid and orbital debris (MMOD) risk. Bumper was developed in the late-1980s and has been continuously used and maintained since. The user base has grown from a few government entities to now include numerous commercial entities as well. The NASA Johnson Space Center (JSC) Hypervelocity Impact Technology (HVIT) Team is responsible for all aspects of the Bumper software. Bumper has been used to characterize MMOD risk on hundreds of spacecraft. All of the International Space Station (ISS) modules, visiting vehicles and numerous external components and systems have been analyzed. Bumper was used to analyze each of the Space Shuttle missions since STS-50. The Orion Multi-Purpose Crew Vehicle (MPCV) MMOD shielding is being developed using Bumper as well. Bumper has also been used on numerous telescopes (Hubble, James Webb, and Fermi Gamma-ray Space Telescopes), scientific probes (Stardust, New Horizons, Parker Solar Probe), and Earth observation satellites (Landsat, Joint Polar Satellite System). Bumper is also being used to analyze the micrometeoroid risk and support design of the Deep Space Gateway (DSG) and Mars Sample Return (MSR) missions. The HVIT Bumper Configuration Control Board (CCB) ensures that all changes to the code are approved, reviewed, and documented. Most of the changes are made to add new MMOD damage “ballistic limit equations” (BLEs). BLEs are typically added in response to completion of a hypervelocity impact (HVI) test series and development of an associated BLE. Other less frequent changes include updates of the debris or meteoroid environment models, feature enhancements, and feature retirement. Some BLEs are commercially sensitive and/or proprietary, so the CCB also manages code user-version control and software distribution. The current version – “Bumper 3” – is a FORTRAN executable that utilizes a 64-bit architecture. Bumper 3 has numerous features that make it a powerful tool for analyzing spacecraft MMOD risk. Bumper uses the latest orbital debris and micrometeoroid environment models. Bumper also easily processes large spacecraft geometry models, recognizes hidden surfaces, permits BLE assignment by name or number, and conducts quality checks of the spacecraft geometry model. Bumper 3 can also be used to estimate the effects of particle penetration through thin, high-standoff distance hardware components such as solar arrays and radiators. This is done using a special HVIT-developed technique know as the “3-Part Analysis.” The paper introduces the Bumper 3 MMOD risk analysis code and provides an example MMOD risk assessment showing Bumper’s role in the overall MMOD protection design process.

Lear, Dana M.↗

NASA NTRS2019

Additional Findings from the Common Research Model Natural Laminar Flow Wind Tunnel Test

An experimental investigation of the Common Research Model with Natural Laminar Flow (CRM-NLF) took place in the National Transonic Facility (NTF) at the NASA Langley Research Center in 2018. The 5.2% scale semispan model was designed using a new natural laminar flow design method, Crossflow Attenuated NLF (CATNLF). CATNLF enables laminar flow on typical transport wings with high sweep and Reynolds number by reshaping the wing airfoils to obtain specific pressure distribution characteristics that control the crossflow growth near the leading edge. The CATNLF method also addresses Tollmien- Schlichting transition, attachment line transition, and Görtler vortices. During the wind tunnel test, data were acquired to address three primary test objectives: validate the CATNLF design method, characterize the NTF laminar flow testing capabilities, and establish best practices for laminar flow wind tunnel testing. The present paper provides both experimental and computational data to understand the CRM-NLF laminar flow characteristics, as well as address the three primary test objectives. The effects of angle of attack and Reynolds number on the CRM-NLF laminar flow extent are studied, and the dominant transition mechanism is evaluated at a variety of test conditions. Critical N-factors are calculated for the NTF environment, and a discussion on best practices for laminar flow wind tunnel testing is provided. The CRM-NLF in the NTF provided initial confirmation of the ability of the CATNLF method to suppress crossflow growth and enable significant extents of laminar flow on transport wings with high sweep and Reynolds numbers.

Lynde, Michelle N.↗

NASA NTRS2021

A Mathematical Analysis of an Example Delay Tolerant Network using the Theory of Sheaves

NASA’s High-Data Rate Architecture (HiDRA) project is working towards a general yet practical toolkit and knowledge base to help usher in the era of new technologies for space systems communications, such as optical links. The High-Rate Delay Tolerant Networking (HDTN) implementation falls under the umbrellas of both the toolkit and the knowledge base, as its advancements illuminate more general areas of Delay Tolerant Networking (DTN) that need growth. The goal of this paper is to explore the usage of particular mathematical machineries, namely temporal flow networks and sheaves, to identify fundamental, underlying structures in DTN for space systems. Satellites, space assets, ground stations, etc. give rise to a disconnected network, and it is the goal of DTN to glue disparate links together into a cohesive system, that is, a network. Depending on a given link, the latencies might be beyond that which the Transmission Control Protocol (TCP) can handle, and contact times might have one-way light times in excess of minute (sometimes significantly longer). Some links might be periodic (say, due to orbital mechanics) or they might not be. This diversity has made it difficult to probe the underlying structure. An immediate consequence is that DTNs in practice today are controlled by globally distributed contact plans (schedules), which are the input to the contact graph routing (CGR) algorithm. While this is effective for smaller networks, it will be very difficult to scale for future networks. Deeper and more rigorous theory is needed to bring DTN to the next evolutionary step. To this end, this paper introduces and suggests a mathematical framework for DTN, and applies it to a space network that is simulated using an orbital analysis toolkit. The tag-line for the structure known as sheaves is that they are the mathematically precise way of gluing local data together into unique, global data. If we consider routing, we see that networking is a “sheafy” science. We then discuss a simplified sheaf model, known as the cellular sheaf. The sheaf-theoretic analysis is presented and discussed, as it is hoped that this and related papers will help form the primordial ooze of DTN theory. Finally there is a section of future work suggesting follow-on research.

Delay Tolerant Networking↗

NASA NTRS2021

Demonstrations of System-Level Autonomy for Spacecraft

System-level autonomy refers to autonomously meeting the crosscutting needs of a system through awareness and coordinated control spanning the system's breadth of capabilities. In contrast to function-level autonomy, which focuses on capabilities required to achieve a specific function such as surface navigation or image recognition, system-level autonomy addresses the needs to coordinate and manage activities and resources, and estimate the state, across subsystems. This paper describes demonstrations that were conducted on a spacecraft workstation testbed. The autonomy was provided by system-level planning and execution integrated with system-level estimators of orbit knowledge and spacecraft hardware health. These components are embedded in a system-level framework defining how goals are formed and executed, which elements exist, and how control authority is distributed among components. The planning and execution system at the heart of the framework has the capability to schedule, execute and monitor completion of tasks, as well as plan around unexpected events including new science opportunities and anomalies. The planning and scheduling system is the Multi-mission EXECutive (MEXEC), supported by the system-level health state estimator Model-Based Off-Nominal State Identification and Detection (MONSID), and Autonomous Navigation (AutoNav) algorithms, which determine the orbital system state based on optical observation of other targets. These components are applicable to many kinds of missions on different platforms. These demonstrations were elaborations of earlier experiments conducted on the ASTERIA (Arcsecond Space Telescope Enabling Research In Astrophysics) CubeSat, described in a companion submission [1]. The spacecraft’s extended mission served as an in-flight test platform, during which some individual autonomous capabilities were flown successfully. The autonomy experiments described here were performed on the ASTERIA workstation testbed.

Prather, Maurice↗

NASA NTRS2019

Nanopore-Templated Silver Nanoparticle Arrays Photopolymerized in Zero-Mode Wavelengths

In situ fabrication of nanostructures within a solid-polymer electrolyte confined to subwavelength-diameter nanoapertures is a promising approach for producing nanomaterials for nanophotonic and chemical sensing applications. The solid-polymerelectrolyte can be patterned by lithographic photopolymerization of poly(ethyleneglycol) diacrylate (PEGDA)-based silver cation (Ag+)-containing polyelectrolyte. Here, we present a new method for fabricating nanopore-templated Ag nanoparticle (AgNP)arrays by in situ photopolymerization using a zero-mode waveguide (ZMW) array to simultaneously template embedded AgNPs and control the spatial distribution of the optical field used for photopolymerization. The approach starts with an array of nanopores fabricated by sequential layer-by-layer deposition and focused ion beam milling. These structures have an optically transparent bottom, allowing access of the optical radiation to the attoliter-volume ZMW region to photopolymerize a PEGDA monomer solution containing AgNPs and Ag+. The electric field intensity distribution is calculated for various ZMW optical cladding layer thicknesses using finite-element simulations, closely following the light-blocking efficiency of the optical cladding layer. The fidelity of the polyelectrolyte nanopillar pattern was optimized with respect to experimental conditions, including the presence or absence of Ag+ and AgNPs and the concentrations of PEGDA and Ag+. The self-templated approach for photo patterning high-resolution photolabile polyelectrolyte nanostructures directly within a ZMW array could lead to a new class of metamaterials formed by embedding metal nanoparticles within a dielectric in a well-defined spatial array.

Zero-mode waveguide↗

NASA NTRS2020

The fate of organic carbon in marine sediments - New insights from recent data and analysis

Organic carbon in marine sediments is a critical component of the global carbon cycle, and its degradation influences a wide range of phenomena, including the magnitude of carbon sequestration over geologic timescales, the recycling of inorganic carbon and nutrients, the dissolution and precipitation of carbonates, the production of methane and the nature of the seafloor biosphere. Although much has been learned about the factors that promote and hinder rates of organic carbon degradation in natural systems, the controls on the distribution of organic carbon in modern and ancient sediments are still not fully understood. In this review, we summarize how recent findings are changing entrenched perspectives on organic matter degradation in marine sediments: a shift from a structurally-based chemical reactivity viewpoint towards an emerging acceptance of the role of the ecosystem in organic matter degradation rates. That is, organic carbon has a range of reactivities determined by not only the nature of the organic compounds, but by the biological, geochemical, and physical attributes of its environment. This shift in mindset has gradually come about due to a greater diversity of sample sites, the molecular revolution in biology, discoveries concerning the extent and limits of life, advances in quantitative modeling, investigations of ocean carbon cycling under a variety of extreme paleo-conditions (e.g. greenhouse environments, euxinic/anoxic oceans), the application of novel analytical techniques and interdisciplinary efforts. Adopting this view across scientific disciplines will enable additional progress in understanding how marine sediments influence the global carbon cycle.

Organic carbon↗

NASA NTRSDate not supplied

Stochastic Verification by Analysis for Autonomous Systems Management Architecture (ASMA)

The Gateway Vehicle Systems Manager (VSM) is the top-level of a distributed, hierarchical software control system. VSM is data-driven and will make decisions related to mission, fault, resource management and vehicle control. These attributes combined with a high degree of autonomy make it susceptible to emergent behavior. In order to achieve the high level of confidence needed in this critical system, the VSM team has developed a multifaceted verification strategy employing traditional verification techniques, simulation, model checking, and runtime verification. Individual algorithms are verified using conventional testing and model checking using assume-guarantee contracts. A discrete event-based simulation approach is being developed to verify timelines. This presentation describes an enhancement to the verification approach using analysis to enhance system robustness by detecting and resolving the potential for emergent behavior. The verification by analysis employs a Software in the Loop (SITL) environment with real flight software executing on emulated processors, simulations of vehicle subsystems, flight dynamics, and human inputs. Since the possible input space and configuration data set are too large for exhaustive testing, a Monte Carlo approach is used to cover feasible scenarios, augmented with corner cases and known higher-risk scenarios. A key problem in using Monte Carlo-based system verification is evaluating test results to ensure that system behavior is correct. The presentation describes the approach the VSM team uses to monitor behavior for compliance with predetermined boundaries and to identify anomalous behavior for further analysis. This presentation describes the multi-level systems approach to verification, and the simulation-based layer that covers the feasible state space: 1. Overview of the Gateway VSM 2. Special challenges due to heterogeneous, hierarchical architecture 3. Modeling and simulation environment using flight software and system simulations 4. Developing input sets to ensure state-space coverage 5. Developing model and data configuration sets to ensure model coverage 6. Interpreting results without predetermined outcomes 7. Lessons learned and future work

Verification and Validation↗

NASA NTRS2024

Discrete Event Simulation-Based Timeline Validation Using R2U2

The Gateway Vehicle Systems Manager (VSM), the top-level software control system in a distributed, hierarchical Autonomous System Management Architecture is, like most modern spacecraft software control systems, heavily data-driven. For example, schedules (timelines) will be developed on the ground and, due to the high degree of autonomy, contain complex procedures involving conditional branching, variable timing, and resource contention resolution. In order to verify that an uploaded timeline will function correctly, it is necessary to explore the feasible set of possible executions. While it is possible to test a timeline using a mission simulation, the complexity of the system and duration of a timeline limits the number of trials and therefore the test coverage. To address this problem, the VSM team is using a discrete event system model that can rapidly generate from a timeline sets of event sequences using Monte Carlo techniques. To achieve rapid and trustworthy checking of the event sequences, we use an offline version of the runtime model checking tool R2U2. This presentation describes the approach the VSM team is using to implement the discrete event simulation and evaluate event sequences using R2U2. The presentation will discuss: 1. Description of the timelines by VSM in the context of VSM operations 2. Expansion of a timeline into a sequence of atomic events 3. Adjustment, in the Monte Carlo environment, of an event sequence to account for uncertainty, external events, and failures 4. Definition of R2U2 input and mission-time linear temporal logic files 5. Generation and use of R2U2 verdict sequences 6. Lessons learned and future work

Verification↗