Новый уровень безопасности авиационных бортовых систем и других систем ответственного н...
Новый уровень безопасности авиационных бортовых систем и других систем ответственного назначения предлагает исследование, проведенное учеными факультета ВМК МГУ. Работа помогает решить проблемы функционирования критически важного программного обеспечения, связанные с компиляцией. «Компилятор представляет собой систему, преобразующую программы, написанные на некотором языке программирования (обычно удобном для человека), в код, который может быть непосредственно выполнен на определенной вычислительной платформе, включающей аппаратное обеспечение и операционную систему», — объяснил доцент кафедры системного программирования факультета ВМК МГУ В.В. Кулямин. Авторы изучили требования, которым должны соответствовать оптимизирующие компиляторы для бортовых систем в разных областях, и определили ситуации, в которых компиляторные оптимизации могут нарушать безопасность подобных программ. Кроме того, ученые разработали и протестировали собственный безопасный компилятор, созданный на основе популярного компилятора Clang в соответствии с отечественным стандартом в области разработки безопасного программного обеспечения. Фото: фотобанк 123RF Подробнее на портале Научная Россия #авиация #компилятор