Надежнее код – безопаснее системы
#наука_мгу

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

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

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

Подробнее — на сайте.