Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CHECK”

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 1,117 records · Page 62

MESA: Message-Based System Analysis Using Runtime Verification

In this paper, we present a novel approach and framework for run-time verication of large, safety critical messaging systems. This work was motivated by verifying the System Wide Information Management (SWIM) project of the Federal Aviation Administration (FAA). SWIM provides live air traffic, site and weather data streams for the whole National Airspace System (NAS), which can easily amount to several hundred messages per second. Such safety critical systems cannot be instrumented, therefore, verification and monitoring has to happen using a nonintrusive approach, by connecting to a variety of network interfaces. Due to a large number of potential properties to check, the verification framework needs to support efficient formulation of properties with a suitable Domain Specific Language (DSL). Our approach is to utilize a distributed system that is geared towards connectivity and scalability and interface it at the message queue level to a powerful verification engine. We implemented our approach in the tool called MESA: Message-Based System Analysis, which leverages the open source projects RACE (Runtime for Airspace Concept Evaluation) and TraceContract. RACE is a platform for instantiating and running highly concurrent and distributed systems and enables connectivity to SWIM and scalability. TraceContract is a runtime verication tool that allows for checking traces against properties specified in a powerful DSL. We applied our approach to verify a SWIM service against several requirements.We found errors such as duplicate and out-of-order messages.

Message-based System↗

Building a QC Database of Meteorological Data From NASA KSC and the United States Air Force's Eastern Range

The National Aeronautics and Space Administration's (NASA) Marshall Space Flight Center (MSFC) Natural Environments Branch (EV44) has provided atmospheric databases and analysis in support of space vehicle design and day-of-launch operations for NASA and commercial launch vehicle programs launching from the NASA Kennedy Space Center (KSC), co-located on the United States Air Force's Eastern Range (ER) at the Cape Canaveral Air Force Station. The ER is one of the most heavily instrumented sites in the United States measuring various atmospheric parameters on a continuous basis. An inherent challenge with the large databases that EV44 receives from the ER consists of ensuring erroneous data are removed from the databases, and thus excluded from launch vehicle design analyses. EV44 has put forth great effort in developing quality control (QC) procedures for individual meteorological instruments; however, no standard QC procedures for all databases currently exist resulting in QC databases that have inconsistencies in variables, methodologies, and periods of record. The goal of this activity is to use the previous efforts by EV44 to develop a standardized set of QC procedures from which to build flags within the meteorological databases from KSC and the ER, while maintaining open communication with end users from the launch community to develop ways to improve, adapt and grow the QC database. Details of the QC checks are described. The flagged data points will be plotted in a graphical user interface (GUI) as part of a manual confirmation that the flagged data do indeed need to be removed from the archive. As the rate of launches increases with additional launch vehicle programs, more emphasis is being placed to continually update and check weather databases for data quality before use in launch vehicle design and certification analyses.

Brenton, James C.↗

Utilizing Testing Frameworks for Launch Control Systems Continuous Integration

Command and control software is an integral part of the launch procedure. The most important part of this type of software is its ability to communicate well with the user and relay information in a correctly formatted way such that the user can understand the data. There is a tool that aides the communication between the different parts of the system, and effectively, the user. This instrument is capable of taking several complex values and ensuring that they are correctly sorted into their distinctive message values and distributed properly among the different facets of the system. This tool will easily translate and publish the data inside of messages in the system to something that is readable and understandable. The tool also allows for transmission of the recorded data to the user, effectively ensuring the communication between different components of the system. As well as keeping track of messages and ensuring that the information contained within each of them reaches the correct location, this tool has the ability to keep track of its own statistics and determine how many messages passed in were erroneous and how many were successfully transmitted. It is able to check and see what the total message failure count is when an invalid message is given, as well as the number of different messages and their respective types passed into the tool. This tool is of great value to the new Space Launch System (SLS). As such, the tool must be thoroughly tested with test cases that, although improbable, are possible, where the tool may not function properly. Testing an interface this complex is necessary to ensure mission safety and create unlikely scenarios where the tool would work as intended, and stretch its limits to test that even under the most uncommon conditions it would still continue to function. This software will be an important part of the control system for the newest spacecraft which will fly deeper into space than humans have ever travelled. It will fly beyond the moon, into deep space to Mars and perhaps set the groundwork for a manned mission even further to create more opportunities for interplanetary and even interstellar travel by humans. This mission relies heavily on software and hardware to ensure the safety of the humans that will be on board and therefore must be checked, exhausting each and every different situation, such that there is not a doubt surrounding the well-being of the humans aboard the rocket. That is why testing is such an important part of the mission. It provides evidence that the systems aboard the rocket and on the launch pad are safe.

