Разработка метода и средств программной эмуляции семейства бортовых вычислительных машин с открытой системой команд тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Корнеенкова, Анна Викторовна

• Корнеенкова, Анна Викторовна
• кандидат технических наук
• 2006

Оглавление диссертации кандидат технических наук Корнеенкова, Анна Викторовна

Оглавление.

Введение.

ГЛАВА 1. Эмулирование бортовых вычислительных машин с открытой системой команд.

1.1. Структура бортовых вычислительных систем.

1.2. Системы эмуляции бортовых вычислительных машин.

1.3. Обзор систем эмуляции бортовых вычислительных машин.

1.4. Способы организации системы программной эмуляции.

1.4.1. Способ организации системы эмуляции на основе интерпретатора.

1.4.2. Способ организации системы эмуляции на основе компилятора.

1.4.3. Способ организации системы эмуляции транслирующе-компилирующего типа

1.5. Выводы.

1.6. Постановка задач исследования.

ГЛАВА 2. Разработка метода трансляции на промежуточный язык с учетом эмуляции систем ввода-вывода, диспетчеризации и аппарата синхронизации и методики программной эмуляции семейства БЦВМ ОСК.

2.1. Определение возможности программной эмуляции.

2.2. Метод трансляции на промежуточный язык с учетом эмуляции систем ввода-вывода, диспетчеризации и аппарата синхронизации.

2.2.1. Способы формирования адресной трассы.

2.2.1.1. Способ формирования адресной трассы при последовательном анализе памяти операторов.

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

2.2.2. Способы распознавания операторов ОСК.

2.2.2.1. Способ распознавания оператора по коду операции.

2.2.2.2. Способ распознавания оператора по функциональному представлению.

2.2.3. Способы представления оператора на промежуточном языке.

2.2.4. Особенности трансляции вычислительных операторов ОСК.

2.2.5. Схемы программной эмуляции системы ввода-вывода и аппарата синхронизации.

2.2.6. Схемы программной эмуляции системы диспетчеризации.

2.3. Методика программной эмуляции семейства БЦВМ ОСК.

2.4. Модель оценки времени транслирования программного обеспечения семейства БЦВМ ОСК с учетом появления нового оператора.

2.5. Выводы.

ГЛАВА 3. Разработка средств программной эмуляции семейства БЦВМ ОСК.

3.1. Основные концепции построения языка описания операторов для представления эмулируемой системы команд.

3.1.1. Структура и синтаксис языка.

3.1.2. Алфавит и словарь языка.

3.1.3. Объекты, используемые в языке.

3.1.4. Представление данных.

3.1.5. Операторы языка.

3.1.6. Грамматика языка описания операторов.

3.2. Доказательство полноты средств языка.

3.3. Выводы.

ГЛАВА 4. Программный комплекс эмуляции семейства БЦВМ ОСК.

4.1. Структура программного комплекса.

4.1.1. Конструктор представления системы команд.

4.1.2. Модуль инициализации.

4.1.3. Модуль имитации.

4.1.4. Модуль трансляции.

4.1.5. Модуль визуализации результатов.

4.2. Процесс и алгоритм эмуляции.

4.3. Реализация программного комплекса.

4.4. Оценка эффективности работы программного комплекса.

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

4.4.2. Оценка точности вычислений на примере конкретных оттранслированных функциональных задач.

4.5. Выводы.

Введение диссертации (часть автореферата) на тему «Разработка метода и средств программной эмуляции семейства бортовых вычислительных машин с открытой системой команд»

Актуальность темы.

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

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

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

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

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

В качестве заменяемого вычислительного модуля в работе рассматривается семейство БЦВМ с открытой системой команд (БЦВМ ОСК). Системы команд указанного семейства БЦВМ определяется базовым набором операторов, который может быть изменен введением на микропрограммном уровне нового оператора, что является особенностью открытой системы команд. Поэтому система эмуляции должна быть ориентирована не только на базовую системы команд, но и учитывать появление нового оператора.

Таким образом, необходимость создания метода и средств эмуляции семейства БЦВМ ОСК определяет актуальность решаемых в диссертационной работе задач.

