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