Unit Testing↗

Application of a Temperature-Dependent Load Prediction Method to a RUAG Six-Component Block-Type Balance

Temperature-dependent data of a RUAG six-component block-type balance was analyzed to assess the accuracy of two load prediction methods for temperature-dependent balance data. The supplied data was prepared for the analysis by splitting it into calibration and check load data subsets. The first calibration data subset was obtained at a temperature of 294 Kelvin. The second calibration data subset was obtained at a temperature of 315 Kelvin. A subset of 38 points was extracted from the second data set and used as check loads so that the accuracy of the two load prediction methods could be tested. First, the Iterative Method in combination with an extended independent and dependent variable set was used for the balance load prediction. This approach fits electrical outputs as a function of loads and the temperature and, afterwards, constructs a load iteration scheme from the regression coefficients so that loads can be predicted from outputs and the temperature during a wind tunnel test. The Non-Iterative Method was also used for the load prediction. This alternate method can more easily be implemented in a data system as loads are directly fitted as a function of electrical outputs and the temperature. Analysis results for the axial force are only discussed in the paper as similar results were obtained for the other five load components. Results for both methods clearly show that the cross-product term constructed from either a primary gage load or a primary gage output and the temperature explains the majority of the temperature-dependent part of the predicted balance load. This term models the temperature dependent nature of the gage sensitivity. Therefore, it is recommended to apply primary gage loadings at different temperatures during a balance calibration whenever temperature effects need to be described. These loadings will contain information about the temperature-dependent nature of the gage sensitivities that can be quantified by related cross-product terms in regression models of the data.

strain-gage balance↗

User Manual for Physical Scalars and Plotting Tools in Scala

An open-source scalar package and associated software tools have been developed in the Scala programming language, including plotting tools based on the free GRACE plotting package. The scalar package represents physical scalars and can help to prevent errors involving physical units in engineering and scientific computation. The scalar package includes a complete implementation of the standard SI metric system of units and many common non-metric units. The design also allows users to easily de ne a specialized or reduced set of physical units for any particular application or domain. The scalar package can be used in two different modes: one mode provides unit compatibility checking but is slower, and the other mode bypasses the compatibility checks but is much faster and still prevents the most common type of unit error. Switching between the two modes requires no changes in the user's code, making it convenient and usable with no significant performance penalty for even the most computationally intensive applications.

Paielli, Russell A.↗

Statistical Process Control and Capability Study on the Water Content Measurements in NASA Glenn's Icing Research Tunnel

The Icing Research Tunnel (IRT) at NASA Glenn Research Center follows the recommended practice for icing tunnel calibration outlined in SAE's ARP5905 document. The calibration team has followed the schedule of a full calibration every five years with a check calibration done every six months following. The liquid water content of the IRT has maintained stability within in the specifications presented to customers that the variation is within +/- 10% of the calibrated, target measurement. With recent measurements and instrumentation errors, a more thorough assessment of error source was desired. By constructing statistical process control charts, the ability to determine how the instrument varies in the short term, mid term, and long term was gained. The control charts offer a view of instrument error, facility error, or installation changes. It was discovered that there was a shift from target to mean baseline thus leading to the study of the overall capability indices of the liquid water content measuring instrument to perform within specifications defined in the IRT. This presentation describes data processing procedures for the Multi-Element Sensor in the IRT, including collision efficiency corrections, canonical correlation analysis, Chauvenet's Criterion for rejection of data, distribution check of data, and mean, median and mode for construction of control charts. Further data is presented to describe the repeatability of the IRT with the Multi-Element Sensor and the ability to maintain a stable process for the defined calibration schedule.

