Специалисты Московского государственного университета имени М. В. Ломоносова разработали новый алгоритм, который позволяет повысить надёжность и предсказуемость работы бортовых систем самолётов и другой техники ответственного назначения.
Как сообщили в МГУ, исследователи факультета вычислительной математики и кибернетики предложили методику применения технологий безопасной компиляции для встроенного программного обеспечения. Новый подход учитывает требования безопасности при использовании современных компиляторов и помогает снизить риски, возникающие в результате оптимизации программного кода.
Разработка предназначена для создания и сертификации программного обеспечения, используемого в авиационной и другой критически важной технике, где ключевыми требованиями являются высокая надёжность, стабильность и предсказуемость работы систем.
По словам разработчиков, предложенная методика позволит повысить качество программного обеспечения для встроенных систем и станет дополнительным инструментом обеспечения безопасности при эксплуатации современной авиационной техники.