Space Data Systems

Verification

CH 12 / 190 WORDSUNPUBLISHED

Why every irreversible command is checked twice before it runs.

In this chapter

  • Simulation and rehearsal
  • Formal thinking and deterministic reasoning
  • Validation pipelines
  • Deep dive — SDLS (Space Data Link Security)
  • Deep dive — SDLS Extended Procedures & key management