Comment by angry_octet

Look at the automotive standards for system verification, in standards like ISO 26262 functional safety. These standards are followed by engineering led organisations that respect safety. Tesla prefers a more laisse faire approach.

This is all orthogonal to software defined vehicles, except that you have to choose to segregate functions to achieve strong non-interference goals, and all that checking might slow down software development and Tesla doesn't like that.

The HMI on Teslas is trash, and drivers are measurably slower and more distracted in simulated and real conditions in their designs. The scan is slower, the affordances are weaker, the multi modal nature causes processing delays. The worst part is design and marketing teams being forced to copy them. Chinese imitations, like the insanely cheap/ugly MG4 tablet instrument, are going to age very badly.