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


image

Accepted Papers

Title
Opening Remarks
DependSys
Software-Based Redundancy Management for Cost Reductions in Highly Reliable Space-Based Computing
DependSys

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 31 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00
08:30
45m
Keynote
Keynote 7
Plenary Events

09:15
45m
Keynote
Keynote 8
Plenary Events

10:00 - 10:30
10:00
30m
Coffee break
Coffee Break
Plenary Events

10:30 - 12:00
Session 1DependSys at CR1
12:00 - 13:00
12:00
60m
Lunch
Lunch
Plenary Events

13:00 - 14:30
Session 2DependSys at CR1
14:30 - 15:00
14:30
30m
Coffee break
Coffee Break
Plenary Events