автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Система функционального моделирования и отладки программно-аппаратных компонентов автоматизированных систем научных исследований на основе мультиуправления

ВВЕДЕНИЕ

РАЗДЕЛ I. РШЬТИУПРАВЛЕНИЕ И ЕГО РЕАЛИЗАЦИЯ В ФУНКЦИОНАЛЬНЫХ МОДЕЛЯХ АСНИ

1.1. Методология цифрового моделирования в задачах проектирования и отладки программного обеспечения АСНИ

1.2. Структура и принципы функционирования имитационной модели АСНИ

1.2.1. Мультиуправление моделью АСНИ

1.2.2. Структура эмулятора полной конфигурации

1.2.3. Модели объекта исследования и УСО

1.3. Основные компоненты системы моделирования и отладки программно-аппаратных компонентов

1.4. Конструктивная эффективность использования средств цифрового моделирования при проектировании АСНИ

Выводы

РАЗДЕЛ 2. ДВУХ ЭТАПНАЯ СХЕМ ЭМУЛЯЦИИ СИСТЕМЫ КОМАНД

РЕЗИДЕНТНЫХ МИНИ-ЭВМ

2.1. Формальное представление процесса программной эиогляции

2.2. Традиционные методы моделирования команд ЭВМ

2.2.1. Метод идентификации интерпретации

2.2.2. Метод открытых подпрограмм

2.3. Двухэтапная схема эмуляции

Выводы

РАЗДЕЛ 3. ФУНКЦИОНАЛЬНОЕ ОПИСАНИЕ КАМАК-СИСТЕМ

3.1. Формальное определение КАМАК-системы

3.2. Имитационная модель КАМАК-системы и аспекты ее реализации

3.2.1. Интерпретатор КАМАК-операций

3.2.2. Императивное и интеррогативное управление моделью КАМАК-системы

3.3. Архив описаний и архитектор моделей КАМАК--систем

3.4. Язык функционального описания КАМАК-систем

3.4.1. Назначение языка

3.4.2. Основные конструкции языка ФОКС

3.4.3. Описание функциональных модулей КАМАК

3.4.4. Описание крейта и системы в стаццарте

КАМАК

3.4.5. Грамматическая отладка, синтаксический анализ и трансляция языка ФОКС

Выводы

РАЗДЕЛ 4. РЕАЛИЗАЦИЯ СИСТЕМЫ МОДЕЛИРОВАНИЯ И ОТЛАДКИ

В СРЗЭДЕ ШСТРУШГГАЛЬНОЙ ЭВМ . £

4.1. Инструментальная система исследования и отладки программно-аппаратных компонентов

4.2. Автономная модель КАМАК-системы

4.3. функции и язык подсистемы отладки и тестирования КАМАК-программ

4.4. Классификация ошибок в программах по обслуживанию КАМАК-систем

4.5. Разработка и отладка ПО системы автоматизации испытаний ГТД

Выводы

Актуальность темы диссертационной работы. Проведение современных научных исследований, стендовых и натурных испытаний сложных технических систем, использующих разнообразное оборудование и оперирующих с интенсивными потоками информации, требует развитых систем автоматизации, базирующихся на средствах вычислительной техники» В настоящее время широкое распространение в самых различных областях науки и техники получают автоматизированные системы научных исследований и комплексных испытаний образцов новой техники (АСНИ) /25,54,57,112,122,154/, "представляющие собой программно-аппаратный комплекс предназначенный для научных исследований . на основе получения и использования моделей исследуемых объектов, явлений и процессов" /112/. В частности, в рамках целевой комплексной программы по созданию и развитию АСНИ ГКНТ и Минвуза СССР О .Ц.027 и комплексной программы "Автоматизация научных исследований" АН СССР и Минвуза РСФСР на II пятилетку запланирован выпуск более 300 систем, данного класса, В этой связи, задачи повышения эффективности АСНИ, снижения затрат на их разработку приобретают большое народнохозяйственное значение.

Основу технических средств АСНИ составляют измерительно-вычислительные комплексы (ИВК), строящиеся на базе мини- (микро-) ЭВМ и микропроцессоров /28,29,31,54,72,73,94,105,106,117,123, 126,137,142,143,153,154/. Важнейшим инструментом сбора данных и управления экспериментом для ИВК, применяемых в АСНИ, в настоящее время становятся программно-управляемые магистрально-модульные системы в стандарте КАМАК /21,22,27,29,31,66,98,105,109,116, 117,126,137*152,154,157,174,180,189/»

Система КАМАК признана большинством организаций по стандартизации и на практике стада наиболее широко применяемой системой, обеспечивающей возможность связи ЭВМ различного класса с самыми разнообразными объектами» По оценкам специалистов комитета E&DNE (European Standards о/ NucBear£fectro/^ и Европейского общества КАМАК максимальное развитие производства и применения этой система в США и Западной Европе планируется через несколько лет, а сама система характеризуется достоинствами гарантирующими ее применение по крайней мере до 1990 года /157/. Исследования советских специалистов также показывают /31,117/, что большинство экспериментов и испытаний в различных областях науки и техники, настоятельно требующих автоматизации, по входным и выходным характеристикам могут быть удовлетворены с помощью устройств связи с объектом (УСО) в стандарте КАМАК. На основании этих же оценок в качестве базовых ЭВМ рекомендуется использовать ряд программно-совместимых мини- (микро-) машин "Электроника-60" /28,123,137,153,154/, СМ-3, СМ-4 /72,73,94,105,106,126,144,148/, PUS -Л /142,144,148/, имеющих развитое общецелевое системное и прикладное программное обеспечение (П0)/94,П5,142/.

Адаптация таких ИВК на конкретное исследование или испытание осуществляется компоновкой УСО необходимой конфигурации, включая разработку уникальных модулей сбора и управления в стандарте КАМАК /27,31,66,116,117,123,126,154,157/, и проектировав нием ПО, ориентированного на данное исследование и выбранный состав УСО, Таким образом, для повышения эффективности проектирования АСНИ, в первую очередь, необходимо автоматизировать процессы проектирования УСО в стандарте КАМАК и разработки программ по сбору, регистрации, первичной обработке информации от объекта исследования и управлению технологическим оборудованием эксперимента.

Особое внимание следует уделить вопросам автоматизации разработки и отладки ПО. Это объясняется тем, что благодаря последним достижениям в технологии проектирования интегральных схем резко сократились сроки и стоимость разработки аппаратура вычислительных систем /51,101,165/, стоимость же ПО остается по прежнему высокой и создание его для новых систем происходит с большим отставанием от реализации аппаратуры /19,38,119,127, 154,165,177/. По оценкам зарубежных специалистов производительность труда программистов с 1955 по 1975 годы увеличилась только в 5,6 раза, в то время как мощность машин возросла в Ю4 раза /132,177/, причем, наибольшее количество затрат при разработке ПО приходится на долю отладки (50-60$) /38,87,88,118,145,154, 169,171/.

В редакционной статье журнала "Программирование" /127/ отмечается, что в свете задач поставленных ХХУ1 съездом КПСС и майским пленумом ЦК КПСС (1982г.), направленных на интенсификацию производства, прежде всего требуется создание высококачественного ПО для вычислительных систем самого разного класса. Отмечается, что пв настоящее время центр тяжести в исследованиях по программированию должен быть перенесен именно на разработку вопросов, связанных с созданием предметно-ориентированного математического обеспечения. Прежде всего следует обратить внимание на создание инструментальных систем, которые обеспечили бы интенсификацию процесса разработки программ для микропроцессоров, микро- и мини-ЭВМ и вычислительных систем, предназначенных для решения конкретных задач в той или иной области промышленного производства, робототехники и автоматизации" /127/.

Решению ряда актуальных задач в области разработки методов и средств автоматизации исследования и проектирования программно-аппаратных компонентов АСНИ, в первую очередь устройств в стац-дарте КАМАК и предметно ориентированного ПО по обслуживанию КАМАК--систем, и посвящена данная диссертационная работн.

Краткий анализ известных методов и обоснование щжнятого подхода к решению проблемы. При разработке методов и средств автоматизации исследования и отладки программно-аппаратных компонентов АСНИ необходимо учитывать свойства и тенденции развития существующих и разрабатываемых средств автоматизации проектирования сложных систем, и в первую очередь вычислительных. Большой вклад в решение задач автоматизации проектирования аппаратуры и программного обеспечения вычислительных систем внесли работы советских и зарубежных ученых, таких как Н.П.Еусленко, И.В.Вельбицкий, В.М. Глушков, Е.И.1^грвич, А.П.Ершов, В.В.Липаев, Н.Я.Маткшш, Э.Х.Тыу-iy, h. Breuer , Y. Chu, Я Mites , D.tflng , R.Supnlh и др.

Автоматизация проектирования различных систем связана с применением вычислительной техники в качестве инструмента, помогающего в их проектировании и изготовлении /15,50,92,154/. В большинстве практических случаев исследования проектируемых систем прямым экспериментированием малоэффективно, а аналитические решения затруднены или невозможны /15,92,103,154,164/. В этой ситуации на помощь проектировщику приходит моделирование, позволяющее проверить и оптимизировать проектное решение перед конструированием реальной системы. Не случайно "с самого начала разработки методов автоматизации проектирования термины "моделирование" и "проектирование" встречаются рядом"/141/.

Особое внимание моделированию как основе технологии автоматизации уделяется в работах, посвященных автоматизации проектирования вычислительных систем /12,15,17,24,39,40,50,59,74-76,79,80, 92,99,150,164,156,159,162,164/. Опыт использования методологии цифрового моделирования при разработке этих систем показывает, что цифровая имитация должна стать действенным и эффективным средством и при проектировании АСНИ. При построении модели АСНИ необходимо учитывать специфику этих систем: активность /24,25,27,31, 54,57,73,97,103,112,122,123,126,154/, взаимодействие с объектом исследования /27,54,112,119,122/, реальное время /97,108,112,119, 122/, наличие программно-управляемого УСО в стандарте КАМАК /22, 66,109,180,189/, интенсивные потоки многоканальной информации /25,26,75,117/, частую перестройку УСО и модификацию ПО при изменении эксперимента /22,31,57,98,112/ и т.п. Это требует разработки гибкой, многоуровневой модели взаимодействующих параллельных процессов (функционирование ЭВМ, УСО, объекта исследования), построение которой невозможно без использования специальных средств моделирования /12-14,23,45,46,59,74-76,92,96,107,140,141,154,162, 164,166/.

В анализируемых работах, рассматривающих автоматизацию проектирования цифровой аппаратуры /32,40,50,92,99,140,141,150,154, 165/, выделяют различные уровни абстракции модели: электронные схемы /39,92/, логические элементы /39,92,165/, регистровые передачи /44,79,150,154/. Особое внимание уделяется моделированию на уровне регистровых передач, привлекательного в том отношении,что для его проведения не нужно выпонять детальную, тщательную разработку проектируемого устройства. Разработчик получает при этом средство наблюдения за разрабатываемой системой на ранних, эскизных этапах проекта /150,154/. Расширение производства и использования аппаратуры в стандарте КАМАК настоятельно требуют создания моделей КАМАК-систем данного уровня, которые, в частности, составят. одну из основных компонент полной имитационной модели АСНИ /74,79,80,154,158,159,162/.

Из рассмотренных работ /44,150,156,165/ следует, что для обеспечения универсальности моделей цифровых схем и систем необходимо использовать языки описания аппаратуры (ЯОА) - наиболее перспективного средства автоматизации проектирования /165,176/. В соответствии с выделенными уровнями моделирования эти языки также подразделяются на ряд классов, где с нашей точки зрения наибольший интерес представляют языки регистровых передач (ЯШ) /44,150,155,156,165,184/. Кроме автоматизации создания имитационных моделей данного уровня, ЯЕП обеспечивают: точное и сжатое описание система; удобный способ составления руководства для пользователя и инструкций по эксплуатации; эффективное внесение изменений, в структуру системы и соответствующих изменений в документацию; управление проектированием; преподавание и т.п. /150,165/. Несмотря на то,что в настоящее время создано большое количество ЯШ, например: CDL /44,156,165,178,184/, JJJ3L /44,165/, LDCJS , ALERT и др. /165/, и их пригодность для описания аппаратуры общепризнана, они не нашли широкого практического применения из-за наличия в них структур и обозначений, затрудняющих понимание /165/. По мнению ведущих специалистов в этой области для упрощения описания новых цифровых устройств (большие интегральные схемы, микропроцессоры), следует разрабатывать новые и улу^ шать существующие ЯОА /165,176/. Перспективы развития КАМАК-систем обусловливают необходимость создания эффективных и простых в освоении языков их описания, которые, в частности, обеспечили бы программную настройву КАМАК-моделей /79,80,158,159,162/.

В работах /150,165,176,184/ указывается, что одним из наиболее интересных потенциальных применений моделирования на уровне регистровых передач является использование модели как инструмента для разработки средств математического обеспечения в тот период времени, когда аппаратура машин или отдельные компоненты вычислительного комплекса еще не изготовлены. Поскольку ЯШ позволяет точно описывать и моделировать аппаратуру, появляется возможность одновременно вести разработку программ на модели и аппаратного обеспечения, сокращая таким образом временной разрыв между созданием этих двух компонентов вычислительных систем /165/. Полная имитационная модель АСНИ, включающая модели ЭВМ и КАМАК-системы на уровне регистровых передач и средства отладки,' позволит проводить всестороннюю отладку и тестирование программ по обслуживанию КАМАК-устройств, нараллельно с их аппаратной реализацией, и комплексную отладку ПО АСНИ в целом /74,79,80,154,132/. Наиболее существенный недостаток отладки ПО на модели - значительное замедление времени выполнения программ /101,119,132,150,165,178,181/. В то же время, выбор эффективных методов моделирования команд ЭВМ./7,9,12,47,59,102,114,154/ использование специализированных /65,104,124,125/ или универсальных кросс-систем /1,2,8,16,35,41, 58,63,64,70,82,83,85,87-89,119,130-133/ программирования позволяют существенно снизить временные затраты на моделирование и сделать метод отладки ПО на модели экономически приемлемым, обеспечив повышение надежности и качества проектируемого ПО по сравнению с его разработкой на резидентных средствах /145/.

Таким образом, анализ работ, посвященных автоматизации проектирования вычислительных систем, показывает, что для автоматизации проектирования программно-аппаратных компонентов АСНИ и в частности, разработки КАМАК-аппаратуры и ПО по ее обслуживанию, целесообразно остановиться на методологии цифровой имитации отдельных элементов АСНИ и системы в целом.

Постановка задачи. В рамках принятого подхода необходимо решить следующие основные задачи :

- разработать методы моделирования, обеспечивающие исследование и отладку проектируемых компонентов АСНИ;

- определить структуру и принципы функционирования системы моделирования и отладки программно-аппаратных компонентов АСНИ, строящейся на основе разработанных методов моделирования;

- экономически обосновать целесообразность использования разработанной системы моделирования и отладки;

- провести исследования традиционных и оригинальных методов моделирования команд ЭВМ и выбрать наиболее эффективный;

- разработать и реализовать функциональную модель КАМАК-систем, позволяющую исследовать проектируемые устройства в стандарте КАМАК, разрабатывать и отлаживать ПО по их обслуживанию, параллельно с аппаратной реализацией;

- определить язык описания КАМАК-систем, обеспечивающий простое взаимодействие между разработчиками КАМАК-аппаратуры и ПО по ве обслуживанию, программную генерацию моделей КАМАК-систем для различных АСНИ;

- разработать средства тестирования модели КАМАК и отладки ПО по обслуживанию КАМАК-алпаратуры в рамках предложенной инструментальной системы;

- провести отладку и тестирование типовых комплексов ПО АСНИ на разработанной инструментальной системе для оценки ее эффективности и адекватности результатов, полученных на инструментальной системе и реальной АСНИ.

Сформулированные задачи определили структуру данной диссертационной работы.

Структура и краткое содержание диссертаций. Диссертация состоит из Введения, четырех Разделов, Заключения, восьми Приложений и списка литературы (199 наименований).

Выводы

1. Для отладки модели КАМАК и исследования предполагаемого функционирования проектируемых устройств в стандарте КАМАК целесообразно использовать автономную модель КАМАК-системы, управляемую моделью ручного контроллера.

2. Для отладки ПО АСНИ точек прерывания ограниченных фазой выполнения команд ЭВМ оказывается недостаточно. В инструментальной системе для эффективной отладки программ по обслуживанию КАМАК-систем целесообразно ввести условные точки прерывания, связанные с обращениями к отдельным КАМАК-устройствам.

3. Дополнением к точкам прерывания в системе отладки КАМАК--программ должен стать аппарат ловушек, обеспечивающий реакцию системы отладки на каждую КАМАК-операцию и появление сигнала

X = 0 на моделируемой магистрали КАМАК.

4. Ошибки в КАМАК-программах можно разделить на программные и алгоритмические. Для программных и большого класса алгоритмических ошибок инструментальная система представляет средства автоматизации их обнаружения, диагностики и локализации, отсутствующих в резидентных системах программирования и отладки.

ЗАКЛЮЧЕНИЕ

В диссертации предложен принцип управления полной имитационной моделью АСНИ, включающей взаимодействующие модели мини-(микро-) ЭВМ, УСО и объекта исследования. Разработан алгоритм моделирования команд ЭВМ, повышающий эффективность использования моделей ЭВМ при отладке ПО. Предложена структура и реализованы отдельные компоненты универсальной функциональной модели УСО в стандарте КАМАК, обеспечивающей имитацию информационного обмена между ЭВМ, УСО и объектом АСШ с целью исследования проектируемой КАМАК-аппаратуры и отладки предме тно-ориентированно-го ПО АСШ. Предложенные методы, алгоритмы и модели легли в основу построения инструментальной системы исследования, отладки и тестирования программно-аппаратных компонентов АСШ. Использование разработанных в диссертации методов и средств в процессе проектирования модулей УСО и отладки ПО физико-технических АСШ позволило сократить затраты на проектирование ПО и АСШ в целом.

В работе получены следующие основные результаты :

1. Предложен принцип муль тиуправления, позволяющий с единых позиций описать процессы управления информационным обменом и обработкой данных в различных подсистемах АСШ.

2. Определена структура и схема функционирования системы моделирования и отладки программно-аппаратных компонентов АСШ, реализующая предложенный принцип.

3. Проведено экономическое обоснование использования системы моделирования при проектировании АСШ и обучении специалистов.

4. Разработана двухэтапная схема моделирования команд мини

ЭВМ. Исследованы традиционные методы программной эмуляции и показано преимущество предложенной схемы при отладке ПО АСШ (сокращение времени моделирования в 2-3 раза).

5. На основании предложенного формального описания разработана и реализована цифровая модель УСО в стандарте КАМАК, обеспечивающая исследование проектируемой аппаратуры и отладку предметно-ориентированного ПО АСШ параллельно с аппаратной реализацией КАМАК-систем или отдельных КАМАК-устройств.

6. Определена структура и языки управления архива описаний и архитектора моделей КАМАК-систем, призванных автоматизировать процесс создания моделей КАМАК-систем различных АСШ.

7. Определен и грамматически отлажен язык функционального описания КАМАК-систем ФОКС, предназначенный для решения ряда задач по автоматизации проектирования КАМАК-аппаратуры и ПО по ее обслуживанию.

8. Предложен язык синтаксического анализа и реализована подсистема его интерпретации в рамках универсальной автоматизированной системы синтаксического анализа, которая, прежде всего, использовалась для грамматической отладки и построения синтаксического анализатора языка ФОКС.

9. Разработаны средства тестирования модели КАМАК, подсистема отладки ПО по обслуживанию КАМАК-аппаратуры и языки их управления.

10. Проведена классификация семантических ошибок КАМАК-программ и показаны пути локализации, диагностики и устранения большой группы таких ошибок с использованием предложенной инструментальной системы.

11. Применение разработанных методов и средств при отладке предметно-ориентированного ПО физико-технических АСШ позволило сократить затраты на проектирование ПО и АСШ в целом, обеспечило повышение надежности разработанного ПО.

Разработанные методы и средства исследования, отладки и тестирования программно-аппаратных компонентов АСШ внедрены на предприятиях машиностроительной отрасли, ряде НИИ и вузов, обеспечив технико-экономический эффект (Приложение 8).

Разработанная система моделирования внедрена в учебный процесс (Приложение 8), принципы работы ее компонентов изложены в методических указаниях к лабораторным работам /77,78/.

1. Автоматизация разработки комплексов управляющих, программ на базе технологии САЛО ЯУЗА-6. /Липаев В.В., Серебровский Л.А., Корепанов Б.А. и др., -В кн.: УШ Всес.совещ.по проблемам управления. Тез.докл. -Таллин, 1980, с.698-699.

2. Автоматизированная система производства программ СИНТЕРМ. . /Айзенберг Я.Е., Вельбицкий И.В., Канорев Б.М., Стогний А.А. ,-УСиМ, 1980, № I, с.16-20.

3. Аналого-цифровой преобразователь типа: 712. Инструкция по обслуживанию. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -21 с.

4. Ахо А., Ульман Дж. Теория синтаксического анализа, переводаи компиляции. T.I: Синтаксический анализ. -И.: Мир,1978.-621 с.

5. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.2: Компиляция. -М.:Мир, 1978. -488 с.

6. Белявский Е.И. Об отладке программ бортовых ЦВМ с помощью интерпретаторов. -В сб.: Кибернетическая техника. -Киев: Наукова думка, .1971, с.51-61.

7. Белявский Е.И., Михлин Г.З., Фрумкин В.А. 0 построении интерпретаторов специализированных УВМ. -УСиМ, 1975, JE5, с.96-100.

8. Бергсон А.Р., Герханова Т.И. Некоторые актуальные проблемы программирования микропроцессорной техники. -В кн.: Технология.программирования, микропроцессорной техники. -Таллин: Вал. iyc, 1982, с.120-127.

9. Бергсон А.Р., Рауд Р.К. Использование функционально эквивалентных модулей при разработке программ УЦВМ. «Программирование, 1981, Л 4, с.50-56.

10. Блер Д. Расширяемая система неинтерактивной отладки. -В кн.: Средства отладки больших систем. -М.:Статистика,1977,с.88-106.

11. Браун П. Макропроцессоры и мобильность программного обеспечения. -М.: Мир, 1977. -253 с.

12. Будячевскии И.А., Коварцев А.Н., Шаманов М.А. Некоторые вопросы моделирования систем сбора и обработки данных научного эксперимента. -В кн.:Автоматизация экспериментальных исследований. -Куйбышев: КуАИ, 1976, вып.9, с.19-24.

13. Будячевскии И.А., Кораблин М.А., Смирнов С.В. Моделирование дискретных систем в рамках ПЛ/I (ДОС ЕС). -В сб.:Автоматиза-ция экспериментальных исследований. -Куйбышев:КуАИ, 1976, вып.9, с.24-29.

14. Будячевскии И.А., Кораблин М.А., Смирнов С.В. О программировании моделей систем сбора и обработки данных экспериментав рамках ПЛ/I ДОС ЕС. -УСиМ, 1977, № 5, с.135-140.

15. Бусленко Н.П. Моделирование сложных систем. -М.: Наука, 1968. -356 с.

16. Бутамо И.Д., Котляров В.П., Самочадин А.В. Универсальные средства автоматизированной разработки кросс-систем программирования специализированных микро-ЭВМ. -В кн.: Микропроцессорные системы. -Л., 1981, с.71-74.

17. Быков В.В. Цифровое моделирование в статистической радиотехнике. -М.: Сов.радио, 1971, -340 с.

18. Вельбицкий й.В. Р-технология-80. -УСиМ,1980,$ 6, с.49-54.

19. Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЗСМ-6. -М.: Статистика, 1980. -263 с.

20. Виноградов В.И. Анализ и методы унификации языков программирования КАМАК. -В кн.: Языки, трансляторы и программировавние КАМАК. Матер.I Всес.симпоз. по модульным и информационно-вычислительным системам. -М.: Ин-т ядерных исследований, 1978, с.3-12.

21. Виноградов В.И., Грязнов И.М. Сопряжение микро-ЭВМ с КАМАК. -В кн.: П Всес.симпоз. по модульным и информационно-вычислительным системам. -М.: Ин-т ядерных исследований, 1980,с.83-85.

22. Виноградов В.И. Дискретные информационные системы в научных исследованиях. -М.: Энергоиздат, 1981. -199 с.

23. Виттих В «А., Коварцев А.б., Кораблин М.А. Имитация автоматизированных систем с использованием концепции состояний. -Изв.АН СССР. Тех.кибернетика, 1981, № 4, с.86-93.

24. Виттих В.А., Кораблин М.А., Куклин Г.Н. Имитационное моделирование систем автоматизации эксперимента. -В кн. :УШ Всес. совещ.по проблемам управления АН СССР. Тез.докл., ч,2. -М.Минск: Ин-т технической кибернетики АН БССР: 1977,0.278-280.

25. Виттих В.А., Куклин Г.Н. Информационный подход к решению задачи рационального проектирования системы автоматизации экспериментов. -В сб.:Вопросы , кибернетики (Автоматизация экс. периментальных исследований). -М., 1979, с. 12-19.

26. Виттих В.А., Куликов В.В. Структурный подход к разработке систем программного обеспечения автоматизированных систем обработки телеметрической информации. -Тез.докл.I Всес.конф.по технологии программирования. Секция П. -Киев,1979,с. 15-16.

27. Виттих В.А., Скобелев О.П. Система сбора и предварительной обработки информации в стандарте КАМАК для АСНИ физическихполей. -Автометрия, 1982, № 4, с.4-6.

28. Возможности построения систем на базе микро-ЭВМ "Электрони-ка-60" /Борисенков В.Д., Лопатин B.C., Плотников В.В., Талов И.Л. -Электронная промышленность, 1979, № 11-12, с.17-19.

29. Входной регистр типа: 305. Инструкция по обслуживанию. 178-10. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -30 с.

30. Выставкин А.И. Вычислительная техника в физических исследованиях. -Вестник АН СССР, 1979, № I, с.53-62.

31. Выханду Л.К., Йокк В.А. Об опыте использования программных характеристик Холстеда. -Труды Таллинского политехническогоин-та. -1982, » 524, с.105-118.

32. Выходной регистр типа: 350. Инструкция по обслуживанию: 17910. -Варшава: Объединенные заводы ядерного приборостроения "Полон",.1981. -31 с.

33. Вяткин Г.В., Рычков В.А. Моделирование малого цифрового вычислители- на универсальной ЭВМ. -В сб.:Системы автоматизации научных.исследований. -Рига: Зинатне, 1973, с.102-104.

34. Гальперин М.П., Масленников Ю.А. Об использовании средств отладки целевых программ семейства микро-ЭВМ широкого назначения. -УСиМ, 1979, № 6, с.51-56.

35. Гамин П.В., Куликов В.В., Шамашов М.А. Система автоматизации проектирования синтаксических анализаторов. -Куйбышев: ВДТИ,1981. -4 с.

36. Глушков В.М., Вельбицкий И.В. Технология программирования и проблемы.ее автоматизации. -УСиМ, 1976,.№.6, с.75-93.

37. Гурвич Е.И., Енгалычев A.M., Татарников Ю.А. Языки и программное обеспечение моделирования дискретных систем на различных этапах проекта. -В кн.: Теория и методы математического моделирования. Тез .докл. УП Всес.совещ. -М.: Наука, 1978* с.158-160.

38. Гурвич Е.И., Енгалычев A.M., Татарников Ю.А. Язык и программное обеспечение временного моделирования дискретных систем. -М.: В кн.: Теория сложных систем и методы их моделирования. 1980, с.92-109.

39. Гринис В.А., Канапецкас П.Н., Карчяускас Э.К. Система автоматизации микропрограммирования микропроцессорных структур. -В кн.: Технология программирования микропроцессорной техники. -Таллин: Валгус, 1982, с.45-53.

40. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М.: Мир, 1975. -396 с.

41. Гришман Р. Критерии для языка отладки. -В кн.: Средства отладки больших.систем. -М.:Статистика,1977, с.57-72.

42. Дайтмейер Д.Л., Дыоли Д.Р. Языки регистровых передач и их трансляция. -В кн.: Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных. -М.: Мир, 1979, с.140-246.

43. Дал У.И., Мюрхауг В., Нюгорд К. СИМУЛА-67: Универсальный язык программирования. -М.: Мир, 1969. -99с.

44. Дал У.И. Языки моделирования систем с дискретными событиями. -В кн.: Языки моделирования. -М.:Мир,1972, с.344-403.

45. Двухэтапная схема интерпретации специализированных УВМ.

46. Будячевский И .А., Коварцев А.Н., Кораблин М.А., Шамашов М.А. -УСиМ, 1978, В 3, с.39-42.

47. Дедерер с.Ю. Система интерпретации автоматизированной ЭВМ. -M.s Изд.ИТМ и ВТ АН СССР, 1974, с.98-103.

48. Дедерер С.Ю. Об одном аспекте моделирования ЭВМ. -В сб.: Моделирование вычислительных систем. -Новосибирск: СО АН СССР, 1975, с.124-131.

49. Дкибутич М.С., Енгалычев A.M., Кранчин А.И. Опыт функционального моделирования специализированных ЭВМ. -В кн. Применение вычислительных машин для проектирования цифровых устройств. -М.: Сов.радио, 1968, с.44-65.

50. Джонсон Р. Микросистемы и программное обеспечение. -Электроника, 1980, № 23, с.49-58.

51. Донован Дж. Системное программирование. -М. :Мир,1975,-540с.

52. Драмонд М. Методы оценки и измерений дискретных вычислительных систем. -М.: Мир, 1977. -273 с.

53. Египко В.М. Организация и проектирование систем автоматизации научно-технических экспериментов. -Киев: Наукова думка, 1978. -230 с.

54. Ершов А.П. Введение в теоретическое программирование. -М.: Мир, 1977. -253 с.

55. Ершов. А.П. Технология разработки систем программирования. -В кн.: Системное и теоретическое программирование. -Новосибирск: ВЦ СО АН СССР, 1972, с.12-46.

56. Жук К.Д., Автоматизированная система обработки экспериментальных, данных. -Энциклопедия кибернетики. T.I. -Киев,1975, с,35-36.

57. Завьялов Е.Е., Макаров А.А. Настраиваемая подсистема моделирования произвольных специализированных ЭВМ. -УСиМ, 1983,1. JS I, с.15-18.

58. Ингерман П. Синтаксически ориентированный транслятор. -М.: Мир, 1969. -176 с.

59. Интерфейс телетайпа типа: 500А. Инструкция по обслуживанию. 151-10. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981• -48 с.

60. Интерфейс СМ-З-КАМАК типа: I06A, I06B. Инструкция по обслуживанию. 327-10. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -45 с.

61. Каганов Ф.А. Автоматизация проектирования комплексов управляющих программ и микропрограмм для.микро-ЭВМ. -В кн.: УШ Всес.совещ. по проблемам управления. Тез.докл. Кн.З. -Таллин, 1980, с.700-702.

62. Каганов Ф.А., Серебровский Л.А. Подготовка кросс-систем специализированных и микро-ЭВМ к работе в конкретных, условиях применения. -В кн.: Программное обеспечение АСУ. Секция Ш. Тез.докл.-Калинин, 1980, с.142-145.

63. КалечицВ.Е., Лободин Н.И., Щукин А.Я. Кросс-система ЭВМ "Электроника-60" на ЕС ЭВМ. -В кн.: Методы трансляции. -Ростов-на-Дону: РТУ, 1981, с.52-59.

64. КАМАК-система автоматизации в экспериментальной биологии и медицине. /Под ред. Нестерихина Ю.Е. -Новосибирск: Наука, 1979. -269 с.

65. Кахро М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). -М.: Финансы и статистика,1981. -158 с.

66. Катков Ю.Л., Максимов B.C., Рябов А.Н. Введение в системное программирование на языке ассемблера ЕС ЭВМ. -М.: Наука,1982. -263 с.

67. Кинг Д. Проверяющий компилятор. -В кн.: Средства отладки больших систем. -М.: Статистика, 1977, с.23-40.

68. Кирсанов В.О., Романовский А.Б., Юрченко В.М. Анализ и обобщение опыта сопровождения автоматизированной системы производства программ (СИНТЕРМ). -УСиМ, 1980, № I, с.21-23.

69. Кнут Д. О переводе (транляции) языков слева направо. -В сб.: Языки и автоматы. -М.: Мир, 1975, с.9-24.

70. Ковалеров Г.И. Измерительно-вычислительные комплексы. -Приборы и системы управления, 1977, J£ II, с.23-27.

71. Ковалеров Г.И. Проблемная ориентация вычислительных комплексов СМ ЭВМ. -Приборы и системы управления, 1981, № 2,с.20-23.

72. Коварцев А.Н., Кораблин М.А., Шамашов М.А. Имитационное моделирование систем автоматизации эксперимента с использованием эмуляторов полной конфигурации. -УСиМ, 1979,№4,с.124-127.

73. Коварцев А.Н., Шамашов М.А. Использование средств моделирования при проектировании систем сбора и обработки данных научного эксперимента. -В кн.:Автоматизация экспериментальных исследований. .Тез.докл.Всес.конф. -Куйбышев:КуАИ, 1978,с.41-42.

