FIG-Reference-Cited by-同舟云学术

FIG

Published:2022-06-02 Issue:4 Volume:49 Page:59-64
ISSN:0163-5999
Container-title:ACM SIGMETRICS Performance Evaluation Review
language:en
Short-container-title:SIGMETRICS Perform. Eval. Rev.

Author:

Budde Carlos E.¹

Affiliation:

1. University of Trento, Italy

Abstract

This work presents version 1.3 of the Finite Improbability Generator (FIG): a statistical model checker to estimate transient and steady-state reachability properties in stochastic automata. Specialised in rare event simulation via importance splitting, FIG implements RESTART and Fixed Effort algorithms. Its distinctive feature is push-button automation: users need not define an importance function, because FIG can derive it from the property query and model specifications. The input models are Input/Output Stochastic Automata with Urgency, written either in the native IOSA 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 systems. Written in C++, FIG is FOSS released under the GPLv3 in https://git.cs.famaf.unc.edu.ar/dsg/fig.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Networks and Communications,Hardware and Architecture,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3543146.3543160

Reference25 articles.

1. Håkan L. S. Younes and Reid G. Simmons . "Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling ". In: CAV. Vol. 2404 . LNCS. Springer , 2002 , pp. 223 -- 235 . doi: 10 . 1007 / 3 - 540 - 45657-0_17. Håkan L. S. Younes and Reid G. Simmons. "Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling". In: CAV. Vol. 2404. LNCS. Springer, 2002, pp. 223--235. doi: 10 . 1007 / 3 - 540 - 45657-0_17.

2. John A. Rice . Mathematical Statistics and Data Analysis . 3 rd ed. 2007 . isbn: 0--534--39942--8. John A. Rice. Mathematical Statistics and Data Analysis. 3rd ed. 2007. isbn: 0--534--39942--8.

3. Splitting for rare event simulation: A large deviation approach to design and analysis

4. Pierre L'Ecuyer , Michel Mandjes , and Bruno Tuffin . " Importance Sampling in Rare Event Simulation". In: ed. by Gerardo Rubino and Bruno Tuffin . Wiley , 2009 . Chap. 2, pp. 17 -- 38 . doi: 10.1002/9780470745403.ch2. Pierre L'Ecuyer, Michel Mandjes, and Bruno Tuffin. "Importance Sampling in Rare Event Simulation". In: ed. by Gerardo Rubino and Bruno Tuffin. Wiley, 2009. Chap. 2, pp. 17--38. doi: 10.1002/9780470745403.ch2.

5. Pierre L'Ecuyer " Splitting Techniques". In: ed. by Gerardo Rubino and Bruno Tuffin . Wiley , 2009 . Chap. 3, pp. 39 -- 61 . doi: 10.1002/9780470745403.ch3. Pierre L'Ecuyer et al. "Splitting Techniques". In: ed. by Gerardo Rubino and Bruno Tuffin. Wiley, 2009. Chap. 3, pp. 39--61. doi: 10.1002/9780470745403.ch3.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Statistical Model Checking for Cybersecurity Analysis;Communications in Computer and Information Science;2023