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