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 calculating worst-case performance bounds in the presence of faulty components, using formal methods to prove the correctness of distributed algorithms, the development of new synchronization protocols for time-triggered networks, and verifying the correctness of software and network configuration tables.
The schedule for the workshop is still in flux. The table below will be updated with the speakers as more information becomes available.
| Speaker | Title |
|---|---|
| TBD | TBD |
- No members yet