SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Braham Lotfi Mediouni
  • Function : Author
Ayoub Nouri
  • Function : Author
Marius Bozga
Mahieddine Dellabani
  • Function : Author
Saddek Bensalem

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
222 View
453 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More