Efficient non-anonymous composition operator for modeling complex dependable systems
Chiaradonna S., Di Giandomenico F., Masetti G.
Modelling and Evaluation Tools Stochastic Activity Network Non-Anonymous Replication Composition Operators Time Overhead Complex Critical Systems Dependencies Graph
A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing composer that extends the standard anonymous replication composer in order to share the state of a replica among a set of other specific replicas or among the replica and another external model. This new composition operator aims to improve expressiveness and performance with respect to the standard anonymous replicator, namely the one adopted by the Mobius modeling framework.
Source: EDCC 2016 - 12nd European Dependable Computing Conference, Gothenburg, Sweden, 5-9 September 2016
Back to previous page
@inproceedings{oai:it.cnr:prodotti:367417,
title = {Efficient non-anonymous composition operator for modeling complex dependable systems},
author = {Chiaradonna S. and Di Giandomenico F. and Masetti G.},
booktitle = {EDCC 2016 - 12nd European Dependable Computing Conference, Gothenburg, Sweden, 5-9 September 2016},
year = {2016}
}
0000-0002-0889-1990