Владимир Козырев, доцент НИЯУ МИФИ (кафедра кибернетики).
ВКандидат технических наук (1988). Ведет курс «Технология программирования» в МИФИ. В течение последних 20 лет практическая деятельность связана с разработкой и верификацией авиационного ПО. Одновременно с преподаванием в МИФИ работал в компании DC BARS (с 1999 по 2016 гг.), а с 2016 г. - в компании Advalange. Последние несколько лет занимается разработкой инструментов верификации авиационного ПО (анализа структурного покрытия, времени выполнения и использования памяти в наихудшем случае).
Одним из требований к организации процесса верификации авиационного ПО, содержащихся в документе RTCA DO-178C (и его российском аналоге - КТ-178C), является проведение анализа структурного покрытия исходного кода ПО. Такой анализ предполагает обеспечение сбора структурного покрытия, для чего используются соответствующие инструменты. Различные инструменты для сбора покрытия присутствуют на рынке уже довольно давно, однако лишь в немногих из них заявлена функциональность сбора покрытия связности по данным и управлению, при этом ни один из них не обеспечивает анализ покрытия связности по данным в той мере, в которой можно было бы считать их обеспечивающими соответствующее требование DO-178C. В докладе представляются результаты НИР по разработке инструментария сбора и анализа структурного покрытия, проводимых в последние годы в ГосНИИАС.
