Документ обсуждает анализ AADL моделей с использованием графического представления, подчеркивая преимущества визуализации по сравнению с текстовым описанием. Графическое представление упрощает понимание системы, позволяет выделить особенности и визуализировать соединения, что облегчает выявление потенциальных проблем. В качестве вывода отмечено, что такое представление эффективно дополняет формальную верификацию моделей.

1. Анализ AADL моделей с помощью
графического представления
Александр Страх
strakh@ispras.ru
Институт Системного Программирования Российской Академии Наук

2. Моделирование
● Упрощение реальной модели

3. AADL
● Предметно-ориентированный язык для описания
программно-аппаратных комплексов
● Основные черты унаследовал от языка описания
бортовых систем авионики Meta-H
● Основные типы объектов: порты, компоненты,
соединения

4. Преимущества ручного анализа
графического представления
перед текстовым
● Графическое представление позволяет отобразить систему
в целом
● Меньше места на экране
● Позволяет отобразить «сквозную» информацию
(соединения)
● Графическое представление визуально более близко к
реальным моделям, так как могут иметь дополнительные
визуальные характеристики — у соединений длина, у
устройств форма.
● Возможность выделить компоненты предметной области,
даже если их описание отсутствует в языке в явном виде

5. Пример 1
● Визуальное сравнение с физической моделью
Физическая модель Модель AADL

6. Пример 2
● Подозрительное отсутствие компонента при явном
наличии условий для его присутствия

7. Пример 3
● Отличие по компонентов в группе по визуальным
характеристикам

8. Реальный пример
● Flight managment system

9. Маршрутеризация соединений
● На больших моделях трудно понять откуда и куда
идет соединение

10. Расположение компонентов
● «Правильное» с точки зрения пользователя
расположение компонентов

11. Выводы
● Анализ графического представления
эффективно использовать как дополнение к
формальной верификации

12. Развитие
● Возможность быстрого создания графических
представлений для специалиста конкретной
области
Модель
Представление для специалиста 1
Представление для специалиста 2
Представление для специалиста 3

13. Спасибо
● Вопросы

14. Спасибо
● Вопросы