## Overview

RTProb is a tool to perform probabilistic schedulability analysis of probabilistic real-time system.

- To calculate Probability of deadline miss for the jobs in the system

- Incorporates Criticality Levels of the tasks and obtains the probability of system entering HIGH criticality

- Steady State Probability of task having a failure (proportion of time in failure as time tends to infinity)

- Homepage: probscheduling

### Members

Manager : Guillaume Infantes, Jasdeep Singh, Luca Santinelli

DÃ©veloppeur : David Doose, Julien Brunel