Architecture-driven platform independent deterministic replay for distributed hard real-time systems