Damn, almost too old to change job then
Yeah, talk about Ada and writing designs for aircrafts, this is *pure* nightmare !
First you need redundancy, which basically means several (usually 3 if I\'m not wrong) chips doing exactly the same thing + watchdog. Each part of those chips have to come from different designers, and design houses. And different founders whenever possible !
Then you have to complete this huge book of every possible break down, sort them out by severity issue. Trying it is hating it. But you don\'t want to suffer from a blue screen when you are in command of those flying beasts do you ?
And the software. I think Ada was mainly chosen because of its formalism, since there you also need to hunt down every potential breakdown.
