Format:
graph. Darst.
ISBN:
9781424493135
Content:
While model checking is a powerful technique to analyze the properties of a model, it can be very expensive or even impossible, if the model comprises many states that have to be explored. Simulation-based model checking is an alternative, where the properties defined in temporal logics are not checked on the model itself but on traces produced during model execution. However, for stochastic models multiple traces have to be considered. A natural way to increase the efficiency of the analysis of a set of traces is to distribute the analysis runs among a set of computational resources. These resources can be the local cores of a multi-core CPU as well as a computer network. We extended FAMVal (Flexible Architecture for Model Validation) to execute analysis tasks in a parallel and distributed manner and supports the parallelization on both – local multicore machines as well as networks. Furthermore, it allows an exchange of the underlying simulation tool, and arbitrary analysis methods. Experiments based on the modeling and simulation framework James II and with a Wnt/ Beta-catenin signaling pathway model illustrate the efficiency of parallel simulation-based model checking in FAMVal.
In:
Fourth UKSim European Symposium on Computer Modeling and Simulation (EMS), 2010, Piscataway, NJ : IEEE, 2010, (2010), Seite 344-350, 9781424493135
In:
0769543081
In:
1424493137
In:
9780769543086
In:
9781424493135
In:
year:2010
In:
pages:344-350
Language:
English
URL:
Volltext
(lizenzpflichtig)
Author information:
Uhrmacher, Adelinde 1961-
Bookmarklink