What is ESSaRel?
ESSaRel is a dependability model integration framework for embedded systems. The current version offers quantitative evaluation of combined fault tree and Markov models. The user-friendly, intuitive ESSaRel GUI is similar to that of its predecessor UWG3.
ESSaRel uses a hierarchical component concept for the independent modelling of different system components, enabling reuse and an efficient division of labour for larger projects.
What is UWG3?
UWG3 is a user-friendly, Windows-based fault tree analyser. It offers both quantitative (failed states probabilities and failure rates) and qualitative (cut set listing) evaluation, employing fast BDD algorithms.
UWG3 uses hierarchical component concept for the independent modelling of different system components, enabling reuse and an efficient division of labour for larger projects.
Are ESSaRel and UWG3 compatible?
ESSaRel is backwards compatible, so UWG3 models can be opened inside ESSaRel. During the process, a copy of the original file is created and automatically converted to the ESSaRel file format.
How can I evaluate ESSaRel and UWG3?
ESSaRel is available for download.
What does it cost?
The use of ESSaRel for noncommercial purposes, such as research, academic teaching and evaluation, is free of charge. If you intend to use our programs commercially, please contact us.
Don't be afraid to ask.