Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

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

Диссертация: Система функционального моделирования и отладки программно-аппаратных компонентов автоматизированных систем научных исследований на основе мультиуправления
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

В работах /150,165,176,184/ указывается, что одним из наиболее интересных потенциальных применений моделирования на уровне регистровых передач является использование модели как инструмента для разработки средств математического обеспечения в тот период времени, когда аппаратура машин или отдельные компоненты вычислительного комплекса еще не изготовлены. Поскольку ЯШ позволяет точно описывать… Читать ещё >

Содержание

  • РАЗДЕЛ 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. Инструкция по обслуживанию: 17 910. -Варшава: Объединенные заводы ядерного приборостроения «Полон»,.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. Инструкция по обсоуживанию. 11 810. -Варшава: Объединенные заводы ядерного приборостроения «Полон», 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
  184. Q.flgdin ?. A. The талу choices in devetapment £алдиаде£.
  185. Rini -Micro Systems!, !?
  186. Org a ni za Hon of mufti crate Jyfte/ns. -Burn fa/77 report? UR -4SOD, 2071 — 4
  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
  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.
Заполнить форму текущей работой

Заказал и сдал!