74. Коварцев А.Н., Шамашов М.А. Средства моделирования в системах автоматизации эксперимента. -В кн.: Теория и методы математического моделирования. Тез.докл. УШ Всес.совещ. -М.: Наука, 1978, с.219-220.

75. Кораблин М.А., Сидоров А.А., Шамашов М.А. Инструментальнаякросс-система программирования для микро-ЭВМ "Злектроникаг-60" Метод.указания. -Куйбышев: КуАИ, 1984.

76. Кораблин М.А., Сидоров А.А., Шамашов М.А. Программирование для КАМАК-систем с использованием кроссовых средств. -Метод, указания. -Куйбышев: КуАИ, 1984.

77. Кораблин М.А., Шамашов М.А. Моделирование КАМАК-систем. -В кн.: Моделирование дискретных управляющих и вычислительных систем. Тез.докл.Ш Все с. семинара. -Свердловск: УНЦ АН СССР,1981, C.II3-II5.

78. Куликов В.В., Шамашов М.А. Автоматизация проектирования синтаксических анализаторов проблемно-ориентированных языков систем автоматизации эксперимента. -В сб.: Автоматизация экспериментальных исследований. -Куйбышев: КуАИ, 1982,с.94-100. .

79. Куряма А.А., Рауд Р.К. Технология программирования микро-ЭВМ в СЕРП. -В кн.: Технология программирования микропроцессорной техники. -Таллин: Валгус, 1982, с.22-32.

