Statistical Model Checking of Incomplete Stochastic Systems

Arora, Shiraj;Legay, Axel;Richmond, Tania;Traonouez, Louis-Marie
(2018) Statistical Model Checking of Incomplete Stochastic Systems — (2018)

Files

Arora2018_Chapter_StatisticalModelCheckingOfInco.pdf
  • Open Access
  • Adobe PDF
  • 917.26 KB
Download

Details

Authors
  • Arora, Shiraj
    Author
  • Legay, AxelUCLouvain
    Author
  • Richmond, Tania
    Author
  • Traonouez, Louis-Marie
    Author
Abstract
We study incomplete stochastic systems that are missing some parts of their design, or are lacking information about some components. It is interesting to get early analysis results of the requirements of these systems, in order to adequately refine their design. In previous works, models for incomplete systems are analysed using model checking techniques for three-valued temporal logics. In this paper, we propose statistical model checking algorithms for these logics. We illustrate our approach on a case-study of a network system that is refined after the analysis of early designs.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Arora, S., Legay, A., Richmond, T., & Traonouez, L.-M. (2018). Statistical Model Checking of Incomplete Stochastic Systems. Statistical Model Checking of Incomplete Stochastic Systems. Published. https://doi.org/10.1007/978-3-030-03421-4_23 (Original work published 2018)