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

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