Timko, Emily N.↗

Polar Coding For Forward Error Correction In Space Communications With LDPC Comparisons

With the surging development of optical telecommunicationsfor space applications, the importance of errorcorrection has become more apparent than ever. Specifically,the exploration of forward error correction code (FEC) methodologieswill be instrumental in developing the standards foroptical communications in space. Despite the widespread useof low-density parity-check (LDPC) codes, alternate FEC codessuch as polar codes have shown immense promise in assistingspace communications error correction with their ability tobypass the error floors that plague LDPC codes. Extremelypromising techniques including cyclic redundancy checks (CRC),successive cancellation (SC), and successive cancellation lists(SCL) that assist polar coding in achieving the Shannon limitin a timely manner are evaluated. MATLAB simulations areconducted with AWGN and burst noise to test each technique'sability to handle noise typically encountered in space and eachtechnique's ability to correct unexpected errors. Results ofsimulations for different rates and message lengths are alsoreported to determine each technique's ability to handle largedata volumes and fix errors. Similar simulations are conductedfor LDPC codes with additional tests for convolutional and nointerleavers. Finally, a discussion regarding the future ability ofpolar codes to satisfy current missions in the place of, or inconjunction with, LDPC codes along with the merits of eachFEC technique's ability to process data efficiently and handledata while maintaining adequate performance will be provided.Preliminary recommendations will be made for each technique'seffectiveness for GEO related missions along with discussionsregarding each technique's ability to fit within the CCSDS standards for optical communications.

Polar Coding↗

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗

Feasibility of Earthbound Motion in Lunar Gravity

BACKGROUND: Marginal stability of astronaut movement while performing lunar surface tasks has been well documented, and is clearly demonstrated in videos of falls, and near falls, during Apollo Lunar Extravehicular Activities. Referencing mission reports from Apollo 15 and 16 [1, 2], suspected causes for falls include: surface conditions, visibility, and gravitational effects (hypogravity). In this preliminary test, we employ the open-source biomechanical tool OpenSim [3, 4] to analyze the impact of lunar gravity (Lg) on two object-pickup motions performed by a single shirt-sleeved subject. Specifically, we attempt to answer the following questions based on an estimation of the Center of Mass Projection (CoMP) and ground reaction force Center of Pressure (COP) as it relates to the astronaut Base of Support (BOS) for 1g and Lg conditions: 1. Is the task motion, as performed in 1g, dynamically feasible in 1g and Lg? 2. Can we make the motion dynamically feasible in Lg by slowing it down? 3. Is the Lg COP equal to the 1g COP at a theoretically predicted reduction in motion speed? METHODS AND RESULTS: To answer the first question, the gravitational acceleration in the OpenSim model is modified from a nominal 9.81 m/s2 to 1.64 m/s2, and the 1g joint trajectory is input to an OpenSim based method [5] for estimating ground reaction forces and moments. From this method, the position of the CoMP and COP can be estimated and checked to see if they remain within a simulated BOS formed from the footprint of the OpenSim model to determine whether the motion is dynamically feasible. As expected, both of the motions were estimated to be feasible in a 1g environment, however, both motions had periods of infeasibility in Lg. It is well known that crew members make adjustments to motion trajectories in altered gravity fields to maintain balance. As a first step, we considered the simple adjustment of slowing the motion in Lg by a constant factor. This was accomplished by scaling the time stamps in the motion trajectory file by that factor. For the two motions considered, it was found that scale factors of 1.3 and 1.4 kept the COP just within the subject BOS. The CoMP is unchanged by the gravity field. Simple analysis of an inverted pendulum in the Lg environment, which generalizes to a general multibody system, leads to a theoretical prediction that a reduction in speed factor of √1g/Lg, or 2.445, will make the COP trajectory in Lg equivalent to that in 1g. When the above procedure was performed with a factor of 2.445, the estimated COP in Lg, was observed to be very close to that in 1g. In summary, we have developed a method for estimating the CoMP and COP in Lg, for subject motion collected in 1g. We believe this method can prove to be a valuable check and balance for simulated Lg training and testing by exposing potential simulator-induced artifacts that make the simulated task motion seem possible, when in fact, it would violate the above criteria. We also note that a reduction in task speed should tend the task motion towards stability, with a theoretical slowdown factor of √1g/Lg making the motion stability equal to that in 1g according to the CoMP and COP criteria.

