Особое внимание уделили требованиям к авиационным системам реального времени, для которых процессы разработки и верификации регулирует стандарт DO-178C.Life.ru
На основе Clang исследователи адаптировали безопасный компилятор, ограничивающий преобразования, способные помешать выполнению требований к такому ПО.Life.ru
Авторы также сравнили свой вариант с обычным Clang и оценили способность двух решений предотвращать нарушения требований безопасности при оптимизации программ.Life.ru
Разработчики рассчитывают, что методика пригодится при создании и сертификации не только авиационного ПО, но и других критически важных систем, где от программы требуется строго предсказуемое поведение.Life.ru