Statistical Model Checking of Incomplete Stochastic Systems - Chaire Cybersécurité sur l'analyse de la menace Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Statistical Model Checking of Incomplete Stochastic Systems

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (470.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02011309 , version 1 (08-02-2019)

Identifiants

Citer

Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez. Statistical Model Checking of Incomplete Stochastic Systems. ISoLA 2018 - International Symposium on Leveraging Applications of Formal Methods, Nov 2018, Limassol, Cyprus. pp.354-371, ⟨10.1007/978-3-030-03421-4_23⟩. ⟨hal-02011309⟩
84 Consultations
178 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More