JReliabiliy

The Java-based Reliability Library


Features

Easy and Safe Modeling

JReliability features an easy modeling of the system as Boolean Functions represented as mathematical terms. Transparent for the user and, thus, hiding complexity, JReliability uses Binary Decision Diagrams (BDDs) as an intermediate format to directly transform the user-built terms into a reliability function of the overall system. Since 2017, JBDD is the supported BDD back-end.

Powerful Analyzis

With JReliability, a set of powerful and fast analyzers is delivered that are able to automatically determine common reliability-related measures like Mean-Time-To-Failure (MTTF), Mission-Time (MT), failure rates and many more from a given system model. Lots of analytical evaluation methods are included with the number of included evaluators steadily growing. For the modeling of the system component's properties, a large set of predefined common reliability functions are available. Of course, user defined reliability functions can be seamlessly included.

Demonstrative Visualization

The framework contains a GUI for the visualization of the measures as well as a function to plot the terms and, if needed, also to plot the BDDs respresenting system structure using dot.

Open Source and Development

The library is open source and released under the LGPL license allowing the integration into scientific, educational, and commercial projects. Moreover, the development of specific solutions based on JReliability is simplified by the usage of the latest Java features like Generics. The library code is pure Java and free of any text-based configuration files or boilerplate code.