Companies that develop aircraft control software do. I read your comment as implying that they don't.