Семинар «Инжиниринг современных информационных систем»
29 марта 2021 г. (понедельник), 10-00 (6-00 МСК)
Тема: Предметно-ориентированное решение для разработки device managment подсистемы семейства телекоммуникационных систем
Докладчик: д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)
Аннотация: Разработка новых предметно-ориентированных языков программирования, их интеграция с предметно-ориентированными визуальными языками и реализация итогового программного решения - все это является актуальными задачами при разработке программного обеспечения. Доклад будет посвящен решению этой задачи в рамках семейства программно-аппаратных систем крупной телекоммуникационной корпорации. Особое внимание будет уделено бесшовной интеграции предметно-ориентированного языка программирования и визуального языка, а также архитектуре целевого программного решения.
Семинар «Инжиниринг современных информационных систем»
16 марта 2021 г. (вторник), 10-00 (6-00 МСК)
Тема: Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)
Докладчик: Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. В докладе на примере технологического процесса генерации эндогаза рассматривается процедура дедуктивной верификации на платформе Rodin (Event-B): описывается задача, автоматный алгоритм управления, определяются требования, приводится процедура преобразования алгоритма и требований для целей верификации в виде набора аксиом и теорем, демонстрируется процедура верификации, которая сводится к доказательству теорем.
Семинар «Инжиниринг современных информационных систем»
20 ноября 2019 г. (среда), 11:00, конференц-зал ИАиЭ
Тема доклада: Создание фабрик программных продуктов на основе модельно-ориентированного подхода
Докладчик: д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)
Доклад посвящен модельно-ориентированному подходу для организации фабрик программных продуктов. Под фабрикой подразумеваются такие линейки продуктов, когда каждый следующий продукт создается с применением кодогенерации по моделям с минимальным привлечением «ручного» программирования. Будут рассмотрены statecharts для телекоммуникационной сферы, а также некоторые другие виды UML-диаграмм. В докладе будут приведены данные по ряду реальных проектов, сформулированы выводы и уроки.
Семинар «Инжиниринг современных информационных систем»
15 марта 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1
Тема доклада: Язык требований в автоматном программировании
Докладчик: канд. техн. наук, зав.лаб. Шелехов Владимир Иванович (Институт систем информатики им. А. П. Ершова)
В обзорной лекции, которую прочитает заведующий лабораторией системного программирования ИСИ СО РАН, будут обсуждаться вопросы инженерии требований в программах, широко используемых в системах управления, встраиваемых системах, и вообще -- в кибер-физических системах.
Семинар «Инжиниринг современных информационных систем»
22 февраля 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1
Тема доклада: Языковые и инструментальные средства создания и исполнения сценариев управления космическими аппаратами (диссертация на соискание степени кандидата технических наук, 05.13.11)
Докладчик: Космынина Наталья Александровна (СФУ, г. Красноярск)
Семинар «Инжиниринг современных информационных систем»
15 февраля 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1
Тема доклада: Лаборатория НГУ "Инжевика": использование компьютерных технологий в нейронауках
Докладчик: канд. биол. наук, зав.лаб. Поликарпов Иван Андреевич (НГУ, лаб. ФИТ НГУ «Инжевика»)
Планируется обсудить: вопросы взаимопроникновения информационных технологий и нейронаук, и подготовки специалистов в области нейронаук; возможность сотрудничества с лабораторией "Инжевика", в том числе, научное руководство проектами, участие в проводимых грантовых работах, способы привлечения студентов ФИТ к научным проектам Института.
Семинар «Инжиниринг современных информационных систем»
01 февраля 2019 г. (пятница), 11:00, конференц-зал ИАиЭ, 3 этаж (просп. Ак. Коптюга, 1)
Тема доклада: Академгородок 2.0: Проект источника синхротронного излучения для ННЦ
Докладчик: к. ф.-м. н. Золотарев Константин Владимирович (Институт ядерной физики СО РАН)
В обзорной лекции, которую прочитает заведующий лабораторией ИЯФ СО РАН, будут обсуждаться мотивационные и технические стороны проекта создания Сибирского кольцевого источника фотонов (СКИФ) и исследований с использованием синхротронного излучения, среди прочего будут затронуты вопросы автоматизации ускорительного комплекса и пользовательских станций.
Семинар «Инжиниринг современных информационных систем»
18 января 2019 г. (пятница), 11:00, конференц-зал ИАиЭ, 3 этаж (просп. Ак. Коптюга, 1)
Тема доклада: Scientific Coin: краудфандинговая платформа для финансирования научных проектов
Докладчик: Максим Дведенидов (CEO at Scientific Coin Inc., Redwood City, California, USA)
В обзорной лекции, которую прочитает руководитель проекта Scientific Coin, будет обсуждаться система финансирования научных проектов Scientific Coin, и её бизнес-модель, включающая экспертную оценку и организацию взаимодействия с инвесторами через смарт-контракты. Среди прочего будут затронуты вопросы возможного участия в проекте, в том числе сотрудников Института и студентов НГУ (ФИТ, ФФ, ММФ, ЭФ).
