Sirio is a framework for simulation and symbolic analysis of preemptive and stochastic extensions of Time Petri Nets (TPNs), enabling an integrated approach to correctness verification and quantitative evaluation of timed concurrent systems. In particular, it supports evaluation of transient and steady-state reward measures, both through simulation and analysis. As a characterizing trait, Sirio manages models with multiple concurrently enabled generally distributed (GEN) timers that underlie a Generalized Semi-Markov Process (GSMP). We describe here the SW architecture of the framework, highlighting design choices oriented towards reusability and extensibility, and we illustrate its application to a case study in the area of quantitative evaluation.
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models / L. Carnevali; L. Ridi; E. Vicario. - ELETTRONICO. - (2011), pp. 153-154. (Intervento presentato al convegno International Conference on the Quantitative Evaluation of SysTems (QEST) tenutosi a Aquisgrana nel settembre 2011) [10.1109/QEST.2011.29].
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models
CARNEVALI, LAURA;RIDI, LORENZO;VICARIO, ENRICO
2011
Abstract
Sirio is a framework for simulation and symbolic analysis of preemptive and stochastic extensions of Time Petri Nets (TPNs), enabling an integrated approach to correctness verification and quantitative evaluation of timed concurrent systems. In particular, it supports evaluation of transient and steady-state reward measures, both through simulation and analysis. As a characterizing trait, Sirio manages models with multiple concurrently enabled generally distributed (GEN) timers that underlie a Generalized Semi-Markov Process (GSMP). We describe here the SW architecture of the framework, highlighting design choices oriented towards reusability and extensibility, and we illustrate its application to a case study in the area of quantitative evaluation.File | Dimensione | Formato | |
---|---|---|---|
QEST11.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
390.05 kB
Formato
Adobe PDF
|
390.05 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.