Secure and Safe Updates for Your Embedded Device