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