Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking | Zendy

Nil Geisweiller | Zendy; Jeremie Bonte | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking

Author(s) -

Nil Geisweiller,

Jeremie Bonte

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.01.010

Subject(s) - probabilistic logic , computer science , model checking , markov chain , property (philosophy) , continuous time markov chain , constraint (computer aided design) , time constraint , theoretical computer science , stochastic modelling , probabilistic ctl , architecture , algorithm , markov model , markov property , artificial intelligence , probabilistic analysis of algorithms , mathematics , machine learning , art , visual arts , philosophy , statistics , geometry , epistemology , political science , law

The goal of this paper is to show how to use probabilistic model checking techniques in order to achieve quantitative performance evaluation of a real-time distributed simulation. A simulation based on the High Level Architecture (HLA) is modelled as a stochastic process, a Continuous Time Markov Chain (CTMC), using the stochastic algebra PEPA. Next a property representing a performance constraint is evaluated applying Continuous Stochastic Logic CSL formula on the CTMC model using the probabilistic model checker PRISM. Finally a first experiment is made to compare the model with a real case

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research