Large-Scale System Analysis Under Uncertainty