BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
AADL Module Analysis by means of Graphical Representation
1. Анализ AADL моделей с помощью
графического представления
Александр Страх
strakh@ispras.ru
Институт Системного Программирования Российской Академии Наук
3. AADL
● Предметно-ориентированный язык для описания
программно-аппаратных комплексов
● Основные черты унаследовал от языка описания
бортовых систем авионики Meta-H
● Основные типы объектов: порты, компоненты,
соединения
4. Преимущества ручного анализа
графического представления
перед текстовым
● Графическое представление позволяет отобразить систему
в целом
● Меньше места на экране
● Позволяет отобразить «сквозную» информацию
(соединения)
● Графическое представление визуально более близко к
реальным моделям, так как могут иметь дополнительные
визуальные характеристики — у соединений длина, у
устройств форма.
● Возможность выделить компоненты предметной области,
даже если их описание отсутствует в языке в явном виде
5. Пример 1
● Визуальное сравнение с физической моделью
Физическая модель Модель AADL
6. Пример 2
● Подозрительное отсутствие компонента при явном
наличии условий для его присутствия
7. Пример 3
● Отличие по компонентов в группе по визуальным
характеристикам
11. Выводы
● Анализ графического представления
эффективно использовать как дополнение к
формальной верификации
12. Развитие
● Возможность быстрого создания графических
представлений для специалиста конкретной
области
Модель
Представление для специалиста 1
Представление для специалиста 2
Представление для специалиста 3