|
Спецсеминар «Корректность программ и операционные системы» |
|
|
Руководители: |
|
|
|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Тематика спецсеминара
 Вставили флешку (например, в интернет-кафе), где был файлик с паролями, и через несколько дней вас взломали? Ваш любимый антивирус стал совершенно бессилен? Неужели выхода нет? У нас есть идея, как в этом поможет виртуализация. Присоединяйтесь: вместе мы сделаем наши компьютеры непотопляемыми! (далее) |
 Опять «глючит» связь? Отказывается работать почта? Безумно любите сети? Протоколы и веб-сервисы захватили мир. Браузеры, файловые хостинги, интернет-кошельки – только не говорите, что вы этим не пользуетесь. Впереди эра IPv6. А ПО до сих пор «глючит». Мы уже боремся с этим. Присоединяйтесь к нам! (далее) |
 Опять не подключается wi-fi? Ваш Linux не дает вам записать любимую музыку на плейер? Опять эти ошибки в драйверах! Мы уже боремся с этой проблемой. Предлагаем присоединиться! (далее) |
 Любите возиться с ассемблером? Интересно узнать, как программируются гаджеты? В каждом из них есть микропроцессор. А знаете, что когда-то он был программой, причем настолько большой, что для ее отладки используют самые современные технологии. Хотите помочь в развитии микропроцессоров, самых нужных компьютерных устройств? (далее) |
 Летали на современных самолетах? Интересуетесь техникой? А знаете, что в самолете "внутри" и как оно делается? То, на чем мы летаем сейчас, задумывалось 20 лет назад, через 10 лет было реализовано, и только сейчас получило разрешение на полет. Не согласны? (далее) |
 Вы любите писать программы под Linux. Ими пользуются ваши друзья и коллеги по Интернету. Но через год-два сменился актуальный дистрибутив Linux и Ваша программа перестала запускаться. Мы знаем, как надо писать программы, чтобы такого не происходило. Знать мало - идея должна быть доведена до результата. А тут есть исследовательские задачи. (далее) |
Проекты отдела в ИСП имени В. П. Иванникова РАН, ведущиеся в рамках нашего спецсеминара
Тестирование авиационной навигационной системы.
Разработка расширяемой системы для динамического анализа и проверки модулей ядра Linux.
Исследования и разработка с использованием технологии UniTESK системы тестов для устройств проекта "Эльбрус-2S".
С остальными проектами можно ознакомиться на сайте нашего отдела.
Партнеры в научно-практической деятельности
|
© Кафедра системного программирования ВМК МГУ. |
Обновлено: 12.IV.2022 |