Efficient Fault Simulation through Dynamic Binary Translation for Dependability Analysis of Embedded Software