Цель диссертационной работы состоит в исследовании и разработке метода, методики и языковых описаний для программной эмуляции семейства БЦВМ ОСК, а также в практической реализации программного комплекса эмуляции семейства БЦВМ ОСК на основе разработанной методики.

Задачи диссертационной работы. Для достижения поставленной цели решаются следующие основные задачи:

1. Анализ и определение системы программной эмуляции БЦВМ ОСК;

2. Разработка метода трансляции на промежуточный язык с учетом эмуляции систем ввода-вывода, диспетчеризации и аппарата синхронизации;

3. Разработка методики программной эмуляции;

4. Разработка модели оценки времени транслирования программного обеспечения семейства БЦВМ ОСК;

5. Разработка и реализация языка описания ОСК;

6. Разработка и реализация программного комплекса эмуляции семейства БЦВМ ОСК.

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

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

2. Разработана методика организации программной эмуляции семейства БЦВМ ОСК.

3. Разработана модель оценки времени транслирования программного обеспечения семейства БЦВМ ОСК.

4. Разработан язык описания операторов.

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

1) разработанный язык описания операторов обеспечивает компактное функциональное представление операторов ОСК, в том числе и нового оператора;

2) спроектирован и реализован программный комплекс, позволяющий осуществлять эффективную эмуляцию программного обеспечения семейства БЦВМ ОСК;

3) разработанная модель оценки времени трансляции, метод трансляции на промежуточный язык, язык описания операторов и программный комплекс эмуляции могут быть использованы для изучения системы команд семейства БЦВМ ОСК.

Основные положения, выносимые на защиту.

1. Метод трансляции на промежуточный язык программного обеспечения семейства БЦВМ ОСК с учетом эмуляции систем ввода-вывода, диспетчеризации и аппарата синхронизации;

2. Методика программной эмуляции семейства БЦВМ ОСК;

3. Модель оценки времени транслирования программного обеспечения семейства БЦВМ ОСК;

4. Язык описания операторов, позволяющий компактно описывать их структуру и функции поведения.

Внедрение результатов работ.

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

Апробация работы.

Результаты диссертационной работы докладывались и обсуждались на научно-технических конференциях:

1. научно-технической конференции «Научная сессия МИФИ-2002» (Москва,

2002);

2. на научных семинарах каф. 304 "Вычислительные машины и системы",

МАИ (Москва, 2002-2006).

Публикации.

По материалам диссертации опубликовано 15 работ.

Структура диссертационной работы.

Во введении обосновывается актуальность темы диссертационной работы, определяются цель и основные рассматриваемые вопросы, описываются новизна, практическая значимость и реализация результатов работы.

В первой главе рассмотрены системы эмуляции вычислительных машин на основе аппаратно-программных эмуляторов и программных эмуляторов. В работе рассматриваются системы программной эмуляции по причине меньшей стоимости и простоты реализации и эксплуатации по сравнению с системами эмуляции на основе аппаратно-программных эмуляторов.

Дан обзор существующих систем программной эмуляции и языков, на основе которых они выполнены, и сделаны выводы о том, что существующие системы программной эмуляции не позволяют эффективно эмулировать БЦВМ ОСК.

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

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

Разработана методика программной эмуляции семейства БЦВМ ОСК.

Предложена модель оценки времени транслирования программного обеспечения семейства БЦВМ ОСК с учетом появления нового оператора.

В третьей главе показана актуальность разработки языка описания операторов ОСК. На основе архитектур семейства БЦВМ ОСК, а также функций поведения операторов определены требования, предъявляемые к разрабатываемому языку описания операторов. Разработаны структура и синтаксис языка, алфавит и словарь языка, объекты, используемые в языке. Представлены операторы языка, средства обращения к памяти, описано представление данных и формальные параметры операторов. Реализована организация арифметических, логических операций, комментариев и обращения к функциям. Приведено доказательство полноты средств языка.

В четвертой главе представлен разработанный программный комплекс эмуляции семейства БЦВМ ОСК. Дана структура программного комплекса, описан процесс и алгоритм программной эмуляции на промежуточный язык высокого уровня С++. Приведена реализация компонентов программного комплекса.

