20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C

Козырев Владимир Петрович

Козырев Владимир Петрович

Козырев Владимир Петрович — кандидат технических наук, доцент кафедры кибернетики НИЯУ МИФИ, эксперт компании «ДС БАРС».

В докладе рассматривается процесс верификации программ, разрабатываемых в соответствии с требованиями стандартов DO-178B/C, обязательные мероприятия (activities), проводимые в рамках этого процесса, и инструменты, используемые при их проведении. Представляются результаты, полученные в ходе разработки таких инструментов, проводимой в компании «ДС БАРС».

Доклад состоится 20 октября в 17:00 в ИСП РАН.

Наш семинар перемещается в уютное здание Института системного программирования РАН. Он начнется не в 18:00, а в 17:00. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.

2 Comments

15 сентября: Динамическая композиция программных компонентов

Гринкруг Ефим Михайлович — кандидат технических наук, профессор департамента программной инженерии факультета компьютерных наук НИУ ВШЭ. В прошлом — разрабочик ОС М-10 (НИИ Вычислительных комплексов имени М.А. Карцева, эксперт компании Параграф (www.parallelgraphics.com), начальник отдела LuxoftLabs и CТО компании Meshnetics.

Гринкруг Ефим Михайлович

Гринкруг Ефим Михайлович

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

Доклад состоится 15 сентября в 17:00 в ИСП РАН.

Наш семинар перемещается в уютное здание Института системного программирования РАН. В этот раз он начнется не в 18:00, а в 17:00. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110. В этот раз прямой трансляции и записи семинара не будет — ждем всех вас лично на семинаре!

Leave a comment

21 апреля: Методы деанонимизации пользователей сети Tor

Сергей Авдошин

Сергей Авдошин

Авдошин Сергей Михайлович — руководитель Департамента программной инженерии НИУ Высшая школа экономики, кандидат технических наук, профессор НИУ ВШЭ.

Александр Лазаренко

Александр Лазаренко

Лазаренко Александр Вячеславович — студент 2 курса бакалавриата образовательной программы «Программная инженерия» НИУ Высшая школа экономики.

На сегодняшний день одним из инструментов для обеспечения приватности пользователей в глобальной сети является сеть Tor. Это полностью децентрализованная, оверлейная анонимная сеть, состоящая из волонтерских серверов. Все эти свойства обеспечивают высокий уровень анонимности пользователей, что позволяет успешно скрывать свои следы в интернете. Однако, среди пользователей Tor попадаются и преступники: наркоторговцы, воры и прочие нарушители порядка. Для того, чтобы предотвращать незаконную деятельность, необходимо деанонимизировать этих пользователей. О методах деанонимизации и пойдет речь в данном докладе.

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

Внимание! Важная информация по поводу прохода в МГУ! В связи с усилением пропускной системы, если вы хотите приехать на доклад в МГУ, просим до 12:00 понедельника, 18 апреля, прислать нам на почту sdat@ispras.ru (даже если вы уже были у нас на семинаре до марта этого года) свои ФИО, где и кем работаете, кратко свои достижения (например, ученая степень, звание, если есть). Не забудьте взять с собой паспорт на семинар.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar.

Leave a comment

24 марта: Геоинформационное ПО: технологии и проблемы

Дмитрий Барышников

Дмитрий Барышников

Барышников Дмитрий — разработчик NextGIS, коммитер GDAL, член сообщества ГИС-Лаб.

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

Послушать доклад можно будет 24 марта в 18:00 на факультете ВМК МГУ. Выступит представитель «GIS-Lab — неформального сообщества специалистов в области ГИС и ДЗЗ, развивающих себя и помогающих осваивать пространственные технологии тем, кому необходима помощь». Сайт gis-lab.info.

Внимание! Важная информация по поводу прохода в МГУ! В связи с усилением пропускной системы, если вы хотите приехать на доклад в МГУ, просим до 12:00 понедельника, 21 марта, прислать нам на почту sdat@ispras.ru (даже если вы уже были у нас на семинаре) свои ФИО, где и кем работаете, кратко свои достижения (например, ученая степень, звание, если есть). Не забудьте взять с собой паспорт.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar.

Leave a comment

18 февраля: Технология разработки пакетов поддержки модулей для ОС РВ Багет

Юрий Михайлович Лазутин

Лазутин Юрий Михайлович — доктор ф.-м. наук (05.13.11), заведующий отделом базового программного обеспечения в отделении разработки вычислительных систем ФГУ ФНЦ НИИСИ РАН.

Одной из разработок НИИСИ РАН являются операционные системы реального времени, в частности, ОС РВ Багет 2.* и ОС РВ Багет 3.*. С целью упрощения ее перенесения для новой целевой архитектуры или при изменении существующей архитектуры часть операционной системы, зависящая от аппаратуры, четко выделена. Эта часть, называемая пакетом поддержки модуля (ППМ), поставляется вместе с исходными текстами операционной системы. Её адаптация к аппаратуре (например, добавление или изменение драйверов устройств) производится путем внесения изменений в исходные тексты ППМ. При этом нет необходимости вносить изменения в другие части системы. На семинаре будет рассказано о сложившейся за 20 лет технологии разработки ППМ (более 10-ти различных модулей и около 10 «систем на кристалле», в основном - MIPS1 и «MIPS64», но поддерживается и i386).

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

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

Leave a comment

28 января: Среда динамического моделирования технических систем SimInTech как универсальная платформа для создания динамических моделей технических систем

Петухов Вячеслав Николаевич

Петухов Вячеслав Николаевич

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

Скворцов Леонид Маркович

Скворцов Леонид Маркович

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

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

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

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

Leave a comment

17 декабря: Формальная верификация модуля безопасности ядра Linux

Денис Ефремов

Денис Ефремов

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

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

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

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

Leave a comment

19 ноября: Сложность в инженерии

Анатолий Левенчук

Левенчук Анатолий Игоревич

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

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

Leave a comment

15 октября: PleskFS — гибридная файловая система для облачного веб-хостинга

Михаил Рутман

Михаил Рутман

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

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

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

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

Leave a comment

Сезон 2015/2016

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

Leave a comment