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
- Investigate a vague problem to find the specific cause.
- Keep that problem from coming back.
- Proactively test the system to find other problems like it.
If you want to skip ahead, just select a chapter below.
Incident AnalysisJump to Section
Using Modality to quickly determine why the drone crashed and where exactly in the code to look.
Continuous VerificationJump to Section
Using Modality’s specification language to catch previously undetected instances of the problem and to prevent it from happening again.