RUS ENG

< Премия правительства Санкт-Петербурга
28.04.2011 12:00 Давность: 8 yrs
Категория: Семинар

Развитие комплексного метода верификации программного обеспечения для бортовых систем управления

А. Самокиш (СПбГУАП)


Предлагается рассмотреть комплексный подход к построению сценария проверки модели ПО бортовой системы управления (БСУ), реализованный в рамках средства  проектирования arKItect. Рассматриваемый подход включает в себя метод создания  спецификации путем формализации функциональных требований к программному  обеспечению БСУ и метод верификации, объединяющий аналитическую и поведенческую  модели разрабатываемой БСУ. Построенное описание модели ПО и сценарий проверки  могут быть использованы на различных этапах проектирования ПО БСУ.   

 

Время: 28.04.2011 16:00

Место: ауд. 106 9 корпуса