Получена оценка времени трансляции программного обеспечения БЦВМ ОСК и точности вычислений на примере программной эмуляции функциональных задач программного обеспечения БЦВМ ОСК типа БЦВМ Ц100-02 и Ц100-03 под целевую БЦВМ Багет-54. ю

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Корнеенкова, Анна Викторовна

4.5 Выводы

В четвертой главе приведены основные результаты разработки программного комплекса эмуляции семейства БЦВМ ОСК.

1. На основе разработанной методики программной эмуляции семейства БЦВМ ОСК разработан и реализован программный комплекс эмуляции, производящий эффективную эмуляцию семейства БЦВМ ОСК с учетом появления нового оператора. Спроектирована структура программного комплекса и отдельные его компоненты.

2. На основе предложенной модели оценки времени трансляции получена относительная погрешность вычислений времени трансляции ПО БЦВМ Ц100-03 с учетом появления нового оператора, которая составила 1%.

3. Оценка эффективности интерпретации вычислительных операций по критерию точности вычислений показал, что относительные погрешности вычислений выходных параметров функциональной задачи БЦВМ Ц100-03 находятся в среднем в пределах от 0% до 3,6%, которые являются допустимыми.

Заключение

В диссертационной работе исследовалась и решалась проблема построения метода, методики и языковых описаний для эмуляции семейства БЦВМ ОСК, а также проблема их практической реализации.

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

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

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

3. Разработана методика программной эмуляции семейства БЦВМ ОСК.

4. Разработана модель оценки времени транслирования программного обеспечения семейства БЦВМ ОСК, на основе которой получена оценка времени транслирования некоторых функциональных задач. Относительная погрешность оценок, полученных при использовании разработанной модели и экспериментальным способом находится в пределах 1%.

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

6. Спроектирован и реализован программный комплекс эмуляции семейства БЦВМ ОСК.

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

Список литературы диссертационного исследования кандидат технических наук Корнеенкова, Анна Викторовна, 2006 год

1. Алан Джок. Компиляторы, интерпретаторы и байт-код, "Открытые системы", #06, 2001, //Издательство "Открытые системы", http://www.osp.ru/cw/2001/06/0290.htm

2. Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных. / Под ред. М. Брей ера. М.: Мир, 1979, - 464 е.: ил.

3. Альфред Ахо, Равви Сети, Джеффри Ульман. Компиляторы: принципы, технологии и инструменты. : Пер. с англ. М.: Издательский дом «Вильяме», 2001. - 768 с.:ил. - Парал. тит. англ.

4. Альянах И.Н. Моделирование вычислительных систем.- JL: Машиностроение, 1988.-223 с.

5. Армстронг Дж. Р. Моделирование цифровых систем на языке VHDL: Пер. с англ. -М.:Мир, 1992.-175 е.: ил.

6. Афанасьев А.Н. Формальные языки и грамматики: Учебное пособие. -Ульяновск:УлГТУ, 1997,- 84 с.

7. Баскаков А.Г. О бинарных отношениях и фактор-множествах, Соросовский образовательный журнал, № 6, стр. 112-115, 1998

8. Бортовые цифровые вычислительные машины семейства БЦВМ-386/486. Руководство программиста КМИВ.00235-01 33 01, Раменское, 2000 г.

9. Бржезовский А.В., Фильчаков В.В. Концептуальный анализ вычислительных систем. СПб.: ЛИАП, 1991. - 78 с.

10. Бродин В., Калинин А., Хохлов JL. Внутрисхемный симулятор для микроконтроллеров PIC16/17. // Chip News № 3, 1999. с. 18-22.

11. Бродин В., Калинин А., Мальцев В. Комплекс средств программирования и отладки для микроконтроллеров AYR. // Chip News № 5, 1999. с. 18-19.

12. Бродин В., Калинин А. Схемные эмуляторы на универсальной платформе. // Chip News№5, 1998.-е. 24-31

13. Бродин В., Калинин А. Эмуляторы 8-разрядных ОЭВМ к IBM PC. Библиотека информационных технологий: Сб. статей. Вып. 3. - М.: ИнфоАрт, 1991.-е. 222229.

14. Буданов Н.В. Средства разработки и отладки программногообеспечения промышленных контроллеров на базе 8/16- разрядных микропроцессоров фирмы Motorola// Chip News № 5, 1999. с. 32-35.

15. Вархол П. Современный подход к разработке ПО встраиваемых систем // Мир компьютерной автоматизации № 4, 1998. с. 41-45.

16. Вирт Н. Аппаратная компиляция // Открытые системы № 4-5 1998г., ее. 7-12

17. Волкова И.А., Руденко Т.В. Формальные языки и грамматики. Элементы теории трансляции. М.: Диалог-МГУ, 1999. - 62 с.

18. Глушков В.М., Капитонова Ю.В., Летичевский А.А. Автоматизация проектирования вычислительных машин. К.: Наукова думка, 1975.-232с.19. ГОСТ 26765.51-8620. ГОСТ 18977-7921. ГОСТ 18977-7922. ГОСТ 18145-81

19. Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение, СПб.: Питер, 2001. - 736 е.: ил.

20. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М.: МИР, 1979.-544 с.

21. Дао Л. Программирование микропроцессора 8088: Пер. с англ. М.: Мир, 1998. -357 е.: ил.

22. Дейкстра Е. Взаимодействующие последовательные процессы // Языки программирования (под ред. Ф.Женюи). -М.: Мир, 1972

23. Домнин С.Б., Е.А. Иванов, Муренко Л.Л. Средства комплексной отладки микропроцессорных устройств. -М.: Энергоатомиздат, 1988, 144 е.: ил.

24. Долинский Н. Инструментальный комплекс для разработки встроенных систем //Инженерная микроэлектроника. №1, 1998 г. ее 53-57

25. Дробинцев Д.Ф., Котляров В.П., Самочадин А.В. Программное обеспечение систем на микропроцессорах и микро-ЭВМ. Учебное пособие / Под. ред. Н.Д. Бутомо. Л.: Изд. ЛПИ, 1983,- 72 с.

26. Жаков В.И., Коровинский В.В., Фильчаков В.В. Синтаксический анализ и генерация кода. СПб.: ГААП, 1993э - 26 с.

27. Жданов А.А. Современный взгляд на ОС реального времени. // Мир компьютерной автоматизации № 1, 1999. с. 54-60.

28. Ж.-JI.JIopbep. Системы искусственного интеллекта / Пер. с франц. В.Л.Стефанюка. -М.: Мир, 1991 -568 е.: ил.

29. Иванников А.Д. Моделирование микропроцессорных систем. — М.: Энергоатомиздат, 1990. 144 с,: ил.

30. Изделие БЦВМ "Багет-54" Инструкция по применению и программированию ВИАМ.466226.001И21, М.: 2003.

31. Имитационная среда моделирования персональной вычислительной техники ЕХАМ-РС / Петрухин Б.С., Седунов В.М., Степченков В.М., Шашков Л.Е. // Автоматика и вычислительная техника. №4, 1994 г. ее 65-73

32. Ицыксон В.М. Эмуляция работы вычислительных систем с помощью специализированного языка описания устройств/УТруды СПбГТУ № 469, Санкт-Петербург, 1997г. с. 139-142.

33. Кейлингерт П. Элементы операционных систем. Введение для пользователей / Пер. с англ. Б.Л.Лисса и С.П.Тресковой. М.: Мир, 1985 - 295 с.

34. Киндлер Е. Языки моделирования: Пер. с чеш. М.: Энегроатомиздат, 1985. с. 288.

35. Компаниец Р.И., Маньков Е.В., Филатов Н.Е. Системное программирование. Основы построения трансляторов / Учебное пособие для высших и средних учебных заведений. МПб.: КОРОНА принт, 2000 - 256 с.

36. Кристиан К. Руководство по программированию на языке Модула-2: Пер. с англ. М.: Мир, 1989. - 463с., ил.

37. Кэпс Ч., Стаффорд P. VAX: Программирование на языке ассемблера и архитектура: Пер. с англ. М.: Радио и связь, 1991. - 416 е.: ил.

