Виктор Тумилевич, студент 3 курса Факультета информационных технологий (ФИТ) НГУ, получил награду на Школе молодых ученых (ШМУ), которая прошла с 21 по 28 сентября в Сочи в рамках Российского форума «Микроэлектроника». Это престижное научно-индустриальное мероприятие, где молодые исследователи представляют свои работы и обсуждают их с именитыми учеными и ведущими экспертами отрасли.
Виктор представил доклад «Построение проверяемой bootstrap-цепочки для архитектуры RISC‑V». Проект выполнен на базе лаборатории YADRO в НГУ в рамках студенческого проекта под руководством Александра Александровича Власова.
— RISC‑V — это открытая архитектура процессоров, которая позволяет разрабатывать собственные процессоры без лицензионных ограничений на набор команд. Цель моего проекта — построить проверяемую цепочку от минимального доверенного кода до C-компилятора, способного собрать сам себя. Это позволяет снизить зависимость от непроверяемых готовых программ, используемых при разработке, — рассказал Виктор Тумилевич.
В рамках работы удалось собрать цепочку до компилятора TinyCC, подтвердить её фиксированную самосборку, а также выявить специально внедренные заражения в компилятор, а также его запуск на реальном RISC‑V-устройстве.
По словам студента, участие в ШМУ помогло по-новому посмотреть на проект и обозначить следующие шаги его развития.
— Мне понравилось, что на Школе молодых ученых были представлен целый спектр очень продвинутых тем, объединенных микроэлектроникой и системным программным обеспечением. Было интересно пообщаться с участниками, которые занимаются смежными задачами, и посмотреть на проблему с других сторон. Особенно ценной оказалась обратная связь по проекту: я получил много комментариев и идей от ведущих экспертов для его дальнейшего развития. Также запомнились круглые столы, где обсуждались другие исследования и актуальные вопросы отрасли. В целом мероприятие стало хорошей возможностью представить свою работу на столь высоком уровне, обменяться опытом и познакомиться с коллегами из смежных областей, — поделился Виктор.
Научный руководитель проекта Александр Власов, к.т.н., руководитель образовательной программы ТОП ИТ и лаборатории YADRO в НГУ, отметил, что задача носит комплексный характер и требует знаний из широкого спектра дисциплин в области компьютерных наук — от принципов исполнения программы на вычислительном устройстве до устройства процессора, компилятора и многого другого.
— Особенно важно, что в процессе обучения студенты смогли своими руками прикоснуться к границе известного и получить новые знания. Надеюсь, эта работа получит продолжение в виде научной публикации в рейтинговом издании, — сказал Александр Власов.
Он также подчеркнул значимость признания результатов на ведущей в России конференции по микроэлектронике, в которой приняли участие лучшие молодые ученые и студенты из всех ведущих вузов, работающих в этой области, — МФТИ, СПбГУ, МИФИ, ВШЭ, МИРЭА и других.
— Это свидетельствует о том, что мы ставим перед студентами актуальные задачи благодаря взаимодействию с индустриальными партнерами, а уровень обучения позволяет им решать подобные задачи уже на втором курсе бакалавриата Факультета информационных технологий, — добавил научный руководитель.
В научном плане полученный результат, благодаря использованию открытой архитектуры RISC‑V, позволяет сместить корень доверия: от готового вычислительного устройства — к литографу, изготавливающему это устройство.
По рекомендации индустриального партнера, компании YADRO, на основе проделанной работы будет создан уникальный учебный кейс для образовательной программы ТОП-уровня в сфере ИТ «Технологии индустриальной программной инженерии». Он позволит на высоком уровне интегрировать знания из большинства профильных дисциплин первого и второго курсов — «Императивное программирование», «Цифровые платформы», «Операционные системы» и других, — а также подготовить базу для освоения дисциплин третьего и четвертого курсов по архитектуре программных систем и кибербезопасности.
