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

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

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

ТАСС