38. Лебедев В.Н. Введение в системы программирования. М.: Статистика, 1975. -312 с.:ил.

39. Лекарев М.Ф., Мелехин В.Ф. Автоматизированное проектирование структур цифровых устройств. Учебное пособие, Л.: ЛПИ, 1984. 76 с.

40. Лин В. Архитектура ЭВМ и программирование на языке ассемблера. Пер. с англ. М.: Радио и связь, 1989. 316 е.: ил.

41. Малые ЭВМ высокой производительности. Архитектура и программирование./Г.П. Васильев, Г.А. Егоров, B.C. Зонис и др.; Под ред. Н.Л. Прохорова. М.: Радио и связь, 1990. - 256 е.: ил.

42. Манита А.Д. Терия вероятностей и математическая статистика. М.: УНЦ ДО Московского университета, 2001.

43. Марков С. Цифровые сигнальные процессоры. Книга 1. М.: фирма МИКРОАРТ, 1996.-144 с. Ил.

44. Методология проектирования на системном уровне. Ф. Дж. Реммиг // VHDL для I, синтеза и формальной верификации аппаратуры. Пер. с англ. М.: и связь, 1995.ee. 281-303

45. Миков А.И. Моделирование вычислительных систем. Учебное пособие по спецкурсу. Пермь: Изд-во Перм. ун-та, 1982. - 96 с.

46. Описание языка операторов БЦВМ Ц-100 ОЯ.08000-01 35 01, М.: 1981.

47. Оре. О. Теория графов. М.: Наука, 1968. 352 с.

48. Орловский Г.В. Введение в архитектуру микропроцессора 80386. СПб.: Сеанс-Пресс LTD, 1992.-240 с.

49. Паппас К., Марри У. Микропроцессор 80386: Пер. с англ.- М.: Радио и связью 1993.-320 е.: ил.

50. Полетаева И.А. Методы трансляции: Конспект лекций. Новосибирск: Изд-во НГТУ, 1998 - 4.2. - 51 с.

51. Последовательное проектирование применение программного метода высокоуровневого проектирования аппаратуры с помощью VHDL. А. Холь //VHDL для моделирования, синтеза и формальной верификации аппаратуры. Пер. с англ. М.: Радио и связь, 1995, ее. 305-321

52. Пратт Т., Зелковиц М. Языки программирования: разработка и реализация / Под общей ред. А.Матросова. СПб.: Питер, 2002. - 688 е.: ил.

53. Программные средства моделирования непрерывно-дискретных систем./В.М. Глушков, В.В. Гусев, Т.П. Марьянович, М.А. Сахшок; Под. ред. В.М. Глушкова, -Киев: Наукова думка, 1975,- 152 с.

54. Птицына Л.К., Цыган В.Н. Программное обеспечение ЭВМ: Учеб. пособие. Л.: ЛГТУ, 1991.92с.59. РТМ 1495-75

55. Руководство по технической эксплуатации БЦВМ Ц-100 ОЯ1.700.048 03 РЭ, М.: 1983 г.

56. Руководство по применению и программированию БЦВМ-386-6, утвержд. Зам. Главного конструктора К.В. Шелепень, Раменское, 1997 г.

57. Руководство программиста БЦВМ Ц-100 ОЯ.08000-01 33 01, М.: 1981 г.

58. Средства автоматизации программирования микропроцессорных устройств / А.М.Белов, Е.А.Иванов, Л.ЛМуренко; под ред. В.Г.Домарачева. М.: Энергоатомиздат, 1988. - 120 е.: ил.

59. СингерМ. Мини-ЭВМ PDP-11: Программирование на языке ассемблера и организация машины: Пер. с англ. М.: Мир, 1984. — 272 е., ил.

60. Столингс Вильям. Операционные системы, 4-е издание.: Пер. с англ. М.: Издательский дом «Вильяме», 2002. - 848 е.: ил. - Парал. тит. англ.

61. Темпоральная логика действий / Л. Лампорт // Системная информатика. Вып. 3. Программные и вычислительные системы: методы и языки анализа. -Новосибирск: ВО «Наука». Сибирская издательская фирма. 1993.

