Before specifying the standard fault and reset sets, make sure that you have specified the excluded fault events first. This dialog will give an error unless the excluded fault events dialog has already been run.
In order to select the standard fault (ΣFi)
and reset (ΣTi) events, press the
button (labelled Choose fault event sets), or click on
Select Fault Sets in the Project menu.
This will bring up the wizard used to build the fault sets. The first screen
will look like this:
Enter the number of standard fault sets to be entered, then press Next. If you set the number of fault sets to zero, all fault and reset sets will be removed from the project. If you decrease the number of fault sets from the current set amount (i.e. from 4 down to 2 sets), then the existing unused fault and reset sets will be removed (i.e. sets 3 and 4 will be removed) from the project.
You will now be presented with the following screen in order to build the first standard fault and reset set. If the project has exisiting fault/reset sets defined, they will populate the screen allowing for easy editing. Please note that as each fault and reset set must be pairwise-disjoint from each other, events already added to other sets (including the excluded fault set) will not show up in the dialog window.
Click on events in the left column, then click on the corresponding Add button to add them to either the standard fault event set or the reset event set. To remove events from either set, click on the event in the corresponding right column, and select remove.
When the Next, Validate, or Commit button is pressed, a check will be performed to make sure that the selection of fault events is valid according the (timed) FT concistent definition. For instance, any controllable events in the standard fault set will make this check fail. Fault events are also not allowed to belong to supervisors. Reset event sets may be left empty, but fault sets must contain at least one event.
If they are valid, then you will be brought to the next screen to build the next sets of standard fault and reset events.
Once all the sets of standard fault and reset event sets have been entered, the following window is displayed:
When Finish is pressed, the standard fault and reset event wizard will exit. The project is now set up to run fault-tolerant algorithms.
Warning: Once the final screen is reached, the project has been updated and it is too late to cancel the changes.
Warning: if you have made any changes to the project since this dialogue was run and the standard fault/reset sets are non-empty, you must re-run this dialogue to ensure that the sets still satisfy the (timed) FT concistent definition before running any fault-tolerant algorithms.