AADL Module Analysis by means of Graphical Representation
-
Upload
iosif-itkin -
Category
Science
-
view
998 -
download
2
description
Transcript of AADL Module Analysis by means of Graphical Representation
![Page 1: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/1.jpg)
Анализ AADL моделей с помощью графического представления
Александр Страх[email protected]
Институт Системного Программирования Российской Академии Наук
![Page 2: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/2.jpg)
Моделирование
● Упрощение реальной модели
![Page 3: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/3.jpg)
AADL
● Предметно-ориентированный язык для описания программно-аппаратных комплексов
● Основные черты унаследовал от языка описания бортовых систем авионики Meta-H
● Основные типы объектов: порты, компоненты, соединения
![Page 4: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/4.jpg)
Преимущества ручного анализа графического представления
перед текстовым● Графическое представление позволяет отобразить систему
в целом
● Меньше места на экране
● Позволяет отобразить «сквозную» информацию (соединения)
● Графическое представление визуально более близко к реальным моделям, так как могут иметь дополнительные визуальные характеристики — у соединений длина, у устройств форма.
● Возможность выделить компоненты предметной области, даже если их описание отсутствует в языке в явном виде
![Page 5: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/5.jpg)
Пример 1
● Визуальное сравнение с физической моделью
Физическая модель Модель AADL
![Page 6: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/6.jpg)
Пример 2
● Подозрительное отсутствие компонента при явном наличии условий для его присутствия
![Page 7: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/7.jpg)
Пример 3
● Отличие по компонентов в группе по визуальным характеристикам
![Page 8: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/8.jpg)
Реальный пример
● Flight managment system
![Page 9: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/9.jpg)
Маршрутеризация соединений
● На больших моделях трудно понять откуда и куда идет соединение
![Page 10: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/10.jpg)
Расположение компонентов
● «Правильное» с точки зрения пользователя расположение компонентов
![Page 11: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/11.jpg)
Выводы
● Анализ графического представления эффективно использовать как дополнение к формальной верификации
![Page 12: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/12.jpg)
Развитие
● Возможность быстрого создания графических представлений для специалиста конкретной области
МодельПредставление для специалиста 1
Представление для специалиста 2
Представление для специалиста 3
![Page 13: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/13.jpg)
Спасибо
● Вопросы
![Page 14: AADL Module Analysis by means of Graphical Representation](https://reader036.fdocuments.us/reader036/viewer/2022062406/5594a6e51a28ab5e348b4635/html5/thumbnails/14.jpg)
Спасибо
● Вопросы