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.
Key Concepts
Incident Analysis
Jump to SectionUsing Modality to quickly determine why the drone crashed and where exactly in the code to look.
Continuous Verification
Jump to SectionUsing Modality’s specification language to catch previously undetected instances of the problem and to prevent it from happening again.
Edge Case Discovery
Jump to SectionInstrumenting the simulation stack with Modality and running a series of automated experiments to see how the system responds to stress.