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

UptoLike

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

Рубрика:

графа — это формы представления ЦА. Таким образом, последовательность

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

ЦА. Поскольку действия разработчиков ВсС не являются формальными, мы их

исключим из графа актуализации. Исходным представлением информации

будем считать целевую программу (ЦП) — ЦА, записанный на каком-нибудь

языке (программирования), для которого есть инструментальные средства.

Сузив граф актуализации, мы оставили в нем лишь автоматические

трансляторы, что позволит рассмотреть его формально и получить численные

характеристики. На рис. 2.18 представлен пример типичного графа

актуализации для ВсС с программным управлением.

Рис. 2.18. Пример графа актуализации

Граф актуализации можно использовать для решения двух задач:

• Создание графа актуализации и ВсС по нему. Это является одним из

способов проектирования ВсС.

• Создание графа по существующей ВсС. На основе графа можно получить

характеристики для повторного использования трансляторов, модернизации

и рефакторинга ВсС.

Предлагаемая модель не является одной из моделей жизненного цикла

вычислительных систем. Они моделируют этапы существования систем, а

процесс актуализации соответствует всему процессу преобразования

информации и является статическим. Трансляторы, участвующие в этом

процессе, могут показаться принципиально разными, но это обусловлено

несовершенством вычислительных возможностей современной элементной

базы.

2.2.1.1 Трансляторы в модели актуализации вычислительного процесса

Понятие транслятор базируется на TSM-модели [70]. У транслятора есть

входные и выходные потоки: по входным он получает команды (сигналы), а по

выходным генерирует реакции на команды. Транслятор будем называть

программируемым, если он поддерживает входные сигналы, приводящие к

появлению выходных сигналов (реакций). Транслятор будем называть

конфигурируемым, если он поддерживает входные сигналы, приводящие к

смене реакций на программирующие команды. Потоки, по которым передаются

106