-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
turned the delta submodule into a jar file dependency
- Loading branch information
Showing
3 changed files
with
14 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,11 +1,12 @@ | ||
# TT-SFT | ||
# StoATT | ||
Implementation of a structured mean time to first failure computation scheme for static fault trees based on the Tensor Train format. | ||
Application of the TT-based approach for Generalized Stochastic Petri-Nets is in progress. | ||
|
||
Usage: | ||
The CLIMain class provides a command-line interface to the tool. Use the _calc_ command for MTFF calculation. | ||
Use the -h option to see the help page with all the available options. | ||
Example for computing the MTFF (-m 1, because we need the first moment of the failure time) of | ||
the dft described by galileofile.dft, using the AMEn-ALS solver with enrichment 4 and dampening factor 1e-5: | ||
``` | ||
java -jar ttreltool.jar calc -f galileofile.dft -m 1 -s AMEn-ALS --enrichment 4 --damp 1e-5 | ||
java -jar stoatt.jar sft calc -f galileofile.dft -m 1 -s AMEn-ALS --enrichment 4 --damp 1e-5 | ||
``` |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters