Специалисты МГУ имени М. В. Ломоносова создали алгоритм для повышения точности работы бортового программного обеспечения. Разработка должна сделать системы самолетов и другой ответственной техники более надежными и предсказуемыми.
В пресс-службе университета сообщили ТАСС, что метод подготовили сотрудники факультета вычислительной математики и кибернетики. Ученые предложили использовать технологии безопасной компиляции при создании встроенных систем ответственного назначения.
Современные компиляторы преобразуют программный код, чтобы повысить скорость и производительность оборудования. При этом внесенные изменения могут повлиять на порядок работы программ и осложнить проверку их соответствия требованиям безопасности.
Авторы исследования приспособили технологии обработки и оптимизации данных к бортовым системам, которые работают в режиме реального времени. Новый подход позволяет учитывать возможные последствия преобразования кода и уменьшать связанные с ним риски.
Алгоритм может использоваться при создании и сертификации программ для авиационных и других критически важных систем. Разработка должна помочь совершенствовать программное обеспечение, от которого требуется стабильная работа в условиях строгих норм безопасности.