Budde, Carlos (2020): Software artefact for FIG: the Finite Improbability Generator. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e

Dataset

• Statistics
• Applied Mathematics
• Computer Software
• Computation Theory and Mathematics

Automatic importance function, Importance splitting, Input/Output Stochastic Automata, Rare Event Simulation, Statistical model checking

GPL-3.0

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

by Carlos E. Budde

This software is an artifact for the TACAS 2020 conference, for the tool demonstration paper "FIG: the Finite Improbability Generator." The paper introduces the statistical model checker FIG 1.2, that estimates transient and steady-state reachability properties in stochastic automata. This software tool specialises in Rare Event Simulation via importance splitting, and implements the algorithms RESTART and Fixed Effort. FIG is push-button automatic since the user need not define an importance function: this function is derived from the model specification plus the property query. The tool operates with Input/Output Stochastic Automata with Urgency, aka IOSA models, described either in the native syntax or in the JANI exchange format. The theory backing FIG has demonstrated good efficiency, comparable to optimal importance splitting implemented ad hoc for specific models. Written in C++, FIG can outperform other state-of-the-art tools for Rare Event Simulation.

• 2020-05-12 first online, published, posted

4TU.Centre for Research Data

media types: application/x-debian-package, application/zip, image/png, text/plain, text/x-c, text/x-python, text/xml

• https://doi.org/10.1007/978-3-030-45190-5_27

• CHIST-ERA, 102112
• NWO, 15474

University of Twente, Formal Methods and Tools (FMT) research group