Dependable and Failure-Tolerant Systems 2026DependSys 2026
Welcome to the second annual Dependable Systems and Failure Tolerance Workshop, to be held in conjunction with the IEEE Space Computing Conference (SCC). The goal of the workshop is to bring together the NASA avionics community, industry, and academia to share new techniques for increasing the resilience of spacecraft and other safety-critical systems, as well as to discuss some of the most significant challenges facing the discipline. The overall theme of this year’s workshop is “how do we leverage existing standards to achieve the ambitious goals and accelerated timelines set by NASA leadership and the aerospace industry for future missions?"
The workshop will take place over two days. Both will consist of a variety of invited talks, as well as an interactive discussion/activity. The first day will be used for general topics related to designing systems for dependability and failure tolerance. This includes presentations on new Byzantine fault-tolerant architectural techniques and the use of formal methods for assurance. The second day will be focused entirely on Time-Sensitive Networking (TSN). A variety of speakers will discuss their use of TSN for crewed or robotic spaceflight missions, as well as issues they have faced (e.g., with standards gaps, HW availability).
The schedule of the workshop is below.
Day 1 - Tuesday Aug. 4
| Speaker | Affiliation | Title | Time Slot |
|---|---|---|---|
| Andrew Loveless | NASA | Introduction | 10:30-10:35 |
| Kevin Driscoll | NASA/Amentum | Murphy Was An Optimist | 10:35-11:30 |
| Jonathan Vander Vilet | Northrop Grumman | Evaluating HPSC and TSN Use in Fault-Tolerant Computing | 11:30-12:00 |
| Lunch | 12:00-1:30 | ||
| Mohamed El-Hadedy | Cal Poly Pomona | From Security Primitives to Dependable Space Services | 1:30-2:00 |
| Alan George | University of Pittsburgh | Radiation-tolerant, dependable space computers, including CSP and SSP | 2:00-2:30 |
| Steve Parkes | STAR-Dundee | Failure Tolerance Capabilities of SpaceFibre | 2:30-3:00 |
| Chris Walter | WWTechnology | The Golden Hammer Trap in Space Computing | 3:00-3:30 |
| Coffee Break | 3:30-4:00 | ||
| Brendan Hall | Ardent Innovation Labs | Architecturally-Centric Property-Driven Assurance | 4:00-4:30 |
| Expert Panel Discussion | Various | Bob Hodson, Chris Walter, Brendan Hall, Kevin Driscoll | 4:30-5:30 |
Day 2 (TSN Day) - Wednesday Aug. 5
| Speaker | Affiliation | Title | Time Slot |
|---|---|---|---|
| Mike Thielman | JPL | Introduction | 10:30-10:45 |
| Kevin Driscoll | NASA/Amentum | Error Detection Coverage in Avionics Ethernet Networks | 10:45-11:30 |
| Chinh Le | Lewiz | Standards for Bridging TSN to Aerospace Networks | 11:30-11:45 |
| Michael Hegarty | DDC | Challenges in Development of TSN Ethernet Products | 11:45-12:00 |
| Lunch | 12:00-1:30 | ||
| Tao Lang | Microchip | Converged Compute and TSN Architectures for Space Edge Computing | 1:30-2:15 |
| Rob Proctor | RTI | Data Distribution Service Use in Space Based Applications | 2:00-2:30 |
| Kyle Benson | RTI | Architecting Fault-Tolerant Systems via TSN and Data Distribution Service | 2:30-3:00 |
| Tom Hood | RTI | Certification Challenges using DDS in Safety-Critical Applications | 3:00-3:30 |
| Coffee Break | 3:30-4:00 | ||
| Lauren White | NASA | Dual Byzantine-Tolerant Time Agreement Generation and Propagation | 4:00-4:30 |
| Brendan Hall | Ardent Innovation Labs | Lessons learned from S3 / Applications to TSN | 4:30-5:00 |
| Roundtable Discussion | Various | 5:00-5:30 |

DMS-R: ESA’s fault-tolerant flight computer used in ISS’ Zvezda module
Tue 4 AugDisplayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 45mKeynote | Harrison Schmitt Plenary Events | ||
09:15 45mKeynote | Adam Thurn Plenary Events | ||
10:00 - 10:20 | |||
10:00 20mCoffee break | Coffee Break Plenary Events | ||
10:20 - 11:50 | |||
10:20 5mTalk | Introduction DependSys | ||
10:25 55mTalk | Murphy Was An Optimist DependSys | ||
11:20 30mTalk | Evaluating HPSC and TSN Use in Fault-Tolerant Computing DependSys | ||
11:50 - 12:50 | |||
11:50 60mLunch | Lunch Break Plenary Events | ||
12:50 - 13:30 | |||
12:50 20mTalk | AMD Plenary Events | ||
13:10 20mTalk | Power Device Plenary Events | ||
13:30 - 15:30 | |||
13:30 30mTalk | From Security Primitives to Dependable Space Services: Integration Lessons from Embedded Testbeds DependSys Mohamed El-Hadedy California State Polytechnic University, Pomona | ||
14:00 30mTalk | Radiation-tolerant, dependable space computers, including CSP and SSP DependSys Alan George University of Pittsburgh | ||
14:30 30mTalk | Failure Tolerance Capabilities of SpaceFibre DependSys | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Plenary Events | ||
16:00 - 17:30 | |||
16:00 30mTalk | Architecturally-Centric Property-Driven Assurance DependSys | ||
16:30 60mPanel | Panel Discussion DependSys | ||
Wed 5 AugDisplayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 45mKeynote | Ian Maddox Plenary Events | ||
09:15 45mKeynote | Melanie Berg Plenary Events | ||
10:00 - 10:20 | |||
10:00 20mCoffee break | Coffee Break Plenary Events | ||
10:20 - 11:50 | |||
10:20 15mTalk | Introduction DependSys | ||
10:35 45mTalk | Error Detection Coverage in Avionics Ethernet Networks DependSys | ||
11:20 15mTalk | Standards for Bridging TSN to Aerospace Networks DependSys | ||
11:35 15mTalk | Challenges in Development of TSN Ethernet Products DependSys | ||
11:50 - 12:50 | |||
11:50 60mLunch | Lunch Break Plenary Events | ||
12:50 - 13:30 | |||
12:50 20mTalk | HyperX Logic Plenary Events | ||
13:10 20mTalk | Magics Tech Plenary Events | ||
13:30 - 15:30 | |||
13:30 45mTalk | Converged Compute and TSN Architectures for Space Edge Computing and Aerospace Certification DependSys Tao Lang Microchip Technology Inc. | ||
14:15 15mTalk | Data Distribution Service Use in Space Based Applications DependSys Rob Proctor Real-Time Innovations, Inc. | ||
14:30 30mTalk | Architecting Fault-Tolerant Systems via TSN and Data Distribution Service DependSys | ||
15:00 30mTalk | Certification Challenges using DDS in Safety-Critical Applications DependSys | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Plenary Events | ||
16:00 - 17:30 | |||
16:00 30mTalk | Dual Byzantine-Tolerant Time Agreement Generation and Propagation DependSys Lauren White NASA | ||
16:30 30mTalk | Lessons learned from S3 / Applications to TSN DependSys | ||
17:00 30mPanel | Roadmap for IEEE 802.1DP Deployment DependSys | ||
17:30 - 19:00 | |||
17:30 90mSocial Event | Kareem Badaruddin Plenary Events | ||