Система архитектурного проектирования и оценки

Система архитектурного проектирования и оценки ( ADAS ) представляла собой набор программ, предлагаемых Институтом исследовательского треугольника с середины 1980-х до начала 1990-х годов. ^{[ 1 ]}

Графически была создана графовая модель сети Петри системы в виде . Иерархические графики были смоделированы для определения использования ресурсов и пропускной способности. Функциональное моделирование модели можно реализовать путем прикрепления C или Ada к узлам кода . Это позволило осуществлять динамическое назначение ресурсов, время и приоритет.

Имитационная модель

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

В абстрактном моделировании узел представляет собой процесс (системное проектирование) в моделируемой системе. Готовность к выполнению или запуску этого процесса требует, чтобы: его входные данные были удовлетворены, было доступно место для его выходных данных, а его общий ресурс/оборудование были доступны. Во время выполнения узел потребляет входные данные, использует ресурс в течение заданного периода времени, а затем выдает выходные данные.

Входные и выходные данные процесса представлены дискретными токенами. Эти токены перемещаются по дугам графа. Если максимальный размер дуги больше единицы, то дуга будет представлять собой буфер между системными процессами.

Чтобы уточнить модель системы, под узлом можно разместить подграф, чтобы уточнить поведение этого процесса.

Физические и поведенческие свойства были прикреплены к узлам и дугам в виде атрибутов. Язык определения атрибутов позволял вычислять атрибуты на основе атрибутов-предков и глобальных значений.

Ссылки

^ Г. А. Франк, Д. Л. Франке и В. Ф. Ингогли, «Система архитектурного проектирования и оценки», VLSI Design, Vol. 6, № 8, август 1985 г., стр. 30-50.

Дальнейшее чтение

Система проектирования и оценки архитектуры для совместного проектирования программного и аппаратного обеспечения, материалы 22-й конференции ACM/IEEE по автоматизации проектирования, 1985 г.
Модифицированный вычислительный граф и его использование в параллельном проектировании и анализе систем, Учеб. Пятого Междунар. Конф. по системной инженерии, стр. 385–388. Нью-Йорк: IEEE, 1987.
Моделирование контроллера устройства записи оптических дисков космического полета с использованием системы проектирования и оценки архитектуры, IEEE Southeast Con, апрель 1990 г.
Применение структурированного анализа к телеробототехнической системе, Международная конференция IEEE по системной инженерии, август 1990 г. ^{[ мертвая ссылка ]}
Моделирование производительности мультипроцессора с помощью ADAS, Конференция AIAA «Компьютеры в аэрокосмической отрасли», 7-я, Монтерей, Калифорния, 3-5 октября 1989 г.
Моделирование и анализ многопроцессорных архитектур, AIAA-1989-3014.
Помощник инженера по тестированию: среда поддержки проектирования аппаратного обеспечения для обеспечения тестируемости, компьютер IEEE, апрель 1989 г.
Интеграция инструментов для проектирования и оценки высокопроизводительной и высоконадежной вычислительной системы (DAHPHRS), этап 1, контракт НАСА NAS1-17964, май 1992 г., стр. 141 https://ntrs.nasa.gov/archive/nasa/casi. ntrs.nasa.gov/19920019342_1992019342.pdf
Объектно-ориентированное описание и моделирование реконфигурируемой адаптивной архитектуры формирования диаграммы направленности на основе CSP с использованием инструментария OODRA, Журнал обработки сигналов СБИС, ноябрь 1990 г.
Проектирование самолетов для выполнения миссий с использованием методов нелинейной многокритериальной оптимизации, Journal of Aircraft (ISSN 0021-8669), том. 27 декабря 1990 г.
Параллелизм в последовательных многопроцессорных имитационных моделях: практический пример, Транзакции ACM при моделировании и компьютерном моделировании, апрель 1995 г.
Практика Пролога: редактор СБИС на основе Пролога, Леон Стерлинг, 1990 г., ISBN 0-262-19301-9
Технология автоматизации проектирования для кодирования: состояние и направления, Международный симпозиум IEEE по схемам и системам, 1992 г.
Поддержка программного обеспечения Aladdin, материалы Национальной конференции по аэрокосмической и электронике IEEE 1991 г.
Анализ производительности парадигмы планирования крупномасштабных потоков данных, НАСА, Лэнгли, июнь 1993 г., стр. 8 https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19930023024_1993023024.pdf
Автоматизированный оценщик отказоустойчивости для системного проектирования, моделирования и анализа, материалы, 9-я конференция по цифровым авиационным системам IEEE/AIAA/NASA, 1990 г.
Виртуальное прототипирование, системы цифровой обработки сигналов, Технологический симпозиум Lockheed Martin, 1998 г., слайд 7 https://web.archive.org/web/20110904153705/http://www.atl.lmco.com/projects/csim/vp4C.pdf

[1] Г. А. Франк, Д. Л. Франке и В. Ф. Ингогли, «Система архитектурного проектирования и оценки», VLSI Design, Vol. 6, № 8, август 1985 г., стр. 30-50.

[ 1 ]