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

22 апреля 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Спецификация и анализ событийно-непрерывных систем

Докладчик:
Шорников Юрий Владимирович (ИАиЭ СО РАН, Новосибирск)

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

Cсылка на вебинар

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

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

1 апреля 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Автоматное программирование на базе системы моделирования и верификации Event-B

Докладчик:
Шелехов Владимир Иванович
(Институт систем информатики СО РАН, Новосибирск)

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

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

видео -- https://youtu.be/la-DLQ4uf8M

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

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

11 марта 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Инструментальная поддержка разработки через тестирование ПО для вентильных матриц

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

Аннотация: На семинаре планируется обсудить концепцию разработки ПО для вентильных матриц на основе подхода test-driven development. Среди прочего планируется провести критический анализ недостатков существующих IDE для FPGA, рассмотреть вопросы использования темпоральных логик, примеры использования подхода на модельной задаче, подходы к поддержке предлагаемого метода разработки на уровне IDE.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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