Учёные Московского государственного университета имени М. В. Ломоносова разработали алгоритм, способный повысить точность, стабильность и предсказуемость работы бортовых систем самолётов. Новая технология предназначена для создания и проверки программного обеспечения авиационной и другой критически важной техники.

Разработку представили специалисты факультета вычислительной математики и кибернетики МГУ. Учёные предложили метод использования технологий безопасной компиляции для встроенных систем, где даже небольшие изменения в программном коде могут влиять на надёжность оборудования.

Главная особенность решения заключается в том, что алгоритм позволяет учитывать требования безопасности во время оптимизации программ. Современные компиляторы способны значительно ускорять работу кода, однако такие преобразования иногда усложняют проверку программ и могут влиять на предсказуемость их выполнения.

Исследователи адаптировали методы оптимизации обработки данных для систем, работающих в реальном времени. Это особенно важно для авиационной техники, где бортовые комплексы должны выполнять команды с высокой точностью и без задержек.

В МГУ отметили, что новая технология может использоваться при разработке и сертификации программного обеспечения для самолётов, а также других систем, предъявляющих повышенные требования к безопасности.

Разработка позволит упростить создание надёжного ПО для техники, где отказ программных компонентов может привести к серьёзным последствиям, и станет одним из инструментов повышения качества цифровых систем нового поколения.