• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Седьмая научно-практическая конференция «OS DAY. Встроенные операционные системы»

Мероприятие завершено

Место и время проведения
Октябрь 2020 г., Москва. Главное здание Российской академии наук. Дата проведения конференции будет уточнена в зависимости от эпидемиологической обстановки. Вы узнаете ее на сайте и из рассылок зарегистрированным участникам.

OS DAY –  коммуникационная площадка для теоретиков и практиков системного программирования и разработки операционных платформ, место консолидации российских разработчиков, движущихся в сходных направлениях. Конференция объединяет создателей системного и прикладного ПО, производителей аппаратного обеспечения (процессоров, вычислительных комплексов),  а также заказчиков, тем самым связывая все слои ИТ-индустрии России. 

Сообщество организаторов
Конференцию организует консорциум OS DAY, в который входят ИСП РАН, DZ Systems, Базальт СПО, ГосНИИАС, «Лаборатория Касперского», РЕД СОФТ, РусБИТех-Астра, Криптософт. 

Цель сообщества – определить задачи и возможности России в области разработки операционных платформ, выделить перспективные  технологии, обменяться опытом, обозначить вызовы ИТ-отрасли и направления движения. 

Тема: Встроенные операционные системы и инфраструктура их управления

В 2020 году конференция будет посвящена операционным системам для встроенных устройств; ОС как основе для «умных» устройств; доверенной, безопасной инфраструктуре российских ОС. Под встроенными применениями мы рассматриваем любые ситуации, в которых операционная система используется для конкретно очерченной цели в рамках устройства или комплекта устройств, с ограниченным или фиксированным набором прикладных программ.

Выставка
В рамках конференции будет проводиться выставка разработок отечественных производителей операционных систем и аппаратных платформ, инструментов разработки и обеспечения надежности ПО. Для участия выставки направьте заявку в свободной форме на адрес osday@ispras.ru до 15 сентября 2020 г.

Доклады
Принимаются заявки на доклады по следующей тематике:

·       Научные основы для разработки встроенных операционных систем.

·       Требования и ограничения встроенных применений операционных систем.

·       Принципы и инструменты, применяемые при конфигурировании встроенных систем под конкретное применение.

·       Управление ресурсами во встроенных системах.

·       Дистанционная отладка и мониторинг.

·       Инфраструктурные компоненты.

·       Инструментарий, специфичный для встроенных применений.

·       Иные близкие темы.

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

Тезисы и публикации

Принимаются расширенные тезисы и полные статьи на русском или английском языке по темам конференции OSDAY:

·      Расширенные тезисы объемом 1-2 страницы. Требования к оформлению тезисов указаны ниже.

Тезисы будут использоваться программным комитетом для принятия решения о приеме доклада на конференцию. Тезисы издаваться не будут.

Организационный комитет может рекомендовать подготовить по лучшим докладам статьи для публикации в журналах «Труды ИСП РАН» или «Системный администратор», которые входит в список ВАК и индексируются в РИНЦ.

·      Статьи объемом 10-20 страниц в формате шаблона статей журнала Труды ИСП РАН.

При положительном решении редколлегии статьи будут опубликованы в журнале «Труды ИСП РАН».

 

Расширенные тезисы и статьи необходимо загружать по ссылке          

Даты

·      Прием заявок (с тезисами) – до 31 августа

·      Прием расширенных тезисов и статей: 18 сентября

·      Уведомления о приеме докладов: 30 сентября

·      Конференция: дата будет уточнена

·      Прием финальных версий статей для публикации: 30 октября

      

Требования к тезисам доклада

Тезисы подаются в формате pdf, odt, doc/docx.

Размер тезисов 1,5-2 страницы.

Размер бумаги - А4, ориентация документа – книжная.

Поля: 2 см.

Заголовок: полужирный шрифт Times New Roman или аналогичный, 12 pt. Выравнивание - по центру.

Под заголовком указать: Ф.И.О. автора, наименование и адрес организации, адрес электронной почты. Текст: курсив, шрифт  Times New Roman или аналогичный, 12 pt. Выравнивание - по центру.

Подзаголовки: строчные буквы, полужирный шрифт Times New Roman, 12 pt. Выравнивание – по ширине, без отступа слева и пропуска между подзаголовком и основным текстом.

Шрифт основного текста: Times New Roman, 12 pt. Выравнивание - по ширине. Отступ первой строки – 1,25 см. Интервал 1.


Участие в конференции бесплатное. Для участия просьба зарегистрироваться на сайте конференции.

Место проведения конференции: Москва, Ленинский проспект, 32 А, Синий зал.

 

По дополнительным вопросам просьба обращаться:

Новомлинская Анна, исполнительный директор OS DAY, anna@dz.ru (участие).

Олег Самоваров, ученый секретарь ИСП РАН, samov@ispras.ru (доклады).