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

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

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

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

12.11.2021

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

17 ноября 2021 г. (среда), 15:00 (11:00 МСК)

Тема:
Framework for closed-loop formal verification of distributed automation software with plant model generator from event logs

Докладчик:
Midhun Xavier (Luleå University of Technology, Sweden)

Аннотация: This seminar introduces a concept of an automatic generation of a formal model of plant from the event logs. The formal model implementation and its verification are done with the help of a comprehensive toolchain that can combine design, simulation, formal verification, and distributed deployment of automation software. The talk discusses conceptual, methodological, and instrumental components of the toolchain.

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

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


isislogo

09.11.2021

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

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

Тема:
Автоматно-функциональная парадигма программирования реактивных систем

Докладчик:
Максим Нейзов

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

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

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


isislogo

26.10.2021

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

28 октября 2021 г. (четверг), 14:00 (10:00 МСК)

Тема:
Ко-моделирование аппаратной и программной части реальной киберфизической системы: ArduPilot на основе Arduino

Докладчик:
Сергей Старолетов (лаб. киберфизических систем ИАиЭ СО РАН)

Аннотация: Изучение передового опыта архитектурной организации программных систем для реальных киберфизических систем можно проводить на решениях с открытым исходным кодом, которые разрабатываются большими сообществами энтузиастов. Такие решения неоднократно тестировались на реальных устройствах в различных природных условиях. Построение моделей с использованием программного кода, представление их в графической форме позволяет нам анализировать устойчивые архитектурные программно-аппаратные решения и свойства таких систем. В докладе рассматривается система управления квадрокоптером на базе платы ArduPilot Mega, обсуждается планировщик задачи и их взаимосвязь. Также обсуждается распределенное решение для системы управления на базе SPI и CAN-шины.

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

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


isislogo

13.10.2021

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

15 октября 2021 г. (пятница), 14:00 (10:00 МСК)

Тема:
Сдвиговый автомат как средство задания структурных свойств автоматной модели поведения

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

Аннотация: Доклад посвящен подходу к дедуктивной верификации управляющих программ, который заключается в построении автоматной модели программы и задании на её основе системы аксиом. При построении аксиоматики одной из ключевых задач является задача формализации структурных свойств автоматной модели. В качестве решения в докладе будет представлена модификация автоматной модели, которая получила название "сдвиговый автомат". Свойства модели демонстрируются и обсуждаются на примерах.

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

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


isislogo

25.09.2021

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

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

Тема:
Индексирование блокчейна для микроплатформ с ограниченным коммуникационным бюджетом

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

Аннотация: В докладе планируется рассмотреть проблему компактных индексных структур блокчейна, вопросы безопасного доступа и вопросы эффективности организации блокчейна, ориентированного на smart–объекты типа умная больница, умная фабрика и др.

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

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


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-диаграмм. В докладе будут приведены данные по ряду реальных проектов, сформулированы выводы и уроки.

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