PROGRAM
Days: Tuesday, July 18th Wednesday, July 19th Thursday, July 20th Friday, July 21st
Tuesday, July 18th
View this program: with abstractssession overviewtalk overview
08:30-09:15 Session 2: Keynote: Laurie Leshin
Location: Baxter Lecture Hall
| 08:30 | Dare Mighty Things Together (abstract) |
09:15-10:00 Session 3: Keynote: Katherine Bouman
Location: Baxter Lecture Hall
| 09:15 | Exploring Space to Further Extract Science from Black Hole Images (abstract) |
10:00-10:15 BREAK
Location: Dabney
10:15-11:45 Session 4A: Workshop: Addressing Assurance Challenges in Space Autonomy
Location: Baxter Classroom
| 10:15 | Autonomy for Space Robots: Past, Present, and Future (abstract) |
| 10:45 | TBA (abstract) |
| 11:15 | Increasingly Autonomous Perception and Decision Systems for Advanced Air Mobility (abstract) |
10:15-11:45 Session 4B: Workshop: Applications for In-Space Assembly and Servicing
Chair:
Location: Noyes(Small)
| 10:15 | Brief Introduction on Workshop (abstract) |
| 10:20 | In Space Servicing, Assembly, and Manufacturing Current Status and Envisioned Future (abstract) |
| 10:45 | Demonstrating In-space Assembly and Servicing Technologies on the Ground and in Space (abstract) |
| 11:10 | In-Space Servicing as a Scientific Capability (abstract) |
10:15-11:45 Session 4C: Workshop: 4th Augmented, Virtual, and Mixed Realities
Location: Gates Annex
| 10:15 | Workshop Introduction and Welcome (abstract) |
| 10:30 | AR / VR and DE State of Industry: Where We Are and Where We Are Heading (abstract) |
| 11:00 | eXtended Reality for Enhanced Lunar Exploration Missions (abstract) |
10:15-11:45 Session 4D: SCC: Computing Architectures
Computing Architectures: reconfigurable computing systems, high performance space computing, fault-tolerant design, system on a chip and embedded memories, GPU-based computing, effective use of many-core processor platforms; heterogenous computing, in-memory computing, performance analysis, benchmarking.
Chairs:
Location: Spalding Lecture Hall
| 10:15 | Radically Advancing the Capabilities of Space-based Computing (abstract)  |
| 10:45 | High-Performance Embedded Space Computing System-on-Chip for space imaging spectrometer (abstract) |
| 11:15 | Sponsored Talk (Avalanche): True Mission Adaptability Enabled by Combination of new Adaptive SoCs and Idealized Memory Buffers (abstract) |
10:45-11:45 Session 5: SCC: Components, Radiation, Packaging
Components, Radiation, and Packaging: emerging component, module, and packaging technologies that will advance space computing capabilities; radiation test methods for and results on complex components; use of COTS parts in high-reliability applications.
Chairs:
Location: Baxter Lecture Hall
| 10:45 | Microcircuit Standards for Space Missions (abstract) |
| 11:15 | Sponsored Talk (Aril): A High Speed, Reliable, Low Voltage SRAM for Efficient Compute (abstract) |
11:45-13:30 LUNCH
Location: Dabney
13:30-15:30 Session 6A: Workshop: Addressing Assurance Challenges in Space Autonomy
Location: Baxter Classroom
| 13:30 | TBA (abstract) |
| 14:00 | So you want to put a neural network in an airplane... Are you crazy? (abstract) |
| 14:30 | Assurance of Learning-enabled Autonomous Systems (abstract) |
| 15:00 | Operational Test and Evaluation for Safety-Critical Autonomous Systems: Progress, Challenges, and Opportunities (abstract) |
13:30-15:30 Session 6B: Workshop: Applications for In-Space Assembly and Servicing
Chair:
Location: Noyes(Small)
| 13:30 | Panel Discussion (abstract) |
| 14:30 | Architectural Considerations for Servicing the Habitable Worlds Observatory (abstract) |
| 14:55 | Possibilities and challenges for forging a path to serviceable observatories at L2 (abstract) |
13:30-15:30 Session 6C: Workshop: 4th Augmented, Virtual, and Mixed Realities
Location: Gates Annex
| 13:30 | IMAP Spacecraft and Instruments in Virtual Reality (abstract) |
| 14:00 | AR / VR and DE: Current Challenges to Adoption (abstract) |
| 14:30 | Group Discussion (abstract) |
13:30-15:00 Session 6E: SCC: Components, Radiation, Packaging
Chairs:
Location: Baxter Lecture Hall
| 13:30 | Modernization of FPGA Risk Analysis for Critical Space Applications (abstract) |
| 14:00 | GR765 SPARC and RISC-V Multiprocessor System-on-Chip (abstract) |
| 14:30 | Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases (abstract) |
13:30-15:30 Session 6F: SCC: Computing Architectures
Chairs:
Location: Spalding Lecture Hall
| 13:30 | Performance Evaluation of the Radiation-Tolerant NVIDIA Tegra K1 System-on-Chip (abstract)  |
| 14:00 | Performance modeling of a heterogeneous computing system based on the UCIe Interconnect Architecture (abstract) |
| 14:30 | Sponsored Talk (Star-Dundee): SpaceFibre for Spaceflight Payload Data-Handling and Efficient Inter-Processor Communication (abstract) |
| 15:00 | Optimization of ARM Processor Architecture for Space Computing Performance with SAMRH7x MCU Family (abstract) |
15:00-15:30 Session 7: SCC: Extreme Environments
Chairs:
Location: Baxter Lecture Hall
| 15:00 | Silicon-Carbide Hybrid One-Bit Microcontroller in a Transport-Triggered Architecture (abstract) |
15:30-15:45 BREAK
Location: Dabney
15:45-16:45 Session 8A: Workshop: Addressing Assurance Challenges in Space Autonomy
Location: Baxter Classroom
| 15:45 | TBA (abstract) |
| 16:15 | Closing Remarks Day 1 (abstract) |
15:45-16:45 Session 8B: Workshop: Applications for In-Space Assembly and Servicing
Chair:
Location: Noyes(Small)
| 15:45 | Increasing Mission Success and Service Life through Robotic Servicing (abstract) |
| 16:10 | Utilizing Standardized Interfaces for Servicing Space Missions (abstract) |
| 16:35 | Ending Remarks (abstract) |
15:45-16:45 Session 8C: Workshop: 4th Augmented, Virtual, and Mixed Realities
Location: Gates Annex
| 15:45 | Workshop Recap, Closing Remarks, & Action Items (abstract) |
| 16:00 | Demo of VR Spacecraft Magnetic Field Visualization (abstract) |
17:00-17:45 Session 9: Sponsored Talk: Microchip
Title: Enabling Scalable Computing Solutions for Space Applications with the Microchip portfolio
Abstract:
As a leading provider of microcontrollers, microprocessors and FPGAs for space applications, Microchip is at the center of spacecraft systems, providing advanced space-qualified computing solutions. This presentation will provide an overview of our scalable Microchip portfolio capable of supporting space applications from the traditional space missions with extreme radiation and quality requirements, to new space solutions which require flexibility and cost efficiency.
Speakers: TBC
Location: Baxter Lecture Hall
17:45-19:00 Session 10: Reception/Poster Session
Poster Session
Location: Dabney
Voice Control System for Human Spaceflight (abstract) |
AI and Data-Driven In-situ Sensing for Space Digital Twin (abstract) |
Sequential Deep Learning for Mars Autonomous Navigation (abstract) |
Development of a Nanosatellite System Modeling Architecture for EIRSAT-1 (abstract) PRESENTER: Sai Krishna Reddy Akarapu |
Benchmark Computer Performance for Wavefront Sensing and Control on Next Generation Space Telescopes (abstract) |
Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems (abstract) |
Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases (abstract) |
Development of a GPU based Single Board Computer for Space Applications (abstract) |
[Space Robotics Workshop] Resilient Exploration And Lunar Mapping System: A ROS 2 Multi-Robot SW Solution for Lunar Exploration (abstract) |
[Space Robotics Workshop] CSP2Turtle: Verified Turtle Robot Plans (abstract) |
[Space Robotics Workshop] Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal (abstract) |
[Space Robotics Workshop] Integrating Formal Verification and Assurance: An Inspection Rover Case Study (abstract) |
Wednesday, July 19th
View this program: with abstractssession overviewtalk overview
08:30-09:15 Session 12: Keynote: Bethany Ehlmann
Location: Baxter Lecture Hall
| 08:30 | Space Computing Needs for 21st Century Planetary Science and Exploration (abstract) |
10:00-10:15 BREAK
Location: Dabney
10:15-11:45 Session 14A: Workshop: Acknowledging and Alleviating Uncertainties in Autonomous Systems
Location: Baxter Classroom
| 10:15 | Introduction (abstract) |
| 10:30 | Planning and Control under Uncertainty for Planetary Lander Payload Offloading (abstract) |
| 11:00 | Uncertainty in Servicing and Assembly Tasks for Space Robotic Manipulators (abstract) PRESENTER: John Cooper |
| 11:30 | Discussion (abstract) |
10:15-11:45 Session 14B: Workshop: Space Robotics Software
Location: Gates Annex
| 10:15 | Building the Next Generation of Space Software (abstract) |
| 10:45 | Remote Robotic Operations Supporting Human Space Exploration (abstract) |
| 11:15 | The BRASH Toolkit for ROS2 and Flight Software Interoperability (abstract) |
10:15-11:45 Session 14C: SMC-IT: Security
Chair:
Location: Spalding Lecture Hall
| 10:15 | WannaFly: An Approach to Satellite Ransomware (abstract) |
| 10:45 | Space Flight Software Security Concerns (abstract) |
| 11:15 | Sponsored Talk (LeWiz Communications): Critical Issues in Future Space Systems (abstract) |
10:15-11:45 Session 14D: SCC: Flight Data Processing
Chairs:
Location: Baxter Lecture Hall
| 10:15 | System model evaluation of RISC-V cores for improved performance and fault tolerance (abstract) |
| 10:45 | Beamforming Implementation for Space-Based RF Payloads using AMD Versal™ Adaptive Compute Acceleration Platforms (abstract) |
| 11:15 | Sponsored Talk (Synopsys): Microelectronics Design Support for Radiation Environments (abstract) |
11:45-13:30 LUNCH
Location: Dabney
13:30-15:00 Session 15A: SMC-IT: Security
Chair:
Location: Spalding Lecture Hall
| 13:30 | How to Scrub a Launch: Spaceport Cybersecurity (abstract) PRESENTER: Luke Korth |
| 14:00 | Web-based 3D Visualization for Flight Mission Network Cybersecurity Analysis (abstract) |
| 14:30 | Sponsored Talk (Mirabilis): System design using VisualSim to optimize Power-Performance-Area and identify vulnerabilities. (abstract) |
13:30-15:00 Session 15B: Workshop: Acknowledging and Alleviating Uncertainties in Autonomous Systems
Location: Baxter Classroom
| 13:30 | Trustworthiness of a Surrogate Model for Assembly Sequencing of Space Structures (abstract) |
| 14:00 | Managing Model Uncertainty, Disturbances, and operational Space Characteristics Using Control Barrier and Lyapunov Functions (abstract) |
| 14:30 | Managing Uncertainties via Preconditioning Problem Complexity (abstract) |
13:30-15:00 Session 15C: Workshop: Space Robotics Software
Location: Gates Annex
| 13:30 | Sample Recovery Helicopter manipulation architecture and the unique decisions driven by being an autonomous system. (abstract) |
| 14:00 | Operational challenges for robots in the lunar environment: implications for software development (abstract) |
| 14:30 | To Boldly Go Where No Robots Have Gone Before – EELS Robot to Spearhead a New Space Exploration Paradigm of Diving into the Unknowns (abstract) |
13:30-15:00 Session 15D: SCC: Flight Data Processing
Chairs:
Location: Baxter Lecture Hall
| 13:30 | Challenges in FPGA Design for Complex, High Performance Space Applications (abstract) |
| 14:00 | HPC in a Vacuum: Evaluating Future Space Microprocessors (abstract) |
| 14:30 | Sponsored Talk (SiFive): RISC-V Solutions for Space (abstract) |
13:30-15:00 Session 15E: Symposium: XAI and Space Clouds
Location: Guggenheim
| 13:30 | Welcome and introductory comments (abstract) |
| 13:35 | AI and Machine Learning from Back of the Napkin Sketch to Rovers on Mars (abstract) |
| 13:55 | Auditing Black Boxes: Model-Agnostic Explanations and Testing of Machine Learning (abstract) |
| 14:15 | Coupling Intelligent Exploration and Generative AI (abstract) |
| 14:35 | Panel Discussion: Explainable AI (abstract) |
15:00-15:15 BREAK
Location: Dabney
15:15-17:15 Session 16A: Workshop: Acknowledging and Alleviating Uncertainties in Autonomous Systems
Location: Baxter Classroom
| 15:15 | Designing a Robust Mars Landing amidst Uncertainty (abstract) |
| 15:45 | Panel and Open-Mic Discussion (abstract) |
15:15-17:15 Session 16B: Workshop: Space Robotics Software
Location: Gates Annex
| 15:15 | Software Considerations for ISAM Robotics Capabilities (abstract) |
| 15:45 | The Future of Space Robotics Panel (abstract) |
15:15-17:15 Session 16C: SMC-IT: Autonomy and Learning
Chair:
Location: Spalding Lecture Hall
| 15:15 | Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents (abstract) PRESENTER: Nathaniel Hamilton |
| 15:45 | The DART Autonomy System (abstract) |
| 16:15 | Intelligent requirement-to-test-case traceability system via Natural Language Processing and Machine Learning (abstract) |
| 16:45 | Sponsored Talk (AMD): AI Inferencing in AMD Versal Adaptive SoCs (abstract) |
15:15-16:15 Session 16D: SCC: Flight Data Processing
Chairs:
Location: Baxter Lecture Hall
| 15:15 | A System to Provide Deterministic Flight Software Operation and Maximize Multicore Processing Performance: The Safe and Precise Landing – Integrated Capabilities Evolution (SPLICE) Datapath (abstract) |
| 15:45 | The ring-buffer ROS2 executor: a novel approach for real-time ROS2 Space applications. (abstract) |
15:15-16:45 Session 16E: Symposium: XAI and Space Clouds
Location: Guggenheim
| 15:15 | Considerations in Architecting Data-Driven Observing Systems for Space (abstract) |
| 15:35 | Cloud Storage and Computing in Deep Space as Catalysts for Scientific Discovery (abstract) |
| 15:55 | Space-based Clouds for Intelligence, Surveillance, and Reconnaissance Applications (abstract) |
| 16:15 | Panel Discussion: Space Clouds (abstract) |
| 16:40 | Concluding Remarks (abstract) |
16:15-17:15 Session 17: SCC: Distributed Computing
Chairs:
Location: Baxter Lecture Hall
| 16:15 | ScOSA on the Way to Orbit: Reconfigurable High-Performance Computing for Spacecraft (abstract) |
19:00-20:00 Session 18: Dessert Talk: Matt Greenhouse
Location: Athenaeum
| 19:00 | The James Webb Space Telescope Mission (abstract) |
Thursday, July 20th
View this program: with abstractssession overviewtalk overview
08:30-09:15 Session 20: Keynote: Richard "Scott" Erwin
Location: Baxter Lecture Hall
| 08:30 | Perspectives on The Future of Space Computing for Military Space Missions (abstract) |
09:15-10:00 Session 21: Panel: Carolyn Mercer, Victoria DaPoian, Lukas Mandrake, Florence Tan -- A View Towards On-Board Computationally Intensive Science Missions
Location: Baxter Lecture Hall
10:00-10:15 BREAK
Location: Dabney
10:15-11:45 Session 22A: SMC-IT: Onboard Operations
Location: Spalding Lecture Hall
| 10:15 | Modeling Data of Planetary Instrument for X-ray Lithochemistry (PIXL) for Mars 2020 (abstract) |
| 10:45 | MUSTANG: A Workhorse for NASA Spaceflight Avionics (abstract) |
| 11:15 | A data pre-processing module for improved-accuracy Machine-Learning-based micro-Single-Event-Latchup detection (abstract) |
10:15-11:45 Session 22B: Workshop: Addressing Assurance Challenges in Space Autonomy
Location: Baxter Classroom
| 10:15 | Summary of discussion points (abstract) |
| 10:45 | Panel discussion: Solved, within reach, and long term challenges (abstract) |
10:15-11:45 Session 22C: Workshop: Open Source for Space
Location: Gates Annex
| 10:15 | Finding Pragmatic Steps to Building Dependable Systems with Open Source (abstract) |
| 11:15 | Open...ESA: Experience with open source and open ISA at the European Space Agency (abstract) |
10:15-11:45 Session 22D: Workshop: Space Trusted Autonomy Readiness Levels
Location: Noyes(Small)
| 10:15 | Introduction to Trust Readiness Levels (abstract) |
| 10:30 | Ethical Scenario (abstract) |
| 10:45 | Breakout Discussion on Trust Readiness Level 1 Artifacts and Metrics (abstract) |
| 11:30 | Group Outbriefs (abstract) |
10:15-11:45 Session 22E: SCC: Avionics Systems
Chairs:
Location: Baxter Lecture Hall
| 10:15 | SpaceVPX Interoperability (abstract) |
| 10:45 | Time Sensitive Networking (TSN) Brings Resilient and Low Latency Ethernet to Space (abstract) |
| 11:15 | Sponsored Talk (AlphaData): FPGA based Adaptive Computers for Space (abstract) |
11:45-13:00 LUNCH
Location: Dabney
13:00-14:30 Session 23A: SMC-IT: Verification and Reliability
Chair:
Location: Spalding Lecture Hall
| 13:00 | Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts (abstract) |
| 13:30 | A Hybrid Space Architecture for Robust and Resilient Satellite Services (abstract) |
| 14:00 | Availability Vs. Lifetime Trade-Space In Spacecraft Computers (abstract) |
13:00-15:00 Session 23B: Workshop: Addressing Assurance Challenges in Space Autonomy
Location: Baxter Classroom
| 13:00 | Definition of a roadmap to address trust challenges in space autonomy (abstract) |
| 14:30 | Closing Remarks and action items Day 2 (abstract) |
13:00-15:00 Session 23C: Workshop: Open Source for Space
Location: Gates Annex
| 13:00 | Dynamic Assurance Cases with AdvoCATE (abstract) |
| 13:30 | (Title to be confirmed) (abstract) |
| 14:00 | Slingshot and SatCat5 Overview (abstract) |
| 14:30 | openCAESAR: A Platform for Semantically Rigorous and Agile MBSE Practices (abstract) |
13:00-15:00 Session 23D: Workshop: Space Trusted Autonomy Readiness Levels
Location: Noyes(Small)
| 13:00 | Quick Re-Introduction to Trust Readiness Levels, Morning Recap (abstract) |
| 13:15 | Aerospace Human/Automation Dissonance Examples (abstract) |
| 13:30 | Breakout Discussion on Trust Readiness Level 2 Artifacts and Metrics (abstract) |
| 14:15 | Group Outbriefs (abstract) |
13:00-14:30 Session 23E: SCC: Avionics Systems
Chairs:
Location: Baxter Lecture Hall
| 13:00 | Trustworthy Autonomy for Gateway Vehicle System Manager (abstract) |
| 13:30 | Robots capable of human-level manipulation are key to industrial space viability and the commercial space economy (abstract) |
| 14:00 | Sponsored Talk (Teledyne): Teledyne e2v Edge Processing Solutions : Manufacturing Flow, Radiation Testing strategies and Space Use cases (abstract) |
14:30-15:00 Session 24A: SCC: Crew Interfaces
Chairs:
Location: Baxter Lecture Hall
| 14:30 | Computer Human Interface Challenges in Space Exploration (abstract) |
14:30-15:00 Session 24B: SCC: Components, Radiation, Packaging
Chairs:
Location: Spalding Lecture Hall
| 14:30 | SEFI Mitigation Middleware Radiation Test Results for NASA and Other GPU Applications (abstract) |
15:00-15:15 BREAK
Location: Dabney
15:15-16:45 Session 25A: Workshop: Open Source for Space
Location: Gates Annex
| 15:15 | Autonomous Robotic Manipulation with Space ROS (abstract) |
| 15:45 | Towards a common robotics simulator for lunar environments? (abstract) |
| 16:15 | TBD (abstract) |
15:15-16:45 Session 25B: Workshop: Space Trusted Autonomy Readiness Levels
Location: Noyes(Small)
| 15:15 | Choose Your Own Adventure - Group decides deep dive area (abstract) |
| 15:30 | Breakout Discussions (abstract) |
| 16:15 | Group Outbriefs (abstract) |
| 16:30 | Workshop Summary and Next Steps (abstract) |
15:15-17:15 Session 25C: SCC: Crew Interfaces
Chairs:
Location: Baxter Lecture Hall
| 15:15 | Establishing Trust in NASA’s Artemis Campaign Computer-Human Interface (CHI) Implementation (abstract) |
| 15:45 | The Callisto Technology Demonstration: COTS Crew Interfaces aboard Artemis I (abstract) |
| 16:15 | An Examination of the Radiation Tolerance of Electronic Displays For Future Crewed Missions (abstract) |
| 16:45 | Towards A Radiation-Tolerant Display System (abstract) |
15:15-16:45 Session 25D: SCC: Machine Learning
Chairs:
Location: Spalding Lecture Hall
| 15:15 | Battery Management System for On-Board Data-Driven State of Health Estimation for Aviation and Space Applications (abstract) |
| 15:45 | A High Performance Software Approach to enabling Artificial Intelligence On-Board for Image processing applications (abstract) |
Friday, July 21st
View this program: with abstractssession overviewtalk overview