Modern vehicles may gain new capabilities with a software update, but creating dependable code behind those features is ...