Устойчивое развитие общества и обеспечение качества программных систем управления

Программные системы управления широко используются для принятия решений в критических сферах жизни общества: от управления технологическими процессами предприятий до бортовых систем управления самолетами и космическими кораблями. Функционирование современного общества все больше зависит от правильности компьютерных программ. В работе приводятся примеры программных ошибок, приведшие к огромным материальным потерям и даже к человеческим жертвам. Анализируется состояние в области верификации программ, рассматривается новый подход к разработке программ(проверка моделей), основанный на формальных методах и позволяющий существенно уменьшить уровень критических ошибок в разрабатываемых программах.