Институт в фотографиях

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

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

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

zyubin sm

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

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

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

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

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

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

 


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

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