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

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

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

Время: 28.04.2011 16:00

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