Using model-based methods to support vehicle analysis planning