Петухов Вячеслав Николаевич — генеральный директор ООО «3В Сервис». Закончил факультет энергетического машиностроения МГТУ имени Н.Э. Баумана, специалист по ядерным энергетическим установкам.

Скворцов Леонид Маркович — один из разработчиков системы SimInTech. Окончил Московский институт электронного машиностроения в 1973 году. Работал в ЦНИИ автоматики и гидравлики. С 1978 года работает в МГТУ имени Н.Э. Баумана, в настоящее время – в лаборатории компьютерных технологий (бывший ВЦ) Машиностроительного факультета. Защитил кандидатскую диссертацию в 1988 году. С 1976 года занимается разработкой алгоритмов и программ исследования и проектирования управляемых динамических систем. Автор пакетов программ МОДС, ПАЛС, ПДС. С 1995 г. входит в состав коллектива разработчиков программного комплекса SimInTech.

Речь пойдет о среде моделирования SimInTech. Она работает с моделями управляемых технических объектов, динамика которых описывается системой алгебраических и дифференциальных уравнений в общих производных. SimInTech — отечественная среда, она применялась для создания систем управления АЭС, в том числе для управляющих систем безопасности. Аналогом системы является Simulink.

Послушать доклад можно будет 28 января в 18:00 на факультете ВМК МГУ.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Денис Валентинович Ефремов — сотрудник ИСП РАН. Закончил факультет ВМК МГУ имени М.В. Ломоносова в 2011 году. Работал над проектами ИСП РАН по созданию защищённого гипервизора, проектами по созданию инструментов статической и динамической верификации. Ведёт семинары и практические занятия на факультете ВМК по разработке ядра учебной операционной системы. В настоящий момент работает над проектом по верификации модуля ядра операционной системы.

В ходе доклада будут затронуты темы формальной верификации математической модели системы безопасности, верификации её реализации в виде модуля безопасности ядра Linux и вопросы проверки соответствия модели и реализации. Будут представлены текущие результаты работы над проектом по формальной верификации модуля безопасности Parsec операционной системы специального назначения Astra Linux, который создан по мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками. Доклад нацелен на освещение практических аспектов проекта.

Послушать доклад можно будет 17 декабря в 18:00 на факультете ВМК МГУ.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Анатолий Левенчук — президент TechInvestLab, директор по исследованиям Русского отделения INCOSE, член исполкома Русского отделения SEMAT, член ACM/SIGSOFT, расскажет о борьбе сложностью в инженерии. Главным средством этой борьбы является системный подход, который предлагает множество приёмов мышления, помогающих системному инженеру разбить целостную сложную систему и создающий эту систему проект на меньшие части. Системное мышление, в основе которого лежит системный подход, помогает создавать «железные» системы (самолётам, медицинской аппаратуре), программные системы, системы-предприятия. Увы, инженеры часто не знают о системном подходе ничего, кроме определения термина «система». Иногда ещё вспоминают, что системный подход предполагает много разного моделирования, на этом познания обычно заканчиваются. Доклад нацелен на рассказ о системном подходе с точки зрения современных стандартов системной и программной инженерии.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Михаил Рутман — ведущий программист ЛСКТ НИЧ НГУ (лаборатории современных компьютерных технологий научно-исследовательской части НГУ), старший преподаватель кафедры общей информатики факультета информационных технологий Новосибирского государственного университета. Выпускник физического факультета НГУ. Долгое время работал в компании СИГНАТЕК, где прошел путь от программиста до руководителя группы. Занимался разработкой аппаратно-программных комплексов для автоматизации ОРМ. Произведенные АПК занимают лидирующие позиции и используются во всех регионах страны. Некоторое время работал в компании Eyeline Communications, где занимался разработкой сервиса Missed Calls, который используется различными сотовыми операторами в частности компанией МТС. Кроме того, с 2002 года ведет практические занятия по курсу «Операционные системы» на факультете информационных технологий и на кафедре физико-технической информатики физического факультета НГУ.

Желание разработать свою файловую систему возникло в Новосибирском филиале компании Parallels (сегодня известная как Odin) при решении задачи балансировки загрузки веб-кластера. В процессе работы над балансировкой появилась задача снижения времени доступа к данным, расположенным на сетевом файловом хранилище. Существующие технологии, такие как NFS, OCFS2, GFS2, ISCSI и др. не подходили по тем или иным причинам: высокое время доступа к данным, недостаточный или недоработанный функционал.

В качестве решения задачи снижения времени доступа к данным, расположенным на сетевом файловом хранилище, была разработана гибридная файловая система — PleskFS. Она объединяет в себе возможности технологий NFS и ISCSI и использует их сильные стороны для доступа к файлам. О ней пойдет речь в докладе.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Уважаемые слушатели семинара! Осень 2015 года семинар продолжает свою работу. Первое заседание запланировано на 15 октября. Как и раньше, семинар проходит на факультете ВМК МГУ в 18:00. Если вы еще не были у нас раньше, напишите, пожалуйста, заранее письмо на sdat@ispras.ru для оформления пропуска. Если вы хотите выступить на семинаре, напишите об этом Петренко Александру Константиновичу (petrenko@ispras.ru).

Уважаемые слушатели семинара ТРАП!

В связи с тем, что 20-21 мая 2015 в МИЭМ НИУ ВШЭ проходит Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ - 2015) очередное заседание семинара в МГУ не состоится.

