Материалы конференции 26-27 октября 2018 года

Круглый стол и семинар с международным участием «Оберон-технологии, образование и проблема качества в цифровой индустрии» прошёл в Орле, 26-27 октября 2018 года.

Организаторы

  • Кластер информационных технологий Орловской области
  • Международный общественный научно-образовательный проект «Информатика-21»
  • Институт проблем управления информацией (интернет-проект OberonCore)
  • Орловский государственный университет им. И. С. Тургенева, Физико-математический факультет
  • Профессиональная ассоциация МОЛПИТ

Записи докладов можно посмотреть в плейлисте первого дня или второго дня, а также по отдельным ссылкам ниже.

26 октября День Оберона-2018

27 октября Системные проблемы цифровой индустрии и путь выхода из них

26 октября. День Оберона-2018

День Оберона в 2018 году прошёл 26-го октября в виде первого дня конференции «Оберон-технологии, образование и проблема качества в цифровой индустрии».

С докладами выступили специалисты-практики, использующие Оберон-технологии, в том числе в стратегических отраслях. Почётным гостем и пленарным докладчиком был профессор Юрг Гуткнехт – соавтор профессора Никлауса Вирта в создании языка и операционной системы Оберон.

Основные темы:

  • Оберон-технологии: история, современность, будущее.>
  • Проект «Информатика-21», Оберон для образования и подготовки кадров для ИТ-индустрии.
  • Перспективы Оберон-технологий для стратегических отраслей.
  • Качества технологического направления Оберон, определяющие его значение для будущего цифровой индустрии.
  • Доклады о применениях Оберон-технологий — в вычислительных методах в физике высоких энергий; в атомной отрасли; в беспилотных летательных аппаратах; в биофизике; в разработке корпоративных и веб-систем и других отраслях

Оберон: взгляд на прошлое и перспективы, (OBERON & Before and Beyond by Jürg Gutknecht)

Юрг Гуткнехт, доктор наук, профессор ETH, Цюрих, Швейцария

Оберон — «серебрянная пуля»

Ткачёв Фёдор Васильевич, д. ф.-м. н., в. н. с., Институт ядерных исследований РАН, координатор Международного общественного научно-образовательного проекта «Информатика‑21», Москва, Россия

Перспективы Оберон-технологий для стратегических областей

Дагаев Дмитрий Викторович, главный эксперт, АО «РАСУ», Росатом, Москва, Россия

Компонентный каркас Блэкбокс (Компонентный Паскаль) и его развитие сообществами

Денисов Иван Андреевич, координатор проекта «Кросс-платформенная сборка Блэкбокса», Красноярск

Оберон в физике элементарных частиц

Ткачёв Фёдор Васильевич, д. ф.-м. н., в. н. с., Институт ядерных исследований РАН, координатор Международного общественного научно-образовательного проекта «Информатика‑21», Москва, Россия

Оберон в обучении

Чернышов Лев Николаевич, к. ф.-м. н., доц., каф. вычислительной математики и программирования, Московский авиационный институт, Москва

Инструменты семейства Оберон: комплекс качеств, логика развития, значение для индустрии

Ермаков Илья Евгеньевич, Ermakov Systima, Кластер информационных технологий Орловской области, Орёл

Блэкбокс для компьютерного моделирования и 3D-визуализации

Денисов Иван Андреевич, координатор проекта «Кросс-платформенная сборка Блэкбокса», Красноярск

Трансляция языков Оберон-семейства в Си. Проекты Ofront+ и CPfront

Чередниченко Олег Николаевич, фриланс-разработчик, лидер проекта «Оберон-клуб VEDAsoft»

Платформа КРЫМ и опыт семантического библиотечного расширения языка

Ермаков Илья Евгеньевич, Ermakov Systima, Кластер информационных технологий Орловской области, Орёл

Компилятор O7 для ARMv6/v7: применения и перспективы (краткий обзор)

Денисов Иван Андреевич, координатор проекта «Кросс-платформенная сборка Блэкбокса», Красноярск

27 октября. Системные проблемы цифровой индустрии и путь выхода из них

Второй день конференции имел расширенную тематику и формат круглого стола «Системные проблемы цифровой индустрии и путь выхода из них». Круглый стол посвящён проблеме качества в цифровой индустрии и применению альтернативных рыночному «мейнстриму» инструментов и технологий, направленных на повышение надёжности и качества разработки цифровых систем, на импортозамещение, в том числе в сфере ответственных систем управления и техническом направлении «Интернет вещей».

Основные темы:

  • Формулировка и обсуждение системных проблем цифровой индустрии
  • Краткие презентационные доклады о специализированных отраслевых технологиях, обеспечивающих производительность и надёжность разработки
  • Разработка резолюции круглого стола как экспертного программного документа о преодолении проблем качества в цифровой индустрии.

Ада в современной программной индустрии

Рыбин Сергей Игоревич, к.ф.-м.н., консультант компании AdaCore

Один мало известный метод верификации распределенных программ

Сабирзянов Рифат Ринатович, старший инженер-программист ООО «ДжиДиСи Сервисез», Казань

Мониторинг качества объектно-ориентированного программного обеспечения на этапе проектирования

Лаптев Валерий Викторович, к. т. н., доц., каф. «Автоматизированные системы обработки информации и управления», Астраханский государственный технический университет, Астрахань

Проблема подготовки качественных программистов

Лукин Владимир Николаевич, к.ф.-м.н., доцент МАИ, Москва

Восемь смертных грехов профессиональных программистов

Дагаев Дмитрий Викторович, главный эксперт, АО «РАСУ», Росатом, Москва, Россия

Semantic IDE. Интерактивный самоучитель по программированию

Лаптев Валерий Викторович, к. т. н., доц., каф. «Автоматизированные системы обработки информации и управления», Астраханский государственный технический университет, Астрахань

Инструменты семейства Оберон (языки, среды, фреймворки). Комплекс качеств, логика развития, значение для цифровой индустрии

Ермаков Илья Евгеньевич, Ermakov Systima, Кластер информационных технологий Орловской области, Орёл