В среду 2-го ноября состоится семинар Самокиша Андрея на тему "Развитие комплексного метода верификации программного обеспечения для бортовых систем управления".

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

Place: 
Московский пр. 149в, ауд. 423
Event Date: 
Wed, 11/02/2011 - 18:00 - 19:30

Контактные данные

Директор: д.т.н. профессор 
Крук Евгений Аврамович

Адрес: 196128, Санкт-Петербург, ул. Московский пр, д. 149в
Телефон/Факс
: +7 (812) 494 70 52
E-mail: ictacademy@vu.spb.ru
Или воспользуйтесь online-формой

Описание: Опыт работ и направления исследований представлены в AcademyICT.pdf

Новости и События [все]

Наши партнеры


Проводимые конференции

Конференции, симпозиумы, семинары, проводимые при поддержке Академии ИКТ:

1. FRUCT Community Annual Conference, с 2007 г.
2. Redundancy2007. Международный симпозиум по проблемам избыточности в информационных и управляющих системах, 2007 г.
3. Redundancy2009. Международный симпозиум по проблемам избыточности в информационных и управляющих системах, 2009 г.
4. ISIT2011. 2011 IEEE International Symposium on Information Theory
5. Redundancy2012. Международный симпозиум по проблемам избыточности в информационных и управляющих системах, 2012 г.