SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Braham Lotfi Mediouni
  • Fonction : Auteur
Ayoub Nouri
  • Fonction : Auteur
Marius Bozga
Mahieddine Dellabani
  • Fonction : Auteur
Saddek Bensalem

Résumé

This paper presents a major new release of SBIP, an extensi-ble statistical model checker for Metric (MTL) and Linear-time Temporal Logic (LTL) properties on respectively Generalized Semi-Markov Processes (GSMP), Continuous-Time (CTMC) and Discrete-Time Markov Chain (DTMC) models. The newly added support for MTL, GSMPs, CTMCs and rare events allows to capture both real-time and stochastic aspects, allowing faithful specification, modeling and analysis of real-life systems. SBIP is redesigned as an IDE providing project management, model edition, compilation, simulation, and statistical analysis.
Fichier principal
Vignette du fichier
main.pdf (268.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01888538 , version 1 (05-10-2018)

Identifiants

Citer

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, et al.. SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems. ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis, Oct 2018, Los Angeles, CA, United States. pp.536-542, ⟨10.1007/978-3-030-01090-4_33⟩. ⟨hal-01888538⟩
232 Consultations
480 Téléchargements

Altmetric

Partager

More