R K Huffman↗

Full Aerothermal Characterization of the NASA Glenn Research Center 9- by 15-Foot Low-Speed Wind Tunnel (2019 Test)

Following completion of the 9- by 15-Foot Low Speed Wind Tunnel acoustic improvement modification project, a characterization of the flow field throughout the 9- by 15-foot test section was conducted in 2019. The acoustic improvement modifications project included several large-scale tunnel loop modifications and reconstruction of the 9- by 15-Foot Low Speed Wind Tunnel test section and diffuser to decrease the noise floor in the test section. Data were collected at three cross-sectional planes in the 9- by 15-ft test section using a 15-foot traversing calibration rake and a set of eight boundary layer rakes. The data from the characterization test were used to generate calibration relationships for facility operation and understand the flow quality in the new test section, including uniformity, flow angularity, turbulence intensity, and boundary layer characteristics. Additionally, the subsonic quick check rake was used to baseline the check calibration data set for the new test section.

Wind↗

SLD Instrumentation in Icing Wind Tunnels – Investigation Overview

A collaborative effort to better understand cloud characterization probes in Supercooled Large Drop (SLD) conditions, as well the ability to simulate these conditions in several icing wind tunnels, was undertaken by NASA, NRCC, CIRA, ECCC, FAA and Met Analytics, Inc. Both drop sizing and liquid water content, LWC, were measured with various probes using current to emerging technologies. To ensure the best possible data quality from the newest probes, the probe manufacturers, SEA, Inc. and Artium, Inc. were invited to support testing and data analysis efforts. A common set of probes was identified to test in each of the three participating facilities: NRCC’s Altitude Icing Wind Tunnel, NASA’s Icing Research Tunnel and CIRA’s Icing Wind Tunnel. From the common set of probes, a subset were identified to use for comparison across the three facilities. These were the CDP-2 and 2D-S for drop sizing, and the Multi-wire for LWC. The LWC value was also checked by measuring the ice accretion thickness under hard rime conditions on a NACA-0012 airfoil. A common test matrix with sweeps in both LWC and median volume diameter, MVD, was developed. Each facility achieved these conditions as determined by their own calibration. The MVD ranged from 20 to at least 200 um, and LWC ranged from 0.5 to 3 g/m3. The comparison probes tested at common conditions in each facility were intended to allow for a direct comparison, and check of potential facility bias.

Icing Wind Tunnel↗

Microbial Monitoring of New Cleanrooms Used to Curate Astrobiologically Relevant Asteroid Samples from Bennu and Ryugu

