Running Fault-Tolerant Algorithms


Before running fault-tolerant algorithms, make sure that the excluded fault set and the standard fault and reset event sets have been set up. If at any point project events have been modified, or added or removed from the project, then go through these dialogs again to ensure that the sets still satisfy the (timed) FT concistent definition.

There are several different variations of the fault-tolerant controllability and nonblocking algorithms available. There are timed and untimed controllability algorithms as well as nonblocking algorithms that can be used on both timed and untimed systems.

The standard algorithms can be accessed under the Tools menu. The BDD versions of the algorithms can be accessed from the BDD Tools menu.

Currently, the following fault-tolerant scenarios are supported: default, N-fault scenario, non-repeatable N-fault scenario, and the resettable fault scenario.

Warning: When the fault-tolerant algorithms execute, a temporary version of the project is constructed with added plant components required to evaluate the desired fault-tolerant scenario. Instead of checking if the original project is valid, instead the temporary project is checked.


« Specify Standard Fault and Reset Sets   |   HISC Project Editor »