- Sort by
- Name
- Oldest updated
- Last updated
-
FIG_v1.2 Prepared for the FIG tool (demonstration) paper submission in TACAS'19Release FIG_v1.2
FIG stable
This version of the tool includes all the functionality from FIG v1.1,
plus translation to/from the JANI model specification format,
plus basic support for DFT analysis:- Supports IOSA with urgent actions and arrays
Confluence check for urgent actions
- Supports JANI v1: exports IOSA to STA, and imports CTMC and some STA to IOSA
-
--to-jani
produces FIG-compatible JANI (IOSA) -
--to-jani-modest
produces Arnd's modes-compatible JANI JANI translation for urgent actionsJANI translation for arrays
-
- Time-bounded steady state properties:
S[10:300](q2==C)
- New thresholds selection facilities
- Expected Success (automatic) algorithm with
-t es
- Ad hoc thresholds and effort with
--thresholds-adhoc <list>
- Expected Success (automatic) algorithm with
- New CLI options
- DFT importance computation with
--dft 0
- Global timeout with
--timeout <num>
(model compil. + ifun + thresholds + run) - RNG seeding with
--rng
options - Trace dump for
--flat
engine with--trace
- DFT importance computation with
- Includes models of 2 and 3 tandem queue, open/closed queue, queue with breakdowns, database, and oil pipelines
- Tests suite
- Supports IOSA with urgent actions and arrays
-
SETTA_journal Fig version used to produce the results for the SETTA'17 journal version
-
test_suite First FIG test suite: Compile with "$ ./build_project.sh tests" and run with "./test"
-
PhD_thesis Version of used in the PhD thesis of Carlos E. BuddeRelease PhD_thesis
Version used to produce the results presented in my PhD thesis: Automation of Importance Splitting Techniques for Rare Event Simulation.
The raw results are in an archive of the repo. -
FIG_v1.1 Basic FIG + JANI + committed actions + arraysRelease FIG_v1.1
FIG old-stable
This version of the tool includes all the functionality from FIG v1.0,
plus translation to/from the JANI model specification format,plus support for urgent actions and arrays.- Full (basic) IOSA supported.
- Urgent actions in IOSA supported.
- Arrays supported.
-
Confluence check for committed actions. - Properties can be embedded in the model file, in a
properties...endproperties
environment. Tests suiteJANI v1 is supported: exports IOSA to STA, and imports CTMC and some STA to IOSA.JANI translation for urgent actions.-
JANI translation for arrays. - Includes models of tandem queue, triple tandem queue, queue with breakdowns, database with redundancy, and oil pipelines.
-
JANIv1 Support for JANI model specification format, version 1.Release JANIv1
Basic FIG + JANI compatibility
This version of the tool includes all the functionality from FIG v1.0,
plus translation to/from the JANI model specification format (version 1).
It also has an incipient support for committed actions, but without much testing.- Supports full (basic) IOSA specification.
- Committed actions are partially supported .
- Arrays are not supported.
- Properties can be embedded within the model file, inside a properties...endproperties environment.
- Support for JANI v1: exports IOSA to STA, and imports CTMC and some STA to IOSA.
- Includes models of tandem queue, triple tandem queue, queue with breakdowns, database with redundancy, and oil pipelines (without arrays).
-
FIG_v1.0 Basic FIG functionality.Release FIG_v1.0
Basic FIG functionality
- Supports full (basic) IOSA specification
- Committed actions and arrays are not supported.
- Both a model file and a properties file must be specified for experimentation.
- Model files can only be expressed in the IOSA language, i.e. there is no JANI support.
- Confidence intervals are built using the basic CLT theory, as suggested by de Boer et al.
- Includes models of tandem queue, triple tandem queue, queue with breakdowns, and database with redundancy.
-
ValueTools_2016_results WARNING: may not compile