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

UptoLike

ВУЗ: 

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

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

Рубрика: 

93
• Принять решение о способе реализации каждого механизма построенной
модели;
• Получить перечень стандартных компонентов (микропроцессоров,
микроконтроллеров, интерфейсов, протоколов и т.д.), используемых в
системе;
• Получить объектный код для программно реализованных компонент (SW
реализация);
• Получить конфигурацию программируемой логики для аппаратно
реализованных компонент (HW реализация).
В параграфе 2.2.5.1 показана роль эталонной А
-модели, которая
определяется как верифицированная и зафиксированная архитектурная модель
системы, не ограничивающая способов реализации.
2.2.5.1 Эталонная А-модель ВсС
В процессе эволюции моделей системы можно выделить значимый момент,
к которому у разработчика формируется так называемая “золотая” модель
системы. “Золотая” (эталонная) модель – верифицированная и
зафиксированная архитектурная модель системы, не ограничивающая
способов
реализации. “Золотая” модель может быть реализуемой А-моделью
или как максимум виртуальной (см. раздел 2.3.3). Абстрактная А-модель
требует дальнейшей проработки и не пригодна для реализации. Наряду с
“золотой” А-моделью можно говорить и о “золотых” аспектных моделях
(АСМ).
Моделирование на начальных этапах связано с доказательством
адекватности разработанной архитектуры начальным требованиям
. Разработчик
на этих этапах вынужден применять достаточно сложные методы
“функциональной” верификации. Зачастую такие методы носят
полуформальный характер и относительно слабо поддержаны
инструментальными средствами. Данный тип верификации призван доказать
соответствие полученных характеристик А-модели (или частных АСМ) и
сформулированных в требованиях к системе характеристик.
При окончательном формировании “золотой” модели процесс
моделирования
переходит в фазу реализации. На этом этапе моделирование
направлено на верификацию отдельных узлов, а не всей системы в целом, и
призвано доказать эквивалентность реализаций. В конечном итоге задача
разработчика доказать эквивалентность полученных при реализации
характеристик и характеристик, заданных “золотой” моделью. На этом этапе
преобладают сравнительно простые, но трудоемкие методы эквивалентной
верификации и для большинства преобразований существуют специальные
САПР.
Еще одной важной задачей “золотой” модели становится создание
исходных спецификаций для разработчиков, которые занимаются конечной

Страницы