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 tentative schedule of the workshop is below. It will be updated as new information is available.
Day 1 - Date TBD
| Speaker | Affiliation | Title | Start Time |
|---|---|---|---|
| TBD | TBD | TBD | TBD |
Day 2 - Date TBD
| Speaker | Affiliation | Title | Start Time |
|---|---|---|---|
| TBD | TBD | TBD | TBD |

DMS-R: ESA’s fault-tolerant flight computer used in ISS’ Zvezda module
This program is tentative and subject to change.
Tue 4 AugDisplayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 45mKeynote | Jack 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 | Sponsor Talk 3 Plenary Events | ||
13:10 20mTalk | Sponsor Talk 4 Plenary Events | ||
13:30 - 15:30 | |||
13:30 30mTalk | Failure Tolerance Capabilities of SpaceFibre DependSys | ||
14:00 30mTalk | From Security Primitives to Dependable Space Services: Integration Lessons from Embedded Testbeds DependSys Mohamed El-Hadedy California State Polytechnic University, Pomona | ||
14:30 30mTalk | Radiation-tolerant, dependable space computers, including CSP and SSP DependSys Alan George University of Pittsburgh | ||
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 | Keynote 6 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 | Sponsor Talk 5 Plenary Events | ||
13:10 20mTalk | Sponsor Talk 6 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 | BanquetPlenary Events | ||
17:30 90mSocial Event | Banquet Plenary Events | ||