JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs).
Release Date:
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of JReliability. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Tracker artifact added
lukasiewycz created the Allow manual variable order of BDD artifact -
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Tracker comment added
michaelglass commented on the Broken Type-Safety: class Term artifact -
Code committed
-
jreliability-tutorials JReliability Tutorials 1.2.1 file released: jreliability-tutorials-1.2.1.zip
-
jreliability.jar JReliability 1.2.1 jar file released: jreliability-1.2.1.jar
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
Java ILP
Java ILP is a simple java interface to (mixed) integer linear programming solvers like, e.g., lp_solve, Glpk, SAT4J (0-1 ILP), MiniSat+(0-1 ILP), CPLEX, or Mosek. (documentation available at http://javailp.sourceforge.net/)
-
BDD compression
An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.
JReliability Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
