Tools Developed

1. ProPFA : Probabilistic Path based Failure Analyzer for C programs (download link)
   This automatic tool uses a path based failure analysis approach to estimate failure probability of C programs.
   It is designed as an integrated framework that takes as input a C program annotated with failure assertions, the discrete ranges and probability density functions of all independent input variables. ProPFA estimates success probability of each execution path of a program separately and returns failure probability of the whole program along with a measure of confidence on the paths explored within a defined time and memory bound.
   Related Papers:
   1. Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey: Failure Estimation of Behavioral Specifications. SETTA 2016: 315-322
   2. Debasmita Lohar, Soumyajit Dey: Integrating formal methods with testing for reliability estimation of component based systems. ISSRE Workshops 2015: 33-36 
2. unrelyzer : A Static analyzer for C-like unreliable programs (download link)
   The tool statically analyzes a program defined by 'Mini-C' grammar where each arithmetic and boolean operations are probabilistic/unreal and determines an interval of values for each of its variables at each program point. It also generates Parse-Tree, Abstract-Syntax-Tree and Control-Flow-Graph of the program. 
3. RELSPEC : A Framework for Early Reliability Refinement of Embedded Applications  RELSPEC is a C-like specification language which can capture the behavioral description of a system in terms of functionality offered by its underlying hardware components. The reliability of a system is defined as the total probability of successfully completing a system execution under the assumption that component level hardware failures are permanent in nature. To this end we have applied program analysis based techniques to derive a probabilistic model of the system in the form of a DTMC. We calculate the reliability of a system from its DTMC model using path based reliability analysis techniques. (download link to be added soon)
   Related Papers:
   1. RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications  , Saurav Kumar Ghosh, Aritra Hazra, and Soumyajit Dey, VLSID 2015
   2. "RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems",  Saurav Kumar Ghosh, Vishnuvardhan P,   Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, P. P. Chakrabarti, Design Automation for Embedded Systems (Springer), Volume 21, Issue 1, pp 37–87, March 2017