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

• Автор: Топорков, Виктор Васильевич
• Шифр специальности: 05.13.13
• Научная степень: Докторская
• Год защиты: 2000
• Место защиты: Москва
• Количество страниц: 459 с. : ил.

Анализ концепций и методов проектирования архитектур специфицируемых вычислительных систем. Классификация и краткая характеристика. Модели поведения. Масштабирование операций. СТРУКТУРНОДИНАМИЧЕСКИЕ И ПОТОКОВЫЕ МО. Взаимодействие процессов. Событийное и историческое описания поведения. Выводы по главе. Задача и правила разметки метаоператорных сетей. Последовательный анализ сетевых свойств. Схема последовательного анализа. Неизбыточность стационарной разметки. Сложность алгоритмов разметки. Мсети. Синтез описания целевой архитектуры. ЦА. Выводы. Влияние целевой архитектуры на изменение сложностновремснных характеристик спецификации поведения. Разбиение спецификации на системные компоненты. Оценка качества ЦА в ходе разбиения. Сложность формирования списка выполнимых агрегирований. Ресурсы. Влияние языка системной спецификации во многом определяет концепцию проектирования. Вопервых, оно проявляется в ограничениях на стиль программирования спецификации и , тем самым, в ограничениях на сложность проектируемых систем.


Эту концепцию можно назвать аппаратнопрограммным проектированием, поскольку спецификация на языке Vi представляет смешанное описание проекта, содержащего как программные, так и аппаратные компоненты. До разбиеиия осугцествгяется совместное, поведенческое моделирование этих компонент с целью проверки спецификации на полноту и корректность. В этом смысле подход близок к методам быстрого прототипирования. Особенностью спецификаций является то, что в явном виде в них представлены черты, харакгерные для процессов, реализуемых программно например, вызовы операционной системы и аппаратно в частности, привязка к внешним сигналам. Взаимодействие программных компонент процессов в среде IX и аппаратуры осуществляется с помощью специально разработанных средств IX . В ходе последующего разбиения исходное представление модифицируется с тем, чтобы были выполнены временные и технологические ограничения. Если в аппаратнопрограммном проектировании динамические свойства моделей спецификации исследуются путем имитационного моделирования, то для аппаратно и программноориентированных подходов характерно профилирование, т. Затем эти оценки, полученные в инсгрумснтальной среде, используются дня анализа соответствующих реализаций на целевой архитектуре. Как правило, модели спецификаций представляют собой графы специального вида. В проекте V это иерархически связанные последовательностные графы 4. Каждый из таких графов имеет источник и сток для синхронизации выполнения операций при многократных обращениях.