Introduction: NASA has constructed two new cleanrooms to house materials from the OSRIS-REx and Hayabusa2 missions to the asteroids Ryugu (162173) and Bennu (101955), respectively. In accordance with standard astromaterials curation practices, these cleanrooms will be monitored for particulate contamination and maintained to ISO 5 equivalent standards1. Since the samples in these collections are expected to contain prebiotic organic compounds that may help explain the origin of life on Earth, these labs will also be monitored for organic and biological contamination2. Samples from Ryugu arrived on Earth in December, 2020. After basic characterization in Japan, NASA received a subset of these samples at the astromaterials curation facility in Houston in December of 2021. OSIRIS-REx is expected to return samples in September, 2023. Here we present preliminary microbial monitoring results from monthly monitoring of these new labs and the connected microtomy and staging areas that support them, as they are being commissioned. We also compare these results to baseline values for other astromaterials curation labs. We will also briefly describe additional cleaning efforts employed to reduce the bioburden in these new cleanrooms. Methods: Microbial samples were collected from surfaces using a dry macrofoam swab (Puritan Brand 2518051PFRNDFD). Swabs were also opened in the lab but not touched to any surfaces to function as negative controls. Samples and controls were processed inside a class II biosafety cabinet to avoid inadvertent cross contamination. The swabs were suspended in 15 ml of PBS (Phosphate Buffered Saline) and vortexed for 20 seconds to remove cells from the swab surface. The PBS was used to inoculate Petri dishes filled with TSA (Tryptic Soy Agar), Blood Agar, or Reasoners 2 agar to check for microbial growth. Each plate was inoculated with 0.1 ml of PBS. The TSA and blood agar plates were incubated at 35˚C and the Reasoners 2 agar plates were incubated at 25˚C for seven days. Petri dishes filled with Potato dextrose agar, Saboraud dextrose agar, or Saboraud dextrose agar with 0.1 mg/ml of chloramphenicol, an antibiotic, were used to check for fungal growth. These plates were inoculated with 0.3 ml of PBS and incubated at 30˚C. The remaining PBS was frozen at -80 ˚C for DNA sequencing. After incubation, isolates were counted and reisolated for identification. Isolates were identified using the VITEK23 system or by sequencing a portion of the 16S rRNA gene for bacteria or the ribosomal internal transcribed spacer (ITS) for fungi. Sequencing was performed with an ABI 3500 Sanger sequencer. Results: During our initial sampling, six of the seven sites sampled (86%) displayed bacterial or fungal growth. Samples collected from the staging areas and microtomy labs are not included in this calculation since those areas are maintained at a lower ISO 7 equivalent cleanliness standard. A month later, only three of the seven sites (43%) displayed bacterial growth. No fungal growth was detected in the second sampling. Since new equipment had been introduced to the Hayabusa2 lab since the first round of sampling, an additional three sampling sites were included in the second round of sampling. None of these sites displayed microbial growth. These sites will be included in all future sampling efforts. Bacterial isolates have been identified from the following genera at multiple time points: Micrococcus, Staphylococcus, and Bacillus. Isolates from the genera: Microbacterium, Nocardioides, Methylocystis, and Microvirga were identified in the initial sampling, but were not present at later time points. Identification of fungal isolates is in progress. Results are summarized in Table 1. Discussion: The recovery rate or percentage of positive samples4 was initially 86%, which is higher than the median recovery rate for comparable ISO 5 equivalent curation labs like Stardust (33%), Hayabusa (33%), and Cosmic Dust (50%). However, after a month of operation, the recovery rate for these same sites decreased to 43%, which is similar to what we observe in comparable curation cleanrooms with no microbial control requirements. Adding in the new sampling sites further decreases the recovery rate to 30%. With the reduction in recovery rate, we also observed a decrease in microbial diversity. At the first time point, we observed at least 10 different bacterial species and at least two different fungi. This is a higher diversity than the median values for comparable ISO 5 equivalent labs (2-4 isolates per sampling event). After the second sampling, we observed at least 4 bacterial species and no fungi, which is more consistent with comparable labs. We expect the recovery rate and diversity in both labs to continue to decrease as routine operation continues. We will use ultrapure hydrogen peroxide to disinfect equipment and work areas prior to opening any sample containers. Most of the bacterial and fungal isolates were detected on samples from the cleanroom floors. This is consistent with baseline results from other curation labs. Organisms from the genera Bacillus, Staphylococcus, and Micrococcus that were repeatedly detected are common in cleanrooms and on human skin5,6. These organisms are generally thought to be introduced when people enter the cleanroom. Microbacterium, Nocardioides, and Microvirga have also previously been identified in astromaterials cleanrooms, but not as frequently as Bacillus, Staphylococcus, and Micrococcus. Methylocystis is a novel genus in the astromaterials cleanrooms, but it was identified with low accuracy (93% match in the sequenced region of the 16S rRNA gene) and further work is needed to confirm this identification. Microbacterium is a diverse genus with isolates identified from terrestrial and aquatic sediments. Some species of Microbacterium are capable of degrading complex organic compounds found in crude oil. The presence of these bacteria in the OSIRIS REx and Hayabusa2 cleanrooms should be closely monitored. Methylocystis is a genus of methanotrophic bacteria capable of oxidizing methane. If this identification proves to be correct and it is detected again, it should be closely monitored as well. Under nominal operating conditions, samples should not ever encounter the cleanroom floor or other high traffic areas. If we observe an increase in the bioburden in sensitive work areas that appears to be influenced by organism transfer from high traffic areas like the floors, we can employ additional hydrogen peroxide treatments to disinfect high traffic areas. Routine microbial monitoring of these labs will ensure that NASA’s astromaterials collections remain pristine and useful for scientific study. Table 1. Sampling Locations and Colony Counts Bacterial CFUa Fungal CFU Bacterial CFU Fungal CFU Lab - Location 11/2/2021 11/2/2021 12/13/2021 12/13/2021 H2b-Floor 4 8 1 0 H2-staging pass through 3 0 0 0 H2-microtomy pass through TNTCc 0 0 0 H2 Microscope 1 NA NA 0 0 H2 Microscope 2 NA NA 0 0 H2-Table NA NA 0 0 OREXd- microtomy pass through 0 0 6 0 OREX – Anteroom pass through 0 0 0 0 OREX – Floor 1 2 0 0 OREX Witness Foil Table 3 0 1 0 Staging-Floor 16 0 15 0 Microtomy-Floor 3 0 2 0 a: CFU = Colony Forming Unit b: H2 = Hayabusa2 Lab c: TNTC = too numerous to count d: OREX = OSIRIS-REx Lab References: 1. ISO 14644-1:2015 - Cleanrooms and associated controlled environments -- Part 1: Classification of air cleanliness by particle concentration. 37 (2015). 2. McCubbin, F. M. et al. Space Sci Rev 215, (2019). 3. Pincus, D. H. Encyclopedia of Rapid Microbiological Methods (2005). 4. The United States Pharmacopeial Convention. USP General Chapter <1116> 17, 784–794 (2013). 5. Sheraba, N. S., Yassin, A. S. & Amin, M. BMC Research Notes 3, 278 (2010). 6. Utescher, C. L. de A., Franzolin, M. R., Trabulsi, L. R. & Gambale, V. Brazilian Journal of Microbiology 38, 710–716 (2007).

A B Regberg↗

First-Order Runtime Verification using BDDs

Runtime Verification (RV) expedites the analyses of execution traces for detecting system errors and for statistical and quality analysis. Having started modestly, with checking temporal properties that are based on propositional (yes/no) values, the current practice of RV often involves properties that are parametrized by the data observed in the input trace. The specifications are based on various formalisms, such as automata, temporal logics, rule systems, and stream processing. Checking execution traces that are data intensive against a specification that imposes strong dependencies between the data, poses a nontrivial challenges; in particular if runtime verification has to be performed online, while many events that carry data appear within small time proximities. Towards achieving this goal, it was recently suggested to represent relations over the observed data values, based on BDDs, where data elements are enumerated and then converted into bit vectors. This representation provided a very simple and natural extension of an RV algorithm from propositional to first-order LTL, but more importantly, was shown to contribute to the memory compactness and to the speed, as was demonstrated using a corresponding implementation. We extend here the capabilities of BDD-based RV with the ability to express timing constraints, where the monitored events include (integer) clock values. We show how to efficiently operate on BDDs that represent both relations on (enumerations of) values and time dependencies, as required by the addition of the time constraints. We demonstrate our algorithm with an efficient implementation and provide experimental results.

Peled, Doron↗

BDDs for Representing Data in Runtime Verification

A BDD (Boolean Decision Diagram) is a data structure for the compact representation of a Boolean function. It is equipped with efficient algorithms for minimization and for applying Boolean operators. The use of BDDs for representing Boolean functions, combined with symbolic algorithms, facilitated a leap in the capability of model checking for the verification of systems with a huge number of states. Recently BDDs were considered as an efficient representation of data for Runtime Verification (RV). We review here the basic theory of BDDs and summarize their use in model checking and specifically in runtime verification.

Peled, Doron↗

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con- trol its next near term behavior. We present a high-level view of the automated flight rule checker Frc for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there- fore be verified with a trace analysis tool. Frc is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con- text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

Kurklu, Elif↗

Test Section Characterization of the 9- by 15-Foot Low Speed Wind Tunnel

Following completion of the 9- by 15-Foot Low Speed Wind Tunnel acoustic improvement modification project, a characterization of the flow field throughout the 9- by 15-foot test section was conducted in 2019. The acoustic improvement modifications project included several large-scale tunnel loop modifications and reconstruction of the 9- by 15-Foot Low Speed Wind Tunnel test section and diffuser to decrease the noise floor in the test section. Data were collected at three cross-sectional planes in the 9- by 15-ft test section using a 15-foot traversing calibration rake and a set of eight boundary layer rakes. The data from the characterization test were used to generate calibration relationships for facility operation and understand the flow quality in the new test section, including uniformity, flow angularity, turbulence intensity, and boundary layer characteristics. Additionally, the subsonic quick check rake was used to baseline the check calibration data set for the new test section.

Calibration↗

Toward Enhancing the Use of IASI and CrIS Surface-Sensitive Radiances Over Land in the NASA GMAO GEOS Data Assimilation Framework

Assimilating surface-sensitive radiances over land is still challenging for both infrared (IR) and microwave (WV) radiances essentially because of the large uncertainties of the land physical surface emissivity model used in the Community Radiative Transfer Model (CRTM) and the uncertainties of land surface state properties. Currently very few IR radiances are assimilated over land. Large number of IR radiances are rejected by the surface sensitivity checks as well as the cloud detection check. In this study, we identified the appropriate Infrared Atmospheric Sounding Interferometer (IASI) and Cross-track Infrared Sounder (CrIS) surface-sensitive channels to retrieve Land Surface Temperature (LST). Then, we studied the impacts of these retrieved LST and retuned cloud detection on the simulation and assimilation of IASI and CrIS in the NASA GEOS in clear sky conditions. The preliminary results are shown to enhance the rate of IASI and CrIS assimilated channels over land. The impacts on the quality of the resulting analysis and subsequent forecast will be presented at the meeting.

Niama Boukachaba↗

Toward Improving the Assimilation of IASI and CrIS Radiances Over Land Into the NASA GEOS: LST Inversion and Validation

Assimilating surface-sensitive radiances over land is still challenging for both infrared (IR) and microwave (WV) essentially because of the large uncertainties of the land physical surface emissivity model used in the CRTM and the uncertainties of land surface state properties. Currently very few IR radiances are assimilated over land in the NASA Goddard Earth Observing System (GEOS). Large number of radiances are rejected by the emissivity sensitivity check as well as the Cloud detection check. This study focuses on enhancing the assimilation of Infrared Atmospheric Sounding Interferometer (IASI) and Cross-track Infrared Sounder (CrIS) over land in the GEOS forecasting and data assimilation framework. To reach this goal, the Land surface Temperature (LST) is first inverted using IR radiances from IASI and CrIS selected channels to use it as surface boundary parameter for the assimilation of the rest of IASI and CrIS surface-sensitive channels. This work will present a full assessment of the quality of this LST by comparing it and its spatio-temporal variability to LST predicted by the GEOS model. The impacts on the quality of the resulting analysis and subsequent forecast will also be discussed.

Niama Boukachaba↗