# Specifying Excluded Fault Events

In order to select the excluded fault events, ΣΔF, press the button (it's labelled "Choose Excluded Fault Events), or click on Select Excluded Faults in the Project menu. This will bring up the following dialog:

To add events to the excluded fault events set, select them in the left column, then click the Add button in the center of the dialog. To remove events from the excluded fault events set, select the events to remove from the right column, then click the Remove button. Once you are done selecting the excluded fault events, click Ok.

Clicking either Validate or Ok will run a check to make sure that the events selected for ΣΔF are valid according the (timed) FT concistent definition. For instance, any controllable events in the set will make this check fail. Fault events are also not allowed to belong to supervisors.

Warning: if you have made any changes to the project since this dialogue was run and the excluded fault set is non-empty, you must re-run this dialogue to ensure that the set still satisfies the (timed) FT concistent definition before running any fault-tolerant algorithms.

Warning: if the project contains excluded faults and standard fault and/or reset events, the excluded fault dialog should always be run before the standard fault and reset set dialog to ensure proper operation.

« Fault Tolerance | Specify Standard Fault and Reset Sets »