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