Высокоуровневое проектирование встраиваемых систем. Часть 1. Платунов А.Е - 47 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

46
Для каждого компонента AADL, а также для составных частей
компонентов, связей, потоков данных и управления, режимов и вызовов может
быть определено любое количество свойств (properties). Каждое свойство имеет
уникальное имя, тип данных и, собственно, значение. Свойства в AADL –
универсальный механизм семантического расширения конструкций языка, так
как могут вводиться пользователем в соответствии с абстракциями
создаваемой
модели практически без ограничений. Кроме того, стандарт определяет базовый
набор свойств, доступных с самого начала. Вот некоторые примеры
предопределенных свойств, иллюстрирующие диапазон возможных
применений этого механизма:
• Latency – задержка передачи потока данных;
• Memory_Protocol – права доступа к памяти (чтение и/или запись);
• Queue_Size – размер входного буфера порта;
• Source_Code_Size – размер
памяти, занимаемой статическим исполняемым
кодом и константными данными;
• Period – период (интервал диспетчеризации) задачи или нити;
• Allowed_Message_Size – допустимый размер пакета данных, передаваемого
по шине;
• Base_Address – адрес ячейки памяти, содержащей первое слово структуры
данных.
Способ использования информации, содержащейся в свойствах,
определяется пользователем и зависит от индивидуальных особенностей
моделируемой системы. Это позволяет
целенаправленно исследовать
большинство системных характеристик, критичных для архитектурного
проектирования, даже если они не входят в базовый набор языковых
конструкций.
Не менее сильной стороной AADL, чем его расширяемость, можно также
считать возможность описывать системы на любом уровне абстракции.
Например, описание вида
system My_System
end My_System;
является полностью корректным с точки зрения синтаксиса языка, то есть
не вызывает ошибок при формальной верификации. Это означает, что можно
строить архитектуру системы поэтапно, начиная с самого общего
представления и постепенно понижая уровень абстракции, уточняя
внутреннюю организацию компонентов, вводя дополнительные свойства и
ограничения. При таком стиле проектирования на каждом этапе мы
получаем
полноценную архитектуру как с точки зрения AADL, так и в соответствии с
определением архитектуры, приведенным в учебном пособии. Ее можно
подвергать анализу, насколько это позволяет тот или иной уровень

Страницы