Model-based enhancement of software performance for precision critical systems