next up previous
Next: Probabilistic Verification Up: Verification and Design Tools Previous: Design Mode Verification

Faulted Mode Verification

When there are faults or damage detected, the UCAV will need to have fault detection and handling routines, which maintain integrity of the aircraft and safety with possible gradual degradation in the performance of the functioning of the system. Fault handing routines have to be proven to work, with high probability in both detecting the fault and then providing the sequence of mode changes as well as tactical and possibly strategic redeployment so as to make for reliable operation.



S Sastry
Sun Aug 9 16:58:51 PDT 1998