Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components

Contributo in Atti di convegno
Data di Pubblicazione:
2017
Abstract:
This paper addresses the generation of stochastic models for dependability and performability analysis of complex systems, through automatic replication of template models. The proposed solution is tailored to systems composed by large populations of similar non-anonymous components, interconnected with each other according to a variety of topologies. A new efficient replication technique is presented and its implementation is discussed. The goal is to improve the performance of simulation solvers with respect to standard approaches, when employed in the modeling of the addressed class of systems, in particular for loosely interconnected system components (as typically encountered in the electrical or transportation sectors). Effectiveness of the new technique is demonstrated by comparison with a state of the art alternative solution on a representative case study.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Model-based analysis; Dependability; non-anonymous replication
Elenco autori:
Masetti, Giulio; DI GIANDOMENICO, Felicita; Chiaradonna, Silvano
Autori di Ateneo:
CHIARADONNA SILVANO
DI GIANDOMENICO FELICITA
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/343503
Link al Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/343503/137603/prod_385852-doc_162696.pdf
Pubblicato in:
PROCEEDINGS-INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING
Series
  • Dati Generali

Dati Generali

URL

http://ieeexplore.ieee.org/document/8109072/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)