What is it about?
Simulation-based analyses of formal models can avoid the state space explosion, but suffer from long computation times to study rare events. FIG deploys rare event simulation to tackle these cases, without the need for expert-knowledge input.
Featured Image
Photo by John Anvik on Unsplash
Why is it important?
Rare event simulation deploys efficient statistical analyses of (formal) system models, when the event of interest has low probability of occurring. This allows to study e.g. catastrophic failures in highly-resilient systems such as nuclear power plants. The drawback of rare event simulation is that it requires input from domain experts, which can be hard to come by and may suffer from human error. FIG can derive rare event simulation approaches directly from the system (model), simplifying the process and reducing the subjective step.
Read the Original
This page is a summary of: FIG, ACM SIGMETRICS Performance Evaluation Review, June 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3543146.3543160.
You can read the full text:
Contributors
The following have contributed to this page
