Welcome to the first 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 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, designing new fault-tolerant algorithms to meet the needs of emerging missions, and enabling interoperability between popular fault-tolerant onboard networks.
The schedule for the workshop is still in flux. The table below will be updated with the speakers as more information becomes available.
Speaker | Affiliation | Title |
---|---|---|
Dr. Alwyn Goodloe | NASA LaRC | Verification of a Fault-Tolerant Network Reconfiguration Protocol |
Joseph Scillieri, Austin Stevens | The Charles Stark Draper Laboratory. | Software-Based Redundancy Management for Cost Reductions in Highly Reliable Space-Based Computing |
Brendan Hall, William T. Smithgall | NASA JSC and TTTech North America | A Synchronization Strategy for Deep Space Exploration |
Chinh Le | LeWiz Communications, Inc. | Addressing the Modern Mission Critical Networks and Their Interoperability |
Dr. Ravi Iyer | University of Illinois Urbana-Champaign | Achieving Resilience in Space with Modern Technology |