Making small embedded systems secure and dependable