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

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

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

zyubin sm

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

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

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

13.09.2021

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

16 сентября 2021 г. (четверг), 14:00 (10:00 МСК)

Тема:
Техника блокчейн для нефинансовых применений в Интернете вещей

Докладчик:
Алекс Шафаренко (Университет Хартфордшира, Англия)

Аннотация: В докладе планируется затронуть протоколы безопасности, архитектуру и основные структуры созданного автором блокчейна PLS. Будет рассмотрена модель риска, обсуждена макро архитектура системы, предложены новые криптопротоколы, проанализирован режим чрезвычайной ситуации и разработаны новые индексные структуры для обеспечения прямого доступа к блокчейну для платформ с ограниченными ресурсами: умные сенсоры/активаторы на основе ESP32 и коммуникационной среды LoRa.. 

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

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


isislogo

01.09.2021

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

2 сентября 2021 г. (четверг), 10:00 (6-00 МСК)

Тема:
PLC-Easy: DCS solution based on Schneider PLCs and Wonderware SCADA

Докладчик:
Martyn Hilbers, E, I&C Engineer, (Cleveland, USA)

Аннотация: PLC-Easy is a no-nonsense, no-frills and no code DCS solution based on Schneider PLCs and Wonderware SCADA. We believe that creating control software should be simple and fast like creating a PowerPoint presentation. Further, we believe that people that have in-depth knowledge of a process should be empowered to translate that knowledge into control functionalities. PLC-Easy combines the advantages of a DCS (consistency, reusability, scalability, etc.) with the endless possibilities of a PLC-SCADA system. 

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

site: https://www.plc-easy.com/ , video (20 min): https://youtu.be/h3vV6KLCy0k

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


isislogo

27.03.2021

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

29 марта 2021 г. (понедельник), 10-00 (6-00 МСК)

Тема:
Предметно-ориентированное решение для разработки device managment подсистемы семейства телекоммуникационных систем

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

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

Видео -- https://www.youtube.com/watch?v=esnvZo-DnRM


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

 


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

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