Tags give the ability to mark specific points in history as being important
  • FIG_v1.2   Prepared for the FIG tool (demonstration) paper submission in TACAS'19
    903500a7 · Bump version to 1.2 ·
    Release 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 actions
      • JANI 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>
    • 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
    • Includes models of 2 and 3 tandem queue, open/closed queue, queue with breakdowns, database, and oil pipelines
    • Tests suite
  • 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. Budde
    Release 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 + arrays
    Release 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 suite
    • JANI 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