20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C

Козырев Владимир Петрович

Козырев Владимир Петрович

Козырев Владимир Петрович — кандидат технических наук, доцент кафедры кибернетики НИЯУ МИФИ, эксперт компании «ДС БАРС».

В докладе рассматривается процесс верификации программ, разрабатываемых в соответствии с требованиями стандартов DO-178B/C, обязательные мероприятия (activities), проводимые в рамках этого процесса, и инструменты, используемые при их проведении. Представляются результаты, полученные в ходе разработки таких инструментов, проводимой в компании «ДС БАРС».

Доклад состоится 20 октября в 17:00 в ИСП РАН.

Наш семинар перемещается в уютное здание Института системного программирования РАН. Он начнется не в 18:00, а в 17:00. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.

2 Responses to 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C

  1. Михаил Сабуров says:

    Что нужно для прохода на семинар? Нужно ли заранее сообщить о своем намерении участвовать или достаточно просто прийти с паспортом?

    • Евгений Корныхин says:

      Достаточно прийти с паспортом. На входе Вам выпишут разовый пропуск.

Добавить комментарий для Евгений Корныхин Отменить ответ

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>