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