Welcome to the first annual Dependable Systems and Failure Tolerance Workshop, to be held on Thursday July 31st 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 make systems safe when increasingly pressured to reduce costs?”
The workshop will consist of invited talks from distinguished speakers across our community, each focusing on a different aspect of failure-tolerant avionic system design and working on different types of missions (e.g., space stations, launchers, military aero). Specific topics to be covered include using formal methods to prove the correctness of distributed algorithms and designing new fault-tolerant algorithms to meet the needs of emerging missions.
The tentative schedule of the workshop is below.
| Speaker | Affiliation | Title | Start Time |
|---|---|---|---|
| Opening remarks | 10:30 AM | ||
| Joseph Scillieri, Austin Stevens | The Charles Stark Draper Laboratory. | Software-Based Redundancy Management for Cost Reductions in Highly Reliable Space-Based Computing | 10:35 AM |
| Dr. Ravi Iyer, Jim Butler | University of Illinois Urbana-Champaign, JPL | Achieving Resilience in Space with Modern Technology | 11:05 AM |
| Dr. Alwyn Goodloe | NASA LaRC | Verification of a Fault-Tolerant Network Reconfiguration Protocol | 11:35 AM |
| Lunch Break | 12:00 PM | ||
| Brendan Hall, William T. Smithgall | NASA JSC and TTTech North America | A Synchronization Strategy for Deep Space Exploration | 1:00 PM |
| Chinh Le | LeWiz Communications, Inc. | Addressing Modern Mission Critical Networks and Their Interoperability | 1:30 PM |
Accepted Papers
Thu 31 JulDisplayed time zone: Pacific Time (US & Canada) change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Plenary Events | ||
10:30 - 12:00 | |||
10:30 5mTalk | Opening Remarks DependSys | ||
10:35 30mTalk | Software-Based Redundancy Management for Cost Reductions in Highly Reliable Space-Based Computing DependSys | ||
11:05 30mTalk | Achieving Resilience in Space with Modern Technology DependSys | ||
11:35 25mTalk | Verification of a Fault-Tolerant Network Reconfiguration Protocol DependSys Alwyn Goodloe NASA Langley Research Center | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Plenary Events | ||
13:00 - 14:30 | |||
13:00 30mTalk | A Synchronization Strategy for Deep Space Exploration DependSys | ||
13:30 30mTalk | Addressing Modern Mission Critical Networks and Their Interoperability DependSys | ||
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee Break Plenary Events | ||
- No members yet