80. Липаев В.В. Автоматизация проектирования программного обеспечения для управляющих систем. -Автоматика и телемеханика,1982, J& 2, с.92-104.

81. Липаев В.В. Анализ конструктивной эффективности комплексов программ реального времени. -УСиМ,1982,№ 6,с.47-55.

82. Липаев В.В., Каганов Ф.А. Система автоматизации технологии разработки комплексов управляющих программ для микропроцессоров и микро-ЭВМ (ТЕШ). -УСиМ, 1980, № I, с.32-36.

83. Липаев В.В. Конструктивные показатели качества программ и их связь с технологией проектирования. -Изв.АН СССР. Тех.кибернетика, 1982, № 2, с.I5I-I62.

84. Липаев В.В. Проектирование математического обеспечения АСУ. Системотехника, архитектура, технология. -М.: Сов.радио, 1977. -399.с.

85. Липаев В.В. Состояние и проблемы производства программного обеспечения для системы управления и обработки информации.-УСиМ, 1980, № I, с.9-15.

86. Липаев В.В., Штрик А.А. Основные концепции кросс-системы автоматизации программирования и отладки сложных комплексов программ.на базе ЕС ЭВМ. -В кн.: Программное обеспечение АСУ. Тез.докл.Всес.конф. -Калинин, 1980, с.248-252.

87. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. -М.: Мир, 1979. -416 с.

88. Магистральный индикатор типа: 081. Инструкция по обслуживанию. 126-10. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -13 с.

89. Макдугал М. Моделирование на уровне системы. -В кн.: Автомат тизация проектирования вычислительных систем. Языки, моделирование и базы данных. -М.: Мир, 1979, с.П-ПЗ.

90. Малиновский Б.М., Погорелый С.Д. Методы эмуляции ЭВМ. -УСиМ, 1974, № 4, с.36-45.

91. Малые ЭВМ и их применение. Л1од ред.Наумова Б.Н. -М.:Статистика, 1980. -229 с.

92. Маккиман У., Хоринг Д., Уортмон Д. Генератор компиляторов. -М.: Статистика, 1980. -416 с.

93. Маркович Г., Хауснер Б., Карр Г. СИМСКЕИПТ: Алгоритмический язык для моделирования. -М.: Сов.радио, 1966. -152 с.

94. Мартин Дж. Программирование для вычислительных систем реального времени. -М.: Наука, 1975. -360 с.

95. Материалы УП Бсес.школы по автоматизации научных исследовав ний. -Л.: ЛЙЯФ, 1976, с.186-223.

96. Методы функционального моделирования сложных цифровых устройств. /йатшхин Н.Я., Енгалычев A.M., Гурвич Е.И. и др.-В кн.: Применение вычислительных машин для проектирования цифровых устройств. -М.: Сов.радио, 1968, с.44-65.

97. Миллс Д. Разработка управляющих систем и другого программного обеспечения для мини-ЭВМ. -Б кн.: Мини-ЭВМ. -М. :Мир, 1975, с.42-51.

98. Мильнер А.Д. Некоторые проблемы развития инструментальных средств для проектирования микропроцессорных устройств. -В кн.: Технология программирования микропроцессорной техники. -Таллин; Валгус, 1982, с.10-21.

99. Михлин Г.З. Методы моделирования операций мини-ЭВМ с использованием, открытых подпрограмм. -Программирование, 1977, В I, с.68-73.

100. Моисеев Н.Н. Математика ставит эксперимент. -М.: Наука, 1979. -224 е.

101. Молчанова И.А., Яцыкович В.В. Система симулирования мини-ЭВМ М-400, СМ-3, СМ-4 на ЕС ЭВМ. -Минск: Ин-т техническойкибернетики АН БССР, 1980. -58 с.

102. Мячев А.А. Организация, управляющих вычислительных комплексов. -М.: Энергия, 1980. -272 с.

103. Наумов Б.Н., Кобалевский А.Н. Управляющий вычислительный комплекс СМ-4. -Приборы и системы управления, 1979,163,с. 1-4.

104. Нейлор Т. Машинные имитационные эксперименты с моделями экономических систем. -М.: Мир, 1973. -500с.

105. Никитин A.M. Обработка информации в реальном масштабе времени. -Энциклопедия кибернетики. T.I, -Киев,1975,с.96-97.

106. Никитюк Н.М. Программно-управляемые блоки в стацдарте КАМАК. -М.: Энергия, 1977. -151 с.

107. Никитюк Н.М. Ручной контроллер для отладки блоков в стандарте КАМАК. -ПТЭ, 1972, № 6, с.228.

108. Новые успехи в области систем программирования. -Электроника, 1980, № 7, с.93-96.

109. Обще отраслевые руководящие методические материалы по созданию автоматизированных систем научных исследований и комплексных испытаний образцов новой техники (АСНИ). Ред.1-80. -М.: ШНТ СССР, 1980. -37 с.

110. Операционная система ОС ЕВ. Т.З: Система программирования на языке макроассемблера. Кн.2: Программа отладчик. Руководство программиста. -М.: ИНЭУМ, 1980. -103 с.

111. Осипов Б.Л. Моделирование алгоритмов управляющих мини-ЭВМ. -УСиМ, 1979, £ 4, с.43-47.

112. Основы программирования на Ассемблере для СМ ЭВМ. /Вигдор-чик Г.В., Воробьев А.Ю., Праценко В.Д. -М.:Финансы и статистика, 1983. -256 с.

113. Особенности аппаратуры КАМАК, выпускаемой различными.производителями. /Олейников А.Я., Панкрац Е.В., Тихонов Н.А.,. Сцурыгов А.И. -Новости ИАИ. Инф.бюлл., 1981, № 4, с.6-10.

114. Особенности входных и выходных характеристик систем автоматизации экспериментов на основе малых электронных вычислительных.машин и аппаратуры КАМАК. /Вуколюков В.М., Выставкин А.Н., Олейников А.Я. и др. -ПТЭ, 1982, В I, с.7-13.

115. Особенности построения специализированных ЦВМ на микропроцессорном наборе. /Бресон Ю.Я., Гольдреер Л.В., Ляпкин Л.Я. и др. -УСиМ, 1980, № 3, с.38-43.

116. Отладка систем управляющих алгоритмов ЦВМ реального времени. /Под ред.Липаева В.В. -М.:Сов.радио, 1977. -327 с.

117. Пайк Г. Разработка программного обеспечения для мини-ЭВМ. -В кн.: Мини-ЭВМ. -ЭД.: Мир, 1975, с.27-42.

118. Педанов И.Е., Шумей А.С. О расширении класса грамматик LRID) . -Автоматика, 1973, J6 I, с.150-154.

119. Петров Б.Н., Куклин Г.Н. Программа развития работ в области автоматизации научных исследований. -В сб.: Вопросы кибернетики (Автоматизация научных исследований). -М.; 1979, с.5-12.

120. Пирогов В.В., Батрак В.Н., Минц В.И. Система отладки для микро-ЭВМ семейства "Электроника-НЦ". -В кн.: Технология программирования микропроцессорной техники. -Таллин:Валгус, 1982, с.100-108.

121. Попов Ф.А., Груздев Г.П., Филиппов С.А. Технология разработки программного обеспечения ЭВМ М-400 и М-6000 с использованием ЭВМ БЭСМ-6. -УСиМ, 1980, № I, с.41-46.

122. Проблемно-ориентированные измерительно-вычислительные комплексы на базе ЭВМ СМ-3, СМ-4 и аппаратуры КАМАК для автоматизации научных исследований. /Выставкин А.Н., Дедов Ю.А., Куклин Г.Н. и др. -Автометрия, 1980, J& 3, с.16-24.

123. Программирование на новом этапе развития научно-технического прогресса. -Программирование, 1982, £ 5, с.3-6.

124. Программирование на языке Ассемблера ЕС ЭВМ. /Брич З.С., Вовд В.И., Дегтярева Г.С. и др. -М.: Статистика, 1975.-296с.

125. Радд У. Программирование на языке Ассемблера и вычислительные системы ГВМ-360 и 370. -М.:Мир, 1979. -591 с.

126. Рауд Р.К. СЕРП-система разработки программ управляющих микро-ЭВМ класса CM-I800. -В кн.: Программное обеспечение АСУ. Тез.докл. Всес.конф. -Калинин, 1980, с.130-133.

127. Рауд Р.К. Средства тестирования программ многопроцессорных управляющих вычислительных машин. -В кн.: Проблемы создания и использования высокопроизводительных информационно-вычислительных машин. Тез.докл. -Кишинев, 1979, с.100-102.

128. Рауд Р.К., Тамм Б.Г. Состояние в области программирования для микро-ЭВМ. -Программирование, 1982, № 5, с.31-43.

129. Рауд Р.К. Технология тестирования программ микро-ЭВМ в СЕРП. -В кн.: Синтез, тестирование, верификация и отладка программ. Тез.докл. Всес.конф. -Рига, 1981,с.186-187.

130. Регистр запросов типа: 303. Инструкция по обсоуживанию. 11810. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -17 с.

131. Релейный мультиплексор типа: 750. Инструкция по обслуживанию. 112-10. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -14 с.

132. Ручной,контроллер типа: 140. Инструкция по обслуживанию. 081-10. -Варшава: Объединенные заводы ядерного приборостроения "Полон", 1981. -25 с.

133. Система на базе микро-ЭВМ "Электроника-60" и аппаратуры

134. КАМАК. /Бухаров М.Н., Выставкин А.Н., МоренкювА.Д. и др. -ПТЭ, 1980, J6 2, с.222.

135. Система MERA-60. Эксплуатационная документация перфоленточ-ного программного обеспечения. T.I, ч.4. -Катовице, 1981. -21 с.

136. Система МЕЕА-60. Эксплуатационная документация операционной системы ЕТ-60. T.I, ч.9. -Катовице, 1981. -30 с.

137. Смирнов С.В. Модифицированный монитор СЕЕАТЕ для имитационного моделирования дискретных систем на различных этапах проекта. -В кн.: Теория и методы математического моделирования. Тез.докл. Ж Всес.совещ. -М.: Наука, 1978, с.94-95.

138. Солодовников И.В. Языки, программное обеспечение и организация систем имитационного моделирования. -М.: Машиностроение, 1982. -49 с.

139. Соучек Б. Микропроцессоры и микро-ЭВМ. -М.: Сов.радио, 1979. -517 с.

140. Соучек Б. Мини-ЭВМ в системах обработки информации. -М.: Мир, 1976. -520 с.

141. Строганов Р.П. Управляющие машины и их применение. -М.: Высшая школа, 1978. -264 с.

142. Супник P.M. Отладка в режиме моделирования. -В кн.:Средст-ва отладки больших систем. -М.:Статистика,2977, с. 107-124.

143. Техника программного обеспечения. Сб.статей. -М.: Мир, ТИИЭР, 1980, й 9. -III с.

144. Уотсон И. Сравнение выпускаемых промышленностью средств программирования для микропроцессоров. -ТИИЭР, 1976, № 6,с.94-107.

145. Управляющие вычислительные машины в АСУ технологическими процессами. Л1од ред. Хариссона Т., T.I. -М.: Мир, 1975. -530 с.

146. Феррари Д. Оценка производительности вычислительных систем. -М.: Мир,.1981. -576 с.

147. Хемминг К.У.,Шигенда С.Э. Моделирование описаний на языках регистровых передач. -В кн.: Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных. -М.: Мир, 1979, с.140-246.

148. Холстед М.Х. Начала науки о программах. -М.:Финансы и статистика, 1981. -128 с.

149. Цапенко М.П. Измерительные информационные системы. -М.:Энергия, 1974. -320 с.

150. Центральный процессор М2. Техническое описание и инструкция по эксплуатации. НИИ "Электроника", 1981. -220 с.

151. Цифровая имитация автоматизированных систем. /Болтянский А.А., Виттих В.А., Кораблин М.А., Куклин Г.Н., Сидоров А.А., Шамашов М.А. -М.: Наука, 1983. -262 с.

152. Черемисинов Д.И. Система генерации программных эмуляторов. -В сб.: Автоматизация процессов проектирования. -Минск: ИТК АН БССР, 1980, вып.З, с.118-127.

153. Чу Я. Организация ЭВМ и микропрограммирование. -М.: Мир, 1975. -592 с.

154. Шалевич А. Актуальное состояние производства аппаратуры системы КАМАК в ПНР. -Новости ИАИ. Инф.бшл., 1981, № 4, с.3-6.

155. Шамашов М.А. Кросс-система программирования для микро-ИВК. -В кн.: Р-технология программирования. Тез.докл. I Всес.конф. Ч.Ш. Технология программирования микропроцессорной техники. -Киев: ИК АН УССР, 1983, с.27-29.

156. Шамащов М.А. Универсальная цифровая модель КАМАК-систем.-В кн.: У1 Всес. науч.-техн.конф.: йнформационно-измерительные системы-83 (ИИС-83). Тез.докл. -Куйбышев: ЩтИ, 1983, с.249-250.

157. Шамашов М.А. Формальное описание процесса эмуляции СУВМ. -В сб.: Автоматизация экспериментальных исследований. -Куйбышев: КУАИ, 1979, вып.10, с.37-40.

158. Шамашов М.А. Формальное представление функционирования КАМАК-систем. -В сб.: Автоматизация экспериментальных исследований. -Куйбышев: КуАИ, 1983, с.58-62.

159. Шамашов М.А. Функциональное описание и имитационное моделирование КАМАК-систем. УСиМ, 1984, №2, с.106-111.

160. Шевченко A.M. Математическое обеспечение космического комплекса Space Shcittee . Тематический сб.ШЛИ АН СССР. -M.;J978, с.3-28.

161. Шеннон Р. Имитационное моделирование систем. Искусство и наук. -М.: Мир, 1978. -418 с.

162. Шива С.Г. Языки описания аппаратуры ЭВМ. -ТИИЭР, 1979, Ж2, с.27-39.

163. Шрайбер Т. Моделирование на &PSS . -М. Машиностроение, 1980. -592 с.

164. Шумей А.С., Зонис B.C. О синтаксическом анализе по однозначным грамматикам. -Программирование, 1975, № 3, с.22-29.

165. Юрлов Ф.Ф. Технико-экономическая эффективность сложных радиоэлектронных систем. -М.: Сов.радио, 1980. -280 с.

166. Ющенко Е.Л. Автоматизация программирования. -Энциклопедия кибернетики. T.I. -Киев, 1975, с.23-32.

167. Яковлев Н.Е., Протасов Ю.И., Родина А.В. Программирование систем автоматизации научных исследований на основе «КАМАК. Новости ИАИ. Инф.бюял., 1981, с.10-11.

168. Akl цато. Я An example of но/t шаге system deooqqLnij. In • IE IP Con ores 7J North Hottand Put ее., тг, voC. J., pp. 353-333.

169. Auto лот us transfer controEEerfor PDP -//. CERA/ A/P CAMAC, /972, Note W-DO, Bv F. BuE,FIseEin, A. Long and Oth.

170. Boehm 3.W. Software engineering IEEE Tran&. С on тр., /975, voe С-25, А/12, pp. 122d- /2М.

171. С am ad CompatiSEe modi/Ear data transfer system. -tfamaja* tpupmd/ A/ucEear Enterprises?, -/073-/37р.

172. САЛА С. The definition of ML А Eanguage for i/se is? САН AC system. - ESDA/E Comm, /S7t- 32 P.

173. Chu Y. Concepts of a micrornputer design language. In ' Pro с. lesion Auto Conf, /Ш, pp. 4S-JE7.

174. Computer technology shifts emphasis to software; a special report. -Electronics, /Ш, i/53, А/--У/, pp. m2 -m.

175. Civic T.I. MuttiProcessing Simulation of the InteE 8080 ond PUP-S using С PL .-Piasters theses. Аибит Uni AuBurn, Mar., У97Е.179. 1 ha wan S. CAMAC Crate ControEEer Type A. -Nuceear Seience, 197 ^ voE. A/S-lE,A/--2t pp. 35- 4/.

176. EUR 4/00 e. CAMAC, A moduEar inStrumentatin system for data handing. ESONE сотт.,1972-42p.

177. Facey P, Caines B. Re at-time system design under on emutator emSeded in a hioh Eev-eE Eanguage -Lata air 73, Conf Papers, 2r.2, London, 1973, pp.1DD-115.

178. Feu yd R. W. Assigning meanings to programs. -Proc. S/mp. AppE. Hath 1967. wf. Ш pp. /£-32.

179. HamiEton M., leEdin S. Higer ordered software a methodoEogg for defining Software. AIAA, DegitaE Ay-ionics System Conf, Boston, JfaSS, AnriE /Р75--/Bp.

180. Heath J.R.f£arro£ 3.2?. fwi/rJ.C. £2?L-A toe£ for hardware ant/ software dev-ctopment.In • Proc Лe sign Auto ConJ., June, УЛ77, pp. ms

181. Ha w-don £. £. $угп£о£сс testing oocf the direct Sym6o£ic ev-otution System.- 1Л££ Irans. Software £nq.J477, P-.S, At 4, pp. г6<?~<??<?.

182. Ною- to uJe the AVov-a £ornPuter^.-In: JJata беле га £ Corp., SouthJ?0rD,/97£ /7p.

183. Яйлу A Pragram rest ftp к jPA 17. T/)ert<z3Zhmepie Netton l/mfr.j УЛЛЛ.

184. Q.flgdin £. A. The талу choices in devetapment £алдиаде£.

185. Rini -Micro Systems!, !£<££?, Aug, pp. <!/-<f4.

186. Org a ni za Hon of mufti crate Jyfte/ns. -Burn fa/77 report £UR -4SOD, 2071 - 4<?P.

187. RSX-У/ MacroReference /la nua£-legitaf £gutp. £огр.,/1аулап/, /Л74.

188. RSX-22. 02ГГ. Reference /1апио£-Ле$п£а£ £gviP. ГлгР., Maynard, 1474.

189. Pusfste£ /?. PL -2/ A programming £алдиаде far I/£S £211-ii Computer-&enev-a--££RA/ 2Ш-t£i?p.

190. Stufierq hC Coup£ing £A/iAC crate contra££er tt/pe ,,A" to the РЛР-22 uniSug. -£ura torn re part -SSp.

191. Van cterLinden £. is. Mew generation tfjtfieragzsfte/7? Simuta tors'. -Microprocessors andMicra systems, S27<!/7, v. 4, At' 2, Jan., pp. S-227.

192. Washerman A. I. Tnfarrnatiop ays!tern ЛеШдл methoda-£ogy -1 Amer. Soc for Informa tionset, Joa,p/>S-t?4,

193. Wirth At. A prooramming £anguge for <3St? £arnP//£e/>s.-1 A£ti) 23 6£, vo£. 2S, a/'pp. 37-7tt.

194. Шамашов М.А. Язык (функционального описания и моделирования КАМАК-систем. -В кн.: Моделирование дискретных управляющихи вычислительных систем. Тез.докл. 1У Всес.сем. -Свердловск: УВД АН СССР, 1984, с.85-87.

195. Шамашов М.А. Эффективность применения средств моделирования при разработке ПО АСНИ. -В кн.: Моделирование дискретных управляющих и вычислительных систем. Тез.докл. -Свердловск, 1984, с.149-15I.