Anzeige
Erschienen in:
2009 | OriginalPaper | Buchkapitel
From DFTs to PEPA: A Model-to-Model Transformation
verfasst von : Leïla Kloul
Erschienen in: Computer Performance Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
One of the main attractions of the stochastic process algebra PEPA is its clear compositional structure which allows building a model from elements which reflect the composition of the system to model. Dynamic Fault Trees (DFTs) constitute a simple combinatorial formalism which allows capturing the dynamic behaviour of system failure mechanisms. The resulting model is a combination of component failure events which determines the failure of the complete system. In this paper, we propose to exploit the compositional feature of both PEPA and DFTs in order to develop an automatic translation of a DFT into a PEPA model.