Search NASA⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20170004494

Spaceport Command and Control System Automated Verification Software Development

Backus, Michael W.
View original source ↗Export metadata ↓

Abstract

For as long as we have walked the Earth, humans have always been explorers. We have visited our nearest celestial body and sent Voyager 1 beyond our solar system1 out into interstellar space. Now it is finally time for us to step beyond our home and onto another planet. The Spaceport Command and Control System (SCCS) is being developed along with the Space Launch System (SLS) to take us on a journey further than ever attempted. Within SCCS are separate subsystems and system level software, each of which have to be tested and verified. Testing is a long and tedious process, so automating it will be much more efficient and also helps to remove the possibility of human error from mission operations. I was part of a team of interns and full-time engineers who automated tests for the requirements on SCCS, and with that was able to help verify that the software systems are performing as expected.

Explore related subjects

AutomationLCSSCCS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Backus, Michael W.. 2017-04-06. Spaceport Command and Control System Automated Verification Software Development. https://ntrs.nasa.gov/citations/20170004494

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

DOE OSTI2026

Graph theory inspired anomaly detection at the LHC

Designing model-independent anomaly detection algorithms for analyzing LHC data remains a central challenge in the search for new physics, due to the high dimensionality of collider events. In this work, we develop a graph autoencoder as an unsupervised, model-agnostic tool for anomaly detection, using the LHC Olympics dataset as a benchmark. By representing jet constituents as a graph, we introduce a method to systematically control the information available to the model through sparse graph constructions that serve as physically motivated inductive biases. Specifically, (1) we construct graph autoencoders based on locally rigid Laman graphs and globally rigid unique graphs, and (2) we explore the clustering of jet constituents into subjets to interpolate between high- and low-level input representations. We obtain the best performance, measured in terms of the Significance Improvement Characteristic curve for an intermediate level of subjet clustering and certain sparse unique graph constructions. We further investigate the role of graph connectivity in jet classification tasks. Our results demonstrate the potential of leveraging graph-theoretic insights to refine and increase the interpretability of machine learning tools for collider experiments.

Automation↗
DOE OSTI2025

Accelerating template generation in resonant anomaly detection searches with optimal transport

We introduce Resonant Anomaly Detection with Optimal Transport (RAD-OT), a method for generating signal templates in resonant anomaly detection searches. RAD-OT leverages the fact that the samples from the conditional probability density of the target features vary approximately linearly along the optimal transport path connecting the resonant feature. This does not assume that the conditional density itself is linear with the resonant feature, allowing RAD-OT to efficiently capture multimodal relationships, changes in resolution, etc. By solving the optimal transport problem, RAD-OT can quickly build a template by interpolating between the background distributions in two sideband regions. We demonstrate the performance of RAD-OT using the LHC Olympics R&D dataset, where we find comparable sensitivity and improved stability with respect to deep learning-based approaches.

Automation↗
NASA NTRS2018

Automated Collision Avoidance (ACA) and Automated Return to Course (ARTC) Requirement and Guidance Review: Final

This report's objectives were to review regulatory and guidance documents to identify requirements and considerations for the design and operation of automated systems that perform the functions of automated collision avoidance (ACA) and/or automated return to course (ARTC). The importance of this work is twofold: 1) to help focus efforts addressing new automated collision avoidance and return to course systems requirements and considerations, and 2) in pulling together available requirements from multiple sources, generate a master resource for these automated system requirements and considerations. Reviewed documents include regulations, industry standards and research papers that specifically address ACA and ARTC systems, other automatedl control and guidance systems, ICAO (International Civil Aviation Organization) and Eurocontrol documents.

Automation↗