Model-driven performance prediction of HLA-based distributed simulation systems