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
Title | |
---|---|
Opening Remarks DependSys | |
Software-Based Redundancy Management for Cost Reductions in Highly Reliable Space-Based Computing DependSys |
This program is tentative and subject to change.
Thu 31 JulDisplayed time zone: Pacific Time (US & Canada) change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Plenary Events |
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Plenary Events |
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee Break Plenary Events |
Unscheduled Events
Not scheduled Talk | Software-Based Redundancy Management for Cost Reductions in Highly Reliable Space-Based Computing DependSys | ||
Not scheduled Talk | Opening Remarks DependSys |