The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
SHARPE at the age of twenty two
ACM SIGMETRICS Performance Evaluation Review
Non deterministic repairable fault trees for computing optimal repair strategy
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Model-driven availability evaluation of railway control systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Fault trees are a well known mean for the evaluation ofdependability of complex systems. Many extensions havebeen proposed to the original formalism in order to enhancethe advantages of Fault Tree Analysis for the designand assessment of systems. In this paper we proposean extension, Repairable Fault Trees, which allows the designerto evaluate the effects of different repair policies ona repairable system: this extended formalism has been integratedin a multi-formalism multi-solution framework, andit is supported by a solution technique which transparentlyexploits Generalized Stochastic Petri Nets (GSPN) for modellingthe repairing process. The modelling technique andthe solution process are illustrated through an example.