Modality In Action

Russ puts on his systems engineering hat and uses Modality to figure out why his autonomous drone has suddenly crashed. Follow along as he uses Modality to

  1. Investigate a vague problem to find the specific cause.
  2. Keep that problem from coming back.
  3. Proactively test the system to find other problems like it.

If you want to skip ahead, just select a chapter below.

Key Concepts

Incident Analysis
Jump to Section
Using Modality to quickly determine why the drone crashed and where exactly in the code to look.
Continuous Verification
Jump to Section
Using Modality’s specification language to catch previously undetected instances of the problem and to prevent it from happening again.
Edge Case Discovery
Jump to Section
Instrumenting the simulation stack with Modality and running a series of automated experiments to see how the system responds to stress.