Анализ AADL моделей с помощью графического представления

Александр Страхstrakh@ispras.ru

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

Моделирование

● Упрощение реальной модели

AADL

● Предметно-ориентированный язык для описания программно-аппаратных комплексов

● Основные черты унаследовал от языка описания бортовых систем авионики Meta-H

● Основные типы объектов: порты, компоненты, соединения

Преимущества ручного анализа графического представления

перед текстовым● Графическое представление позволяет отобразить систему

в целом

● Меньше места на экране

● Позволяет отобразить «сквозную» информацию (соединения)

● Графическое представление визуально более близко к реальным моделям, так как могут иметь дополнительные визуальные характеристики — у соединений длина, у устройств форма.

● Возможность выделить компоненты предметной области, даже если их описание отсутствует в языке в явном виде

Пример 1

● Визуальное сравнение с физической моделью

Физическая модель Модель AADL

Пример 2

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

Пример 3

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

Реальный пример

● Flight managment system

Маршрутеризация соединений

● На больших моделях трудно понять откуда и куда идет соединение

Расположение компонентов

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

Выводы

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

Развитие

● Возможность быстрого создания графических представлений для специалиста конкретной области

МодельПредставление для специалиста 1

Представление для специалиста 2

Представление для специалиста 3

Спасибо

● Вопросы

Спасибо

● Вопросы