Research

The research agenda, the concrete research problems it targets, and the publications that come out of the project.

• Research agenda
  • The study question
  • The problem set
  • Where each problem lives
  • Milestone mapping (summary)
• Research problems
  • RP1 Portable partition semantics
  • RP2 Multi-channel interference
  • RP3 Fault containment and recovery
  • RP4 Faults caused by the space environment
  • RP5 Assurance portability
  • Status of all five
  • How problems feed documents
• Publications
  • Planned paper 1
    • “A Portable Partition Contract and Measurement Framework for
  • Planned paper 2
    • “Measuring Multi-Channel Interference on Heterogeneous Space
  • Planned paper 3
    • “Assumption Portability for Heterogeneous Flight Software
  • Relationship to the agenda