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

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

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

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

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

This email address is being protected from spambots. You need JavaScript enabled to view it.

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

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

This email address is being protected from spambots. You need JavaScript enabled to view it.

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