Атрибуты объектов

Физическая архитектура

Наложение на проект условий для анализа

Чтобы иметь возможность анализировать весь проект, необходимо поставить определенные условия. Они в основном связаны со связью или синхронизацией между объектами.

1. Циклические и единичные объекты не могут выполнять произвольные операции блокировки в других циклических или единичных объектах.

2. Циклические и случайные объекты могут выполнять асинхронную передачу операций управления в другие циклические или единичные объекты.

3. Защищенные объекты не могут выполнять операции блокировки в любых других объектах.

Пункты 1 и 2 требуют, чтобы циклическим и единичным объектам было разрешена только связь через посылку полностью асинхронных сообщений или защищенные объекты.

Любой метод проектирования систем реального времени должен учитывать эти условия в процессе планирования логической архитектуры.

Основное внимание в физической архитектуре уделяется требованиям к распределению времени. Процесс проектирования должен поддерживать формирование физической архитектуры через:

1. Возможность ассоциирования атрибутов распределения времени с объектами.

2. Обеспечение такой внутренней структуры, в которой может быть предпринята планировка конечных объектов.

3. Создание абстракции, с помощью которой проектировщик может контролировать ошибки распределения времени.

Физический план должен быть осуществлен в контексте среды исполнения. Это гарантируется планировкой. Вопросы надежности также должны быть рассмотрены в этой фазе.

Все конечные объекты обладают ассоциированными с ними атрибутами реального времени. Многие атрибуты связаны с отображением на логический план требований распределения времени (например, срок, важность). Они должны быть установлены до того, как будет производиться планировка.

Каждый циклический или единичный объект имеет некоторое количество временных атрибутов. Например:

· Период исполнения для каждого циклического объекта.

· Минимальный интервал проявления для единичного объекта.

· Сроки для всех циклических и единичных действий.

Различаются две формы сроков. Одна применяется прямо к единичному или циклическому действию. Другая применяется к ранее обусловленному действию (транзакции). Сроки для других действий должны извлекаться таким образом, чтобы полная транзакция удовлетворяла ее требованиям распределения времени.

Для планировки нужно знать верхнюю оценку времени исполнения каждого потока и все операции (во всех объектах). После фазы логического планирования они могут быть оценены и присвоены соответствующие атрибуты. Чем лучше оценки, тем точнее планировка. Хорошие оценки могут быть получены при повторном использовании компонент или из аргументов сравнения (с существующими компонентами других проектов). В процессе детального проектирования и кодирования, а также при прямом использовании измерений во время тестирования, могут быть получены лучшие оценки, которые потребуют перепланировки.