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

UptoLike

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

Рубрика:

выявлять критические участки модели. Математический аппарат может быть

положен в основу САПР и средств моделирования ВсС.

11. В качестве примера продемонстрированы оценки эффективности

фрагментации потока данных и широковещательных обменов при решении

параметризованной задачи совмещения моделей вычислений в рамках

коммуникационной системы (КМС) ВсС. Представлены частные критерии

оценки протоколов КМС распределенных ВсС.

12. Для применения ОСМВ в комплексном моделировании разработано ее

расширение на основе денотативного описания, которое в отличие от

операционного подхода описывает вычисления в терминах свойств

функциональных преобразований сигналов. Дан способ вычисления

временных характеристик ОСМВ ВсС в рамках денотативного описания на

основе свойств полного частично-упорядоченного множества атрибутов

компонент модели и теоремы Кнастера-Тарского о неподвижной точке.

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

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

обратной связи в модели.