On the timed analysis of big-data applications