FFORT Submission Page
This page allows users to submit their own Fault trees, Attack Trees, and BDMPs.
- Enter the information about your fault tree and its Galileo files in the form below.
- check that the information is correctly displayed in the preview table. (Image file will currently not be shown in the preview)
- When you are satisfied, click the `Send to maintainer' button below the form.
Models should be in the Galileo derived format apropriate for the type of model being submitted, see: [Fault Tree format | Attack Tree format | BDMP format].
Metadata about the number of elements, gate types, and repairability will be automatically inserted by the maintainers based on the model in your Galileo file.
Ath the bottom of the page, the raw JSON format shows the exact information that will be sent to the maintainer.
of type:
With at least one of these gate types:
With at least one of these result types:
With this many basic elements: ≤ |BE| ≤
With this many gates: ≤ |Gates| ≤
and added to FFORT
| Model | Results |
|---|