Ускорение программы не всегда полезно для бортовых систем самолёта. Исследователи ВМК МГУ показали, что некоторые оптимизации современных компиляторов способны сделать работу кода менее предсказуемой и настолько усложнить его проверку, что подтвердить выполнение требований безопасности становится труднее. Об этом пишет издание «Научная Россия».
