Информация для докладчиков

Прием заявок на доклады заканчивается 23 апреля в 18:00 Московского времени

---

Уважаемые коллеги!

Мы принимаем заявки на доклады по вопросам обеспечения надежности программно-аппаратных систем на этапах проектирования, разработки, эксплуатации и сопровождения систем, включая:

• Технологии обеспечения надежности и отказоустойчивости систем средствами операционной платформы: разделение ресурсов, мониторинг выполнения, восстановление после отказов. Разработка надежных и отказоустойчивых драйверов.
• Инструменты обеспечения надежности в жизненном цикле ПО: формальная верификация; анализ исходного и бинарного кода; обнаружение дефектов; тестирование; управление жизненным циклом; технологии сборки и портирования ПО.
• Разработка и сертификация операционных систем в различных доменах: ОС общего назначения; встраиваемые ОС для систем управления; ОС реального времени; операционные платформы для “Интернета вещей”.
• Новые подходы к конструированию и организации операционных платформ и компонентов ОС; методы и технологии моделирования, анализа и верификации ОС и компонентов ОС.
• Образование и подготовка кадров в сфере системного программирования.

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

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

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

Расширенные тезисы и статьи просьба загружать по ссылке easychair.org/conferences/?conf=osday2018

Даты

Прием расширенных тезисов и статей: 23 апреля

Уведомление о приеме доклада: 27 апреля

Конференция: 17-18 мая

Финальные версии статей: 1 июня

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

Тезисы подаются в формате 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.