Stochastic Analyzer of real time periodic task sets, an implementation of the paper 'Stochastic Analysis of Periodic Real-Time Systems' (http://www.atc.uniovi.es/atc/rsa/starts/documents/Diaz_2002_rtss.pdf)
The implementation covers only the static priorities case.
Have a look to notes.tex for some insights on how it works