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

Самонов Александр Валерьянович

Самонов Александр Валерьянович

Самонов Александр Валерьянович — старший научный сотрудник Военно-космической академии имени А.Ф. Можайского, кандидат технических наук, доцент.

В докладе представлены результаты анализа современных научных публикаций, существующей нормативно-методической базы, а также технологий и средств, используемых для разработки программного обеспечения критически важных программных систем. Предложено разработать единую модельно-языковую среду для реализации программно-управляемого процесса разработки. Основными компонентами данной среды и процесса являются:

- графово-текстовая метамодель формализованного представления комплекса требований и описаний архитектуры в виде набора взаимосвязанных fUML-диаграмм;

- методика реализации программно-управляемого процесса разработки и верификации при помощи разработанных моделей и алгоритмов.

Доклад состоится 21 февраля 2019 года в 17:00 в Институте системного программирования РАН имени В.П. Иванникова. Адрес института: улица Александра Солженицына, дом 25. Аудитория 110.

Добавить комментарий