62. Теория и методы автоматизации проектирования вычислительных систем./Под ред. М. Брейера. М.: Мир, 1977. - 284 е.: ил.

63. Технология системного моделирования / Е.Ф. Аврамчук, А.А. Вавилов, С.В. Емельянов, и др. ; под общей редакцией С.В. Емельянова и др. М.: Машиностроение; Берлин: Техник, 1998 - 520 е.: ил.

64. Тиммерман М., Бенеден Б.В., Урс Л. Расширение реального времени для Windows NT: оценка. // Мир компьютерной автоматизации № 1, 1999. с. 51-68

65. Тормасов А. Виртуализация операционных систем, "Открытые системы", #01, 2002 год // Издательство "Открытые системы", http://www.osp.ru/os/2002/01/027.htm

66. Федорцов А. Универсальный эмулятор микропроцессоров и микроконтроллеров, ChipNews, #1, 2000г, http://chipnews.gaw.ru/html.cgi/arhiv/0001/stat-18.htm

67. Хантер Р. Проектирование и конструирование компиляторов. М.: Мир, 1984. — 212с.

68. Холленд Р. Микропроцессоры и операционные системы: Краткое справочное пособие: Пер. с англ. М.: Энергоатомиздат, 1991. - 192 е.: ил.

69. Черняк JI. Динамическая трансляция для встроенных систем, "Открытые системы", #11, 2001 // Издательство "Открытые системы", http://www.osp.ru/os/2001/11/015 .htm

70. Яковлев Е.И. Машинная имитация. М.: Наука, 1975. 158 е., ил.

71. Erik R. Altaian, Kemal Ebcioglu, Michael Gschwind, Senior Member, Sumedh Sathaye. Advances and Future Challenges in Binary Translation and Optimization, Proceedings of the IEEE, VOL. 89, NO. 11, pp. 1710-1722, November 2001

72. Ertl M. A., Gregg D. Optimizing indirect branch prediction accuracy in virtual machine interpreters // PLDI2003: 278-288.

73. Developments in concurrency and communication / Ed. by C.A.R. Hoare. Adisson-Wesley, 1990.-335 p.

74. Guido Albertengo, Stefano Petroianni. On the Emulation of Geostationary Earth Orbit Satellite Systems // Proceedings of the Seventh International Symposium on Computers and Communications, February 2002

75. ISaGRAF PRO. Interface Reference. AlterSys, Inc. http://www.altersys.com

76. IA-32 Intel® Architecture Optimization. Reference Manual. http://developer.intel.com82. http://www.cs.ucr.edu/~dalton/i8051/. Synthesizeable VHDL Model of 8051

77. Lindholm Т., Yellin F. The Java Virtual Machine Specification, 2nd Edition. Addison-Wesley Publishing Company, Reading, Massachusetts, 1999.

78. MAX+PLUS-II. Programmable Logic Development System. AHDL. 1995

79. OpenPCS 2004 Automation Suite. Infoteam Software GmbH. http://www.infoteam.de

80. Romer Т. H., Lee D., Voelker G. M., Wolman A., Wong W. A., Baer J-L., Bershad B. N., Levy H M.: The Structure and Performance of Interpreters. ASPLOS 1996: 150-159

81. R.F.FIobson, J.D.Iioskin, J.L.Simmons, R.W.Spilsbury. SAM-1: a prototype machine for dynamic, array-oriented programming languages //IEEE Proceedings-E, Vol. 139, No. 4, pp. 335-347, July 1992

82. Siewiorek D., Bell C., Newell A., Computer Structures: Principles and Examples, McGraw-Hill, 1971.

83. VHDL'92. Новые свойства языка описания аппаратуры VHDL: Пер. с англ. / Ж.

84. М. Берже, А. Фокнуа, С. Мажино, Ж. Руайаг, М.: Радио и связь, 1995. - 256 е.:ил.

85. Xilinx-ABEL Design Software Reference Manual, Data I/O Corp., 1993

86. Система автоматизации программирования БЦВМ Ц100-04. Транслятор. Описание языка., М.: 1993 г.