Software: a matter of life or death? Like most mornings, your alarm clock goes off. You get up and drink your daily dose of caffeine before heading out. You get in your car and turn on the heater. You turn on your favorite radio station and type the address...

Complying with the ISO 26262 standard Automotive software can be thought in terms of three distinct dimensions. The first dimension is the length and complexity of the code. Consider the startling fact that the average automobile has more lines of code than a...