Arhitekturnoe modelirowanie dlq sistem TR2E

В этой диссертации мы описываем основной вклад нашей исследовательской деятельности. Эта деятельность является частью темы "Архитектуры программного обеспечения во встроенном распределенном контексте реального времени" (TR2E). Описаны четыре основных направления динамическая реконфигурация, отказоустойчивость, многоцелевая оптимизация и формальная верификация систем TR2E. Все эти материалы основаны на языках описания архитектуры (ADL) в качестве основного элемента моделирования, благодаря очень мощным возможностям выражения ADL, которые позволяют описать общую архитектуру системы до использования методов преобразования модели и генерации кода для выполнения различных действий, связанных с каждым из этих материалов. Мы широко используем эти методы для максимальной автоматизации и сокращения объема кода, написанного разработчиком вручную.