- Workloads and benchmarks - Theory of stochastic processes - Formal dependability and