JReliabiliy

The Java-based Reliability Library


About JReliability

JReliability is a reliability evaluation library. The library is tailored for (but not restrictred to) the BDD-based modeling and analysis of complex systems like, e.g., networked embedded systems. JReliability is the base for several publications in journals and at international conferences on design automation for dependable embedded systems.

Developers

Michael Glaß, Prof. Dr.-Ing., Ulm University, Germany

Felix Reimann, Dr.-Ing., Audi Electronics Venture GmbH, Germany

Faramarz Khosravi, M.Sc., FAU Erlangen-Nürnberg, Germany

Martin Lukasiewycz, Dr.-Ing., Google, Germany

Publications

Selected publications that are based on JReliability as the underlying reliability analysis framework:

M. Glaß.
Dependability-Aware System-Level Design for Embedded Systems. Dissertation, University of Erlangen-Nuremberg, ISBN 978-3-86853-857-1, Verlag Dr. Hut, Munich, Germany, March, 2011.

F. Reimann, M. Glaß, M. Lukasiewycz, C. Haubelt, J. Keinert and J. Teich.
Symbolic Voter Placement for Dependability-Aware System Synthesis.
In Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 237-242, Atlanta, GA USA, October 19-24 2008.

M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt and J. Teich.
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
In Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), pp 139-152, Newcastle upon Tyne, UK, September 22-25, 2008.

M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt and J. Teich.
Symbolic Reliability Analysis and Optimization of ECU Networks.
In Proceedings of Design, Automation and Test in Europe (DATE 2008), IEEE Computer Society, pp. 158-163, Munich, Germany, March 10-14, 2008.