Все желающие приглашаются принять участие в данной конференции. Для оформления пропуска на проход в здание МИЭМ необходимо до 15 мая зарегистрироваться на сайте конференции http://ir.miem.edu.ru/.

Дмитрий Мишин — руководитель проектов в департаменте серверной виртуализации Parallels. Выпускник кафедры «Системное программирование» МФТИ при ИСП РАН. С 2004 года продолжил заниматься системным программированием в компании Parallels. С 2006-го года занимается руководством проектов в области серверной виртуализации.

Сергей Бронников — руководитель отдела тестирования продуктов серверной виртуализации Parallels Cloud Server и Parallels Containers for Windows. Работает в компании Parallels с 2005 года. Начинал как тестировщик в команде тестирования Parallels Desktop для Mac, потом организовывал с нуля тестирование решение серверной виртуализации Parallels Server Bare Metal 4.0. В области интересов Сергея - тестирование в открытых проектах, улучшение качества открытого ПО.

Parallels Cloud Server (Odin) — это коммерческий продукт для компаний, предоставляющих услуги хостинга. Объединяет в себе гипервизорную и контейнерную виртуализации. Проект существует 5 лет и за это время трансформировался не только продукт, но и процессы и инструменты разработки. В докладе будет рассказано о том, с какими проблемами столкнулись его разработчики за это время и как они их решали.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Шалимов Александр Владиславович — ведущий программист-исследователь Центра Прикладных Исследований Компьютерных Сетей (ЦПИКС) и младший научный сотрудник МГУ имени М.В. Ломоносова. Окончил факультет ВМК МГУ, кандидат физико-математических наук. В 2010 году прошел стажировку в Microsoft Research (США), где занимался разработкой компилятора для многоядерного процессора нового поколения. С 2011 по 2012 год в качестве приглашенного научного сотрудника работал в Microsoft Research (США), где занимался разработкой системы выполнения программ для процессора нового поколения. В данный момент ведет научные исследования и разработку в области программно-конфигурируемых систем: распределенная сетевая операционная система, высокопроизводительный виртуальный программный коммутатор, виртуализация сетей и сетевых функций.

Область научных интересов — это компьютерные сети, архитектуры вычислительных систем и компиляторы: программно-конфигурируемые сети, многоядерная обработка пакетов, распределенные системы, системы поддержки исполнения программ, компактное представление программ, энергоэффективное выполнение программ.

В докладе пойдет речь о проекте RUNOS - сетевой ОС для программно-конфигурируемых сетей. Проект находится в открытом доступе arccn.github.io/runos.
Будут освещены принятые технические решения, которые позволили создать удобную сетевую ОС для программиста. Так же пойдет речь о перспективных приложениях сетевой ОС и вариантах применения совместно с сетями традиционной архитектуры.
RUNOS уже используется в университетах и в промышленности (сервис провайдеры, телеком операторы, ЦОД) для создания пилотных зон по внедрению подхода к программному управлению компьютерными сетями.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Фролов Александр Сергеевич — инженер-программист ООО «ВАИС-Техника» (Компания Wise Technique). Закончил МФТИ. Его опыт включает такие проекты как система объективного контроля RRJ-express (ЗАО «Гражданские самолеты Сухого») и перспективное информационно-управляющее поле кабины самолёта (ФГУП «Пилотажно-исследовательский центр»). Результаты по последнему из проектов тестировались на летающей лаборатории Су-30 и представлялись на международных авиационных выставках: международный авиационно-космический салон (МАКС, Жуковский), Авиасвит (Киев).

Планируется дать обзор основных идей и программных интерфейсов, используемых при разработке модульных операционных систем (и МОС ОП, в частности), а также технологий разработки системного и программного обеспечения для МОС ОП.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Антоненко Виталий Александрович — кандидат физико-математических наук, младший научный сотрудник МГУ имени М.В. Ломоносова, сотрудник ЦПИКС (Центра Прикладных Исследований Компьютерных Сетей). Его опыт включает научные проекты в области имитационного моделирования и сетевой безопасности в лаборатории вычислительных комплексов факультета ВМК МГУ имени М.В. Ломоносова, а также опыт преподавания «практикума по настройке сетевого оборудования» для студентов. Основные научные интересы: сетевая безопасность, моделирование компьютерных сетей, компьютерных вирусов, сетевых червей, сетевых протоколов, распространения вредоносного ПО, имитационного моделирования.

Open-source система Network Prototype Simulator (NPS) позволяет всего лишь на кластере компьютеров или серверов воспроизводить глобальные компьютерные сети до десятков тысяч хостов. Идея создания системы, позволяющей воспроизводить сети глобальных масштабов, появилась во время проведения эксперимента с распространением вредоносного программного обеспечения (ВПО). При подобных исследованиях важна точность прогнозирования последствий распространения таких программ, которая при использовании стандартного подхода имитационного моделирования не достигается, а на реальном оборудовании такие эксперименты ставить опасно. Поэтому было решено разработать систему, позволяющую проводить такие тесты с максимальной достоверностью, но с минимальными ресурсами и минимальным ущербом для реального оборудования.

Система NPS разработана для исследования процессов функционирования глобальной компьютерной сети, работки новых протоколов сетевой маршрутизации и разработки новых сетевых приложений (например, приложений для ПКС контроллеров). Данная система представляет из себя «песочницу» для проведение сложных экспериментов. Система NPS является масштабируемым решением с возможность имитационного моделирования сети состоящей и десятков тысяч узлов. Это альтернатива сетевым эмуляторам и аналитическим моделям компьютерных сетей.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).