PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Chiaradonna S., Di Giandomenico F., Masetti G. Efficient non-anonymous composition operator for modeling complex dependable systems. In: EDCC 2016 - 12nd European Dependable Computing Conference (Gothenburg, Sweden, 5-9 September 2016). Abstract, article n. 1609.01055. arXiv.org, 2016.
 
 
Abstract
(English)
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.
URL: http://https://arxiv.org/abs/1608.05874
Subject Modelling and Evaluation Tools
Stochastic Activity Network
Non-Anonymous Replication
Composition Operators
Time Overhead
Complex Critical Systems
Dependencies Graph
C4 PERFORMANCE OF SYSTEMS
D.2.2 SOFTWARE ENGINEERING. Design Tools and Techniques


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional