Динамический анализ расширенных AADL-моделей

Буздалов Денис. Начало семинара - 15 мая 2013 г.

AADL -- расширяемый язык описания архитектуры программно-аппаратных систем, используемый при моделировании систем авионики, а также других ответственных и встраиваемых систем. Для проверки тех или иных свойств этих моделей могут использоваться различные подходы, которым могут требоваться различные расширения AADL. Рассмотрено расширение AADL-моделей описаниями поведения компонентов модели исполнимым кодом на Java с определёнными ограничениями. Такой подход позволяет описывать поведения сложных подсистем на стадии проектирования одновременно с детальным описанием уже разработанных компонент. Тем самым появляется возможность симуляции модели и анализа её свойств с ранних этапов проектирования.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН