Институт автоматики и электрометрии СО РАН
Институт систем информатики СО РАН им. А. П. Ершова

Межинститутский семинар
"Инжиниринг современных информационных систем"

Координатор семинара

д-р техн. наук

Зюбин Владимир Евгеньевич

Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Секретарь семинара

Лях Татьяна Викторовна

Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

isislogo

12.03.2021

Семинар «Инжиниринг современных информационных систем»

16 марта 2021 г. (вторник), 10-00 (6-00 МСК)

Тема:
Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)

Докладчик:
Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)

Аннотация: Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. В докладе на примере технологического процесса генерации эндогаза рассматривается процедура дедуктивной верификации на платформе Rodin (Event-B): описывается задача, автоматный алгоритм управления, определяются требования, приводится процедура преобразования алгоритма и требований для целей верификации в виде набора аксиом и теорем, демонстрируется процедура верификации, которая сводится к доказательству теорем.

Материалы:
1. Максим Нейзов. Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 1. Часть 2. Часть 3.
2. Презентация доклада.
3. Архив проекта Rodin.

Видео -- https://youtu.be/Miqi4DWqS8o

Страница семинара

isislogo

18.11.2019

Семинар «Инжиниринг современных информационных систем»

20 ноября 2019 г. (среда), 11:00, конференц-зал ИАиЭ

Тема доклада:
Создание фабрик программных продуктов на основе модельно-ориентированного подхода

Докладчик: д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)

Доклад посвящен модельно-ориентированному подходу для организации фабрик программных продуктов. Под фабрикой подразумеваются такие линейки продуктов, когда каждый следующий продукт создается с применением кодогенерации по моделям с минимальным привлечением «ручного» программирования. Будут рассмотрены statecharts для телекоммуникационной сферы, а также некоторые другие виды UML-диаграмм. В докладе будут приведены данные по ряду реальных проектов, сформулированы выводы и уроки.

Страница семинара

isislogo

12.03.2019

Семинар «Инжиниринг современных информационных систем»

15 марта 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1

Тема доклада:
Язык требований в автоматном программировании

Докладчик: канд. техн. наук, зав.лаб. Шелехов Владимир Иванович (Институт систем информатики им. А. П. Ершова)

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

Ссылка на видеозапись -- https://www.youtube.com/watch?v=IpZ9VlIcHYQ

Страница семинара

isislogo

20.02.2019

Семинар «Инжиниринг современных информационных систем»

22 февраля 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1

Тема доклада:
Языковые и инструментальные средства создания и исполнения сценариев управления космическими аппаратами
(диссертация на соискание степени кандидата технических наук, 05.13.11)

Докладчик: Космынина Наталья Александровна (СФУ, г. Красноярск)

автореферат -- Kosmynina_auto.pdf

Страница семинара

isislogo

13.02.2019

Семинар «Инжиниринг современных информационных систем»

15 февраля 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1

Тема доклада:
Лаборатория НГУ "Инжевика": использование компьютерных технологий в нейронауках

Докладчик: канд. биол. наук, зав.лаб. Поликарпов Иван Андреевич (НГУ, лаб. ФИТ НГУ «Инжевика»)

Планируется обсудить: вопросы взаимопроникновения информационных технологий и нейронаук, и подготовки специалистов в области нейронаук; возможность сотрудничества с лабораторией "Инжевика", в том числе, научное руководство проектами, участие в проводимых грантовых работах, способы привлечения студентов ФИТ к научным проектам Института.

Страница семинара

isislogo

29.01.2019

Семинар «Инжиниринг современных информационных систем»

01 февраля 2019 г. (пятница), 11:00, конференц-зал ИАиЭ, 3 этаж (просп. Ак. Коптюга, 1)

Тема доклада:
Академгородок 2.0: Проект источника синхротронного излучения для ННЦ

Докладчик: к. ф.-м. н. Золотарев Константин Владимирович (Институт ядерной физики СО РАН)

В обзорной лекции, которую прочитает заведующий лабораторией ИЯФ СО РАН, будут обсуждаться мотивационные и технические стороны проекта создания Сибирского кольцевого источника фотонов (СКИФ) и исследований с использованием синхротронного излучения, среди прочего будут затронуты вопросы автоматизации ускорительного комплекса и пользовательских станций.

Презентация – 190201_present_Zolotarev.pptx

Ссылка на видео-запись – https://www.youtube.com/watch?v=Urowg3WRXvc

Страница семинара

isislogo

17.01.2019

Семинар «Инжиниринг современных информационных систем»

18 января 2019 г. (пятница), 11:00, конференц-зал ИАиЭ, 3 этаж (просп. Ак. Коптюга, 1)

Тема доклада:
Scientific Coin: краудфандинговая платформа для финансирования научных проектов

Докладчик: Максим Дведенидов (CEO at Scientific Coin Inc., Redwood City, California, USA)

В обзорной лекции, которую прочитает руководитель проекта Scientific Coin, будет обсуждаться система финансирования научных проектов Scientific Coin, и её бизнес-модель, включающая экспертную оценку и организацию взаимодействия с инвесторами через смарт-контракты. Среди прочего будут затронуты вопросы возможного участия в проекте, в том числе сотрудников Института и студентов НГУ (ФИТ, ФФ, ММФ, ЭФ).

Доклад – 190118_talk.pdf

Презентация – 190118_present_Dvedenidov.pdf

Ссылка на видео-запись – https://www.youtube.com/watch?v=VXLuq0W8Yc0

Страница семинара

isislogo

20.12.2018