В МГУ пытаются упростить проверку программ для критически важных авиасистем

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

Как рассказали ТАСС в пресс-службе МГУ, авторами разработки стали исследователи факультета вычислительной математики и кибернетики. Их методика основана на применении безопасной компиляции во встроенных системах ответственного назначения.

Оптимизация кода используется для увеличения производительности, однако она может изменить поведение программы. Из-за этого специалистам становится сложнее подтвердить, что система продолжает работать точно и соответствует установленным требованиям.

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

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