[girvo]

To prove this, software that deals with medical stuff is somewhat more like aviation.

[cwalv]

Also, aviation and software aren't orthogonal. E.g., the article mentioned that part of the reason the pilot was able to sustain a very narrow velocity window between stall and overrunning the runway was because of the A380's fly by wire system.

[conradev]

Yep. Insulin pumps can kill their owner and the software updates need to be FDA approved:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4773959/