verification of embedded systems after deployment