Автоматизация и Методология проектирования

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

1) Разделение процесса проектирования на иерархические уровни и аспекты с возможными итерационными циклами.

2) Унификация элементной базы (самолето, авто проектирования). Везде где создаются сложные системы использовали типовые узлы. Проектирование ЭВМ и ее элементной базы разделены. Заказные сверх большие интегральные схемы проектируются на стандарт сист.

3) Использование нисходящего проектирования, с элементами восходящего проектирования при применении типовых компонентов.

4) Это автономность архитектурных компонентов системы ведущая к распределенности управления.

5) Разумное ограничение сложности системы с целью упрощения их использования. Примеры ткого ограничения видны в создании РИСК процессора или в применении спец устройств вместо универсальных.

6) Бездефектность проектирования что особенно важно для интегральных схем и бортовой аппаратуры. Применяются различные методы контроля.

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

Автоматизация проектирования ВТ

Автоматизация проектирования зародилась в радио-элекронной промышленности опередив САПР в области машино строения. Причиной является проектирование машин САПР. Основной объем конструкторского характера, что требует высокограф. станции, а они стали доступны только в 80е годы.Что касается САПР ВТ 1е результаты были получены в конце 50х годов. Эти результаты были предвосхищены англ матем. Джоржем Буль заложившие основы мат логики, атакже трудами создателя матем теории информатики Клода Шеннона.Больщой вклад внес советск физик Жестаков который вместе с шенноном предложил применять мат логику к синтезу логических схем. Разработка теории мат анализа а позже и синтеза схем в 40х г была предложена советскими учеными Гавриловым, Яблонским, Поспеловым, Глушковым.

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

Поспелов окончил МГУ в 1956 г Автор ряда методов построения систем управления в основе которых лежит идея логико-лингвистических моделей и описание процедур управления ими. Им же был создан аппарот ярустно параллельных форм, который позволил решать многие проблемы связанных с организацие параллельных вычислений в комплексах и сетях. Заметную роль в организации проектирования сыграла его книга "Логические методы анализа и синтеза схем"

Работы по автоматизации проектирования вычислительных машин имели 2 направления:

1) проектирование функциональных и логических схем

2) конструирование печатных плат и оформление конструкторской диссертации