Efficient non-anonymous composition operator for modeling complex dependable systems

TL;DR

This paper introduces a novel non-anonymous composition operator that enhances the modeling of complex dependable systems by enabling state sharing among replicas, improving expressiveness and performance over traditional anonymous replication methods.

Contribution

It presents a new state-sharing composition operator that extends standard anonymous replication, allowing for more expressive and efficient modeling of dependable systems.

Findings

The new operator improves modeling expressiveness.

It enhances performance compared to standard anonymous replication.

It integrates with the M{"o}bius modeling framework.

Abstract

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 eplica 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 M{\"o}bius modeling framework.