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

Введение.

1 Моделирование в САПР микропроцессорных систем

1.1 Использование моделей микропроцессорных устройств в структурно-функциональном проектировании

1.2 Моделируемые сущности в ПСМ МПС.

1.2.1 Структура моделируемых объектов.

1.2.2 Поведение объектов.

1.2.3 Обрабатываемые данные и операции.

1.3 Уровни моделирования МПС.

1.4 Использование моделей и функциональные возможности среды ПСМ МПС.

1.5 Выводы по первой главе.

2 Принципы построения систем поддержки оценочного моделирования МПС

2.1 Структурно-функциональное проектирование на основе оценочного моделирования.

2.2 Требования к системам оценочного моделирования.

2.3 Обеспечение открытости СПОМ и поддержка многоуровневого моделирования.

2.3.1 Открытость СПОМ в части изменения спектра моделей и их свойств.

2.3.2 Многоуровневое моделирование.

2.3.3 Модификация свойств диалоговой инструментальной среды.

2.4 Оценка параметров проектных решений и накопление артефактов проектирования.

2.5 Анализ функционирования МПС при обратном проектировании

2.6 Организация обучения в среде СПОМ.

2.6.1 Основные проблемы организации обучении в среде СПОМ.

2.6.2 Интеграция учебной и инженерной деятельности.

2.6.3 Использование технологий автоматизированного обучения .'.

2.6.4 Поддержка индивидуального и группового обучения

2.7 Интеграция систем оценочного моделирования со средствами программирования

2.8 Обеспечение функциональности, устойчивости и технологичности СПОМ.

2.8.1 Управление функциональностью СПОМ

2.8.2 Технологичность проектных решений и общая модель проектирования

2.8.3 Рациональные процессы проектирования моделей.

2.9 Выводы по второй главе.

3 Инженерное проектирование СПОМ МПС

3.1 Параметры качества проектных решений СПОМ.

3.2 Архитектура СПОМ.

3.2.1 Обобщенная структурно-функциональная схема СПОМ.

3.2.2 Оценочное моделирование на базе средств отладки ПО МПС

3.2.3 Сетевые системы.

3.3 Программные модели микропроцессоров.

3.3.1 Структурно-функциональная организация симуляторов МП.

3.3.2 Моделирование машинных команд.

3.4 Интеграция моделей МП с моделями внешней среды.

3.5 Тестирование моделей МПУ.

3.6 Выводы по третьей главе.

4 Автоматическая генерация моделей микропроцессоров

4.1 Общие идеи автоматической генерации

4.2 Языки спецификации МП и МК.

4.3 Арифметические функции и их представление таблицами и граф-схемами

4.3.1 Представление функций таблицами.

4.3.2 Представление функций граф-схемами.

4.3.3 Синтез граф-схем функций.

4.4 Таблично-алгоритмическая реализация арифметических функций.

4.4.1 Реализация арифметических функций комбинационными схемами.

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

4.5 Генерация симуляторов микропроцессоров на основе техники трансляции таблиц решений

4.6 Генерация быстродействующего симулятора на основе более медленного интерпретатора машинных команд.:

4.7 Оценка эффективности процесса автоматической генерации

4.8 Выводы по четвертой главе.

5 Организация поддержки обучения

5.1 Процессы изучения МПТ и технологии ее проектирования и моделирования.

5.2 Шаблоны проектирования в обучающих режимах СПОМ.

5.2.1 Классификация шаблонов проектирования.

5.2.2 Структурно-функциональная организация шаблонов

5.2.3 Примеры применения шаблонов

5.3 Модели учебно-инженерных проектов

5.4 Выводы по пятой главе.

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

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

1) Гетерогенностью, т.е. возможностью моделировать различные микропроцессоры (МП) и микроконтроллеры (МК) различных семейств.

2) Наличием возможности подключения к модели МП или МК моделей поведения внешней среды. Здесь имеются ввиду прежде всего композиции внешних микропроцессорных устройств (ВМПУ), таких как БИС адаптеров связи, контроллеров прерываний и т.п., и объектов контроля и управления.

3) Открытостью, что означает предоставление пользователю возможности включать в спектр моделей системы свои собственные модели.

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

5) Возможностью интеграции СПОМ с различными кросс-средствами поддержки программирования.

6) Наличием развитых средств профилирования, дающих возможности оценивать критериальные параметры.

7) Наличием встроенных средств поддержки обучения новым проектным решениям, методам проектирования и моделирования.

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

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

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

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

Во-вторых, создание СПОМ с широким спектром разнообразных моделей средств микропроцессорной техники (МПТ) требует проведения теоретических исследований, основным результатом которых должны быть абстрактные модели (метамодели), достаточно эффективно преобразуемые в конкретные программные модели устройств. В качестве отправных точек здесь уместно рассматривать автоматно-лингвистические, логико-алгебраические, алгоритмические и графовые модели, опираясь на результаты исследований В.М.Глушкова, Ю.В.Капитоновой, А.А.Летичевского, А.Н.Мелихова, В.А.Горбатова, Д.А.Поспелова, В.Г.Лазарева и Е.В.Пийль, С.И.Баранова, В.В.Иванищева и В.Е.Марлея, А.Ахо (A.V.Aho) и Д.Ульмана (J.D.Ullman). В 90-х годах активно начала развиваться теория алгебраических моделей архитектур МП, прежде всего в работах А.Фокса (A.C.J.Fox), Н.Хармана (N.A.Harman), Д.Таккера (J.V.Tucker), Т.Кука (T.A.Cook). Я.Накамуры (У.Макатига),А.Трибулеца (A.Trybulec). Другим важным источником для формирования методологии моделирования средств МПТ являются исследования по общей теории моделирования и моделированию вычислительных систем, изложенные в работах Р.Шеннона, Д.Смита, Б.Я.Советова, И.В.Максимея, Д.Феррари, И.Н.Альянаха. Методология моделирования микропроцессорных систем на уровне БИС представлена в работах А.Д.Иванникова. Общая концепция автоматической генерации программ симуляции изложена в конце 90-х годов в работах n.MarHycceHa(P.Magnusson) и O.JIapceHa(F.Larsson).

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

Область исследования - автоматизация проектирования микропроцессорных систем.

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

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

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

Для достижения этой цели необходимо решить следующие основные задачи.

1. Исследование методов моделирования средств МПТ и существующих подходов к построению систем моделирования.

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

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

4. Разработка методов автоматизации проектирования программных моделей микропроцессоров.

5. Разработка моделей процессов поддержки обучения на основе активного применения техники моделирования в среде СПОМ.

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

Научная новизна проведенных исследований заключается в следующем:

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

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

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

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

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

Практическая ценность. Практическую ценность представляют следующие результаты осуществления разрабатываемых и развиваемых в диссертации подходов: а) конкрентные варианты структурно-функциональной организации систем поддержки проектирования МПС; б) несколько версий программной системы моделирования МПС на базе МПК К580; в) телекоммуникационные системы моделирования, созданные средствами Java-технологии для эксплуатации в среде Интранет и охватывающие МП Intel 8086, Motorola 68000, Microchip PIC и МП с архитектурой PDP-11; г) комплект образцов проектирования программных моделей средств МПТ, предоставляемых разработчикам МПС для быстрого создания моделей расширения СПОМ; д) многофункциональный настраиваемый кросс-ассемблер; е) настраиваемый на различные архитектуры интерпретатор ассемблер-программ ж) телекоммуникационная система схемотехнического моделирования; з) телекоммуникационная авторская система автоматизированного обучения, построенная для среды Интранет на основе технологии клиент-сервер и SQL-баз данных; и) авторская система автоматизированного обучения, построенная на основе интерпретатора авторского языка программирования автоматизированных учебных курсов.

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

Внедрение результатов. Диссертационная работа является обобщением результатов, полученных автором в Ленинградском электротехническом институте и Ульяновском государственном техническом университете в процессе выполнения в 1974-1994 годах научно-исследовательских работ, в том числе: "Разработка принципов построения и технической реализации средств вычислительной техники на основе многофункциональных регулярных вычислительных структур" (Москва, НИЦЭВТ), "Разработка микропроцессорной системы для управления сверлильными станками" (Ульяновск, Завод "Искра"), "Разработка средств автоматизированного обучения" (Ульяновск, Центр микроэлектроники), "Разработка интегрированной авторской системы автоматизированного обучения с развитыми возможностями адаптации к обучаемым" (РосКЦИ-ТО, единый заказ-наряд республиканского бюджета 1994 г, МКНП "Развитие информационной среды высшей школы"). Системы моделирования переданы для использования в Ульяновский центр микроэлектроники, Ульяновский автомобильный завод, Ульяновское КБ приборостроения, Пензенский технологический институт, НИИ Радиотехники Красноярского государственного технологического университета, и используются в качестве среды обучения по микропроцессорной технике в Ульяновском государственном техническом университете более 10 лет.

Апробация работы. Основные научные и практические результаты исследований по теме диссертации докладывались на 4-й Всесоюзной конференции по проблеме "Однородные вычислительные системы и среды" (Киев, 1975), Всесоюзном совещании по микропроцессорам (Рига, 1975), Всесоюзном совещании "Дальнейшее развитие техники запоминающих устройств" (Тбилиси, 1976), Всесоюзном семинаре "Параллельные машины и параллельная математика" (Киев, 1977), Всесоюзная конференция "Интенсификация учебного процесса на основе применения микропроцессоров" (Воронеж, 1987), Всесоюзная выставка-семинар "Новые информационные технологии в высшей школе" (Гурзуф, 1991), "Новые информационные технологии в школах и вузах" (Москва,

1993), "Компьютерные технологии в высшем образовании" (Санкт-Петербург,

1994), Республиканском совещании-семинаре "Информационные технологии в учебном процессе кафедр физики и математики" (Ульяновск, 1995,1997,1999), Всероссийской научно-методической конференции "Телематика-98" (Санкт-Петербург, 1998), Международной конференции "Интерактивные системы: проблемы человеко-компьютерного взаимодействия" (Ульяновск, 1997,1999,2001),

Международной конференции "Нейронные, реляторные и непрерывнологиче-ские сети и модели" (Ульяновск, 1998, 1999), Международной конференции "Континуальные логико-алгебраические методы в науке, технике и экономике" (Ульяновск, 2000,2001). Под руководством автора выполнены и успешно защищены 12 магистерских диссертаций и в 2002 году завершается выполнение двух кандидатских диссертаций.

Публикации. Материалы диссертации опубликованы в 67 работах. Из них 3 монографии, 1 учебное пособие, 8 авторских свидетельств, 25 статей и 30 тезисов докладов и материалов научных конференций.

На защиту выносятся:

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

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

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

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

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

Структура и объем диссертации. Диссертация состоит из введения, пяти глав, заключения, списка используемой литературы, включающего 158 наименований, и трех приложений. Основная часть работы изложена на 270 страницах машинописного текста. Работа содержит 55 рисунков и 12 таблиц.

5.4 Выводы по пятой главе

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

2. Основное содержание процессов демонстрации функционирования для различных объектов изучения рекомендуется строить следующим образом: при изучении МПТ демонстрируются структурно-функциональная организация устройств и их поведение; при изучении методов проектирования демонстрируются проектные решения и функционирование моделей программно-аппаратных реализаций функций МПС; при изучении методов моделирования в центр демонстрации ставятся технические решения симуляторов и результаты профилирования соответствующих программ. Для поддержки демонстрации предлагается использовать специальный интерпретатор языка сценариев, который обеспечивает управление темпом и поддержку диалогового вмешательства обучаемого в процесс демонстрации.

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

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

5. Для организации контролируемого выполнения учебно-инженерных про-ектов(УИП) модели УИП рекомендуется строить таким образом, чтобы в ходе проектирования доминировали работы по модификации заданного множества базовых решений. Верификация правильности этих операций проводится через анализ порождаемых артефактов проектирования анализ операций, применяемых для этих работ.

6. Управляемую и контролируемую деятельность в среде СПОМ целесообразнее всего строить на основе сценариев, создаваемых над общим пространством актов деятельности. Для порождения актов деятельности предлагается использовать подход, основанные на автоматической генерации конкретных реализаций замыслов из некоторых шаблонов, представляющих замысел акта. Это позволяет существенно повысить производительность труда автора заданий для обучаемых.

7. Для интерпретации результатов деятельности обучаемых в среде СПОМ предлагается использовать решатели, которые имеют доступ к функциям моделирования. За счет этого существенно сокращается объем труда по организации контроля знаний относительно традиционных методов, базирующихся на применении автоматизированных учебных курсов контролирующего типа.

Заключение

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

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

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

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

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

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

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

7. Разработаны методы слияния таблиц решений и метод порождения граф-схемы функции, основанный на подсчете количества строк подтаблицы, получаемой после операции ее минимизации через операцию склеивания. Первый из этих методов позволяют композировать и декомпозировать арифметические функции как на уровне представления таблицами решений, так и на уровне представления граф-схемами. Второй метод обеспечивает синтез граф-схем меньшей сложности по сравнению с распространенным методом "суммы тире".

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

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

1. Исследование методов и средств интеграции систем оценочного моделирования, основанных на симуляции средств микропроцессорной техники, с системами вероятностного имитационного моделирования.

2. Исследование методов и технологии создания моделей объектов контроля и управления, интегрируемых с системами поддержки оценочного моделирования.

3. Исследование методов разработки тестов симуляторов средств микропроцессорной техники.

4. Исследование методологии и технологии создания архитектурных каркасов для программ симуляции средств микропроцессорной техники.

1. Автоматизация проектирования БИС. В 6 кн.: Практ. пособие. Кн.2. Савельев П.В., Коняхин В.В. Функционально-логическое проектирование БИС/ Под ред. Г.Г.Казеннова. М.: Высш. шк., 1990. - 156 с.

2. Автоматизированное проектирование систем управления/Под ред. М.Джамшиди и др.; Пер. с англ. М.Машиностроение, 1989. - 344 с. 1998.-608 с.

3. Алексенко А.Г., Галицын А.А., Иванников А.Д. Проектирование радиоэлектронной аппаратуры на микропроцессорах: Программирование, типовые решения, методы отладки. М.: Радио и связь, 1984. - 272 с.

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

5. Антонов А.П. Язык описания цифровых устройств AlteraHDL. Практический курс. М.: ИП РадиоСофт, 2001. - 224 с.

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

7. Ахо А., Сети Р., Ульман Д. Компиляторы. Принципы, технологии, инструменты.: Пер. с англ. М.: Изд. дом "Вильяме", 2001. - 768 с.

8. Балашов Е.П., Пузанков Д.В. Микропроцессоры и микропроцессорные системы./ Под ред. В.Б.Смолова. М.: Радио и связь, 1981. - 328 с.

9. Баранов С.И. Синтез микропрограммных автоматов(граф-схемы и автоматы). 2-е изд., перераб. и доп. - Л.: Энергия, 1979. - 232 с.

10. Баранов С.И., Скляров В.А. Цифровые устройства на программируемых БИС с матричной структурой. М.: Радио и связь, 1986. - 272 с.

11. Баранов С.Н., Домарацкий А.Н., Ласточкин Н.К., Морозов В.П. Сбор и анализ метрик при выполнении проектов программных изделий./ Программные продукты и системы, 1998, №4, с. 24-29.

12. Бек Л. Введение в системное программирование.-М.: Мир, 1988.-448 с.

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

14. Блох А.Ш. Граф-схемы и их применение. Минск: Вышейша школа, 1975.-304 с.

15. Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ. М.: Радио и связь, 1985. - 512 с.

16. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд. /Пер. с англ. М.: "Бином", СПб.: "Невский диалект", 1998. - 560 с.

17. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. М.: ДМК, 2000. - 432 с.

18. Бэк К. Экстремальное программирование. "Открытые системы", 2000, № 1-2, с. 59-66.

19. Введение в технику работы с таблицами решений: Пер. с нем./Фрайтаг Г., Годе В., Якоби X. и др. М.: Энергия, 1979. - 88 с.

20. Вебер Дж. Технология Java в подленнике: Пер. с англ. СПб.: BHV -Санкт-Петербург, 1997. - 1104 с.

21. Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь, 1988.-280 с.

22. Вуд А. Микропроцессоры в вопросах и ответах: Пер. с англ. М.: Энер-гоатомиздат, 1985. - 184 с.

23. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования. Паттерны проектирования. СПб: Питер, 2001.-368 с.

24. Гивоне Д., Россер Р. Микропроцессоры и микрокомпьютеры: Вводный курс: Пер. с англ. М.: Мир, 1983. - 464 с.

25. Глушков В.М. Синтез цифровых автоматов. -М.:3изматгиз, 1962. 476 с.

26. Горбатов В.А. Теория частично-упорядоченных систем. М.:"Советское радио", 1976.-336 с.

27. Горбатов В.А. Семантическая теория проектирования автоматов. -М.:Энергия, 1979. 264 с.

28. Горелик A.JL, Скрипкин В.А. Некоторые вопросы построения систем распознавания. М.: Советское радио, 1974. - 224 с.

29. Григорьев B.JI. Программное обеспечение микропроцессорных систем. -М.: Энергоатомиздат, 1983. -208 с.

30. Гришин Ю.П. Казаринов Ю.М., Катиков В.М. Микропроцессоры в радиотехнических системах/ Под ред. Ю.М.Казаринова. М.: Радио и связь, 1982.-280 с.

31. Гультяев А.К. MATLAB 5.2. Имитационное моделирование в среде Windows: Практическое пособие. СПб.: КОРОНА принт, 1999. - 288 с.

32. Долинский М.С., Зисельман И.М., Белоцкий C.JI. Настраиваемый отладчик-интерпретатор ассемблерных программ. // Программирование. 1995, № 6, с. 36-45.

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

34. Евстигнеев В.А. Применение графов в программировании. М.: Наука, 1982.-352 с.

35. Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационное моделирование сложных дискретных процессов. Язык РДО. -М.: "АНВИК", 1998. 427 с.

36. Ермолаев И.Ю. Настраиваемые на целевую архитектуру средства отладки программ. Тез. V республ. науч. конф. студентов и аспирантов Беларуси (НИРС-2000). Гродно, 2000, с. 161-164.

37. Ермолаев И.Ю. Методика автоматизации процесса создания модели микроконтроллера // Автоматизация проектирования дискретных систем. Материалы 4-ой междунар. конф. Минск, 2001. Т.З, С.77-84.

38. Excalibur меч в кармане. // BYTE- Россия, 2000, № 9, с. 50-54.

39. Закревский А.Д. Логический синтез каскадных схем. М.: Наука. Гл.ред. физ.-мат. лит., 1981. - 416 с.

40. Зыков А.А. Основы теории графов. М.: Наука., 1987. - 384 с.

41. Ивани А., Смелянский P.JI. Элементы теоретического программирования.- М.: Изд-во МГУ, 1985. 192 с.

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

43. Иванищев В.В., Марлей В.Е. Введение в теорию алгоритмических сетей.- СПб.: СПбГТУ, 2000. -180 с.

44. Интегрированная среда разработки программного обеспечения встроенных систем Winter, http://nit.gsu.unibel.by/ru/winter/

45. Интеллектуальные системы автоматизированного проектирования больших и сверхбольших интегральных микросхем / В.А.Мищенко, Л.М.Городецкий, Л.И.Гурский и др.; Под ред. В.А.Мищенко. М.: Радио и связь, 1988. - 272 с.

46. Информационные системы: Табличная обработка информации. / Е.П.Балашов, В.Н.Негода, Д.В.Пузанков и др.: Под ред. Е.П.Балашова и В.Б.Смолова. Д.: Энергоатомиздат, 1985. - 184 с.

47. Ицысков В.М. Исследование и проектирование моделей и программных средств эмуляции вычислительных систем. Дисс. к.т.н., 05.13.13. СПб.: СПГТУ, 1999.-249 с.

48. Каган Б.М., Сташин В.В. Основы проектирования микропроцессорных устройств автоматики. М.: Энергоатомиздат, 1987. - 304 с.

49. Калабеков Б. А. Микропроцессоры и их применение в системах передачи и обработки сигналов: Учеб. пособие для вузов. . М.: Радио и связь, 1988.-368 с.

50. Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. 1988. - 296 с.

51. Клингман Э. Проектирование специализированных микропроцессорных систем: Пер. с англ. М.: Мир, 1985. - 363 с.

52. Конвей Р.В., Максвелл В.Л., Миллер Л.В. Теория расписаний. -М.: Наука, 1975.-360 с.

53. Корячко В.П., Курейчик И.П., Норенков И.П. Теоретические основы САПР: Учебник для вузов. М.: Энергоатомиздат, 1987. - 400 с.

54. Краудер Н. А. О различиях между линейным и разветвленным программированием. /В сб. "Программированное обучение за рубежом". М.: Высш. шк, 1968. с.58-67

55. Кузин Л.Т. Основы кибернетики: В 2-х т. Т.2. Основы кибернетических моделей. Учеб.пособие лдя вузов. М.: Энергия, 1979. - 584 с.

56. Кузнецов Б.П. Психология автоматного программирования. //BYTE/Россия, 2000, N11, с. 22-29

57. Кузнецов О.П., Адельсон-Вельскнй Г.М. Дискретная математика для инженера. М.: Энергия, 1980. - 344 с.

58. Кук Д., Бейз Г. Компьютерная математика: Пер. с англ. М.: Наука, 1990. -384 с.

59. Куприянов М.С., Матюшкин Б.Д., Иванова В.Е. и др. Техническое обеспечение цифровой обработки сигналов. Справочник. СПб: "ФОРТ", 2000.-752 с.

60. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. М.: Энерго-атомиздат, 1989. - 328 с.

61. Ларионов A.M., Майоров С.А., Новиков Г.И. Вычислительные комплексы, системы и сети. / Учебник для вузов. Л.: Энергоатомиздат, 1987. -288 с.

62. Ларман К. Применение UML и шаблонов проектирования. / Пер. с англ. М.: Издательский дом "Вильяме", 2001. - 496 с.

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

64. Лингер Р., Миллс X., Уитт Б. Теория и практика структурного программирования: Пер. с англ. М.: Мир, 1982. - 406 с.

65. Липаев В.В. Тестирование программ М.: Радио и связь, 1986. - 296 с.

66. Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ. Пер. с англ. М.: Мир, 1989. - 424 с.

67. Лю Ю-Чжен, Гибсон Г. Микропроцессоры семейства 8086/8088. Архитектура, программирование и проектирование микрокомпьютерных систем: Пер. с англ. М.: Радио и связь, 1987. - 512 с.

68. Максимей И.В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1988.-232 с.

69. Мальцев А.И. Алгебраические системы. -М.: Радио и связь, 1988. -232 с.

70. Математический энцеклопедический словарь./ Гл.ред. Ю.В.Прохоров. -М.: Сов.энциклопедия, 1988. -847 с.

71. Машечкин И.В. Многофункциональная адаптируемая система кросс-программирования. Автореф. дисс. д.фм.н. М.: МГУ, 1998. 27 с.

72. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971.-416 с.

73. Мик Дж., Брик Дж. Проектирование микропроцессорных устройств с разрядно-модульной организацией: В 2-х кн. Пер. с англ. М.: Мир, 1984.-Кн. 1.260 с.

74. Микропроцессорное управление технологическим оборудованием микроэлектроники: Учеб. пособие/А.А.Сазонов, Р.В.Корнилов, Н.П.Кохан и др.; Под ред. А.А.Сазонова. М.: Радио и связь, 1988. - 264 с.

75. Миллер Р. Теория переключательных схем, т. 1 Комбинационные схемы. М.: Наука, 1970.-416 с.

76. Миллер Р. Теория переключательных схем, т. 1 Последовательностные схемы и машины. М.: Наука, 1971. - 304 с.

77. Многоуровневое структурное проектирование программ: Теоретические основы, инструментарий / Е.Л.Ющенко, Г.Е.Цейтлин, В.П.Грицай, Т.К.Терзян. М.: Финансы и статистика, 1989. - 208 с.

78. Накадзима Р., Хонда М., Накахара X. Иерархическая спецификация программ: подход, базирующийся на многосортной логике./ В кн. Прикладные методы верификации программ Под ред. А.П.Ершова. М.: Радио и связь, 1988.-256 с.

79. Негода В.Н. Исследование принципов построения специализированных процессоров на основе программируемых структур типа постоянной памяти. Дисс. к.т.н., 05.13.13 Л.: ЛЭТИ, 1977. - 149 с.

80. Негода В.Н. Преобразователи кодов в микропроцессорных системах. //В кн.: Проектирование, контроль и диагностика микропроцессорных систем. Вып. 1. Саратов: Издат-во Сарат. ун-та, 1986. - с. 60-65

81. Негода В.Н. Слияние таблиц решений арифметических функций. //В кн.: Проектирование, контроль и диагностика микропроцессорных систем. Вып. 2. Саратов: Издат-во Сарат. ун-та, 1986. - с. 58-61

82. Негода В.Н. Использование таблиц решений в ПАСКАЛЬ-программах. //В кн.: Проектирование, контроль и диагностика микропроцессорных систем. Вып. 3. Саратов: Издат-во Сарат. ун-та, 1989. - с. 61-65

83. Негода В.Н. Программирование задач дискретной математики на языке Паскаль: Учебное пособие. Ульяновск, УлПИ, 1988. - 88 с.

84. Негода В.Н. Архитектура учебной системы моделирования микропроцессора. //Решение проффесиональных задач на персональных ЭВМ -Ульяновск: УлПИ, 1990, с. 17-20.

85. Негода В.Н. Дистанционное обучение основам микропроцессорной техники. //Материалы выставки 2-й междунар. науч.-техн. конф. «Интерактивные системы: Проблемы человеко-компьютерного взаимодействия»-Ульяновск, УлГТУ, 1997. с. 29-31.

86. Негода В.Н. Принципы построения учебной САПР микропроцессорных систем. В кн. «Информационные системы и технологии. Сборник научных трудов. ». - Ульяновск, Изд-во УлГТУ, 1997, с. 27-31.

87. Негода В.Н. Организация учебно-инженерной деятельности в телекоммуникационной среде. /Проблемы организации многоуровневой системыобразования. Тезисы докладов науч.-методич. конференции. Ульяновск, Изд-во УлГТУ, 1998. с. 8-13.

88. Негода В.Н. О построении учебно-исследовательской системы функционально-логического моделирования микропроцессорных систем. В кн. «Вестник УлГТУ. Серия "Информационные технологии». Ульяновск, УлГТУ, 1998. с. 63-68.

89. Негода В.Н., Анисимов В.И., Ризаев А.В. Организация тестирования эмуляторов микропроцессорных устройств. //В кн. Методы и средства преобразования и обработки информации. Сборник науч. трудов аспирантов и докторантов. УлГТУ, 1998. с. 62-67.

90. Негода В.Н. Функции и структура моделей микропроцессоров в учебно-исследовательской САПР микропроцессорных систем. В кн. «Вестник УлГТУ.» «Серия "Информационные технологии"». Ульяновск, УлГТУ, 1999.-с. 87-93.

91. Негода В.Н. О контроле деятельности обучаемого в учебной САПР микропроцессорных ситсем. В кн. «Вестник УлГТУ. Серия "Информационные технологии». Ульяновск, УлГТУ, 2000. - с. 73-81.

92. Негода В.Н., Колесников А.О. Сетевые технологии в обучении. /В сб. Современные проблемы научно-технического прогресса и управления производством. Сборник материалов региональной научно-практической конференции. Ульяновск, УлГТУ, 1999. - с. 62-69.

93. Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ Под ред. А.П.Ершова. М.: Радио и связь, 1988. - 256 с.

94. Ноутон П., Шилдт Г. Java 2: Пер. с англ. СПб.: БХВ-Петербург, 2000. -1072 с.

95. Оллонгрен А. Определение языков программирования интерпретирующими автоматами. М.: Мир, 1977. - 288 с.

96. Олссон Г., Пиани Д. Цифровые системы автоматизации и управления. -СПб.: Невский диалект, 2001. 557 с.

97. Предко М. Руководство по микроконтроллерам. Том 1. М.: Постмаркет, 2001.-416 с.

98. Предко М. Руководство по микроконтроллерам. Том 2. М.: Постмаркет, 2001.-488 с.

99. Применение микропроцессорных средств в системах передачи информации: Учеб. пособие для вузов по спец. АСУ/Б.Я.Советов, О.И.Кутузов, Ю.А.Головин, Ю.В.Аветов. М.: Высш.шк., 1987. - 256 с.

100. Проектирование цифровых вычислительных машин. Под ред. С.А.Майорова. Учебное пособие для студентов вузов. М.: Высш. школа, 1972. - 344 с.

101. Разработка САПР: В 10 кн. Кн. 10 Лабораторный практикум на базе учебно- исследовательской САПР: практ. пособие/А.В.Петров, В.М.Черненький, В.Б.Тимофеев и др.; Под ред. А.В.Петрова. М.: Высш.шк., 1991.- 160 с

102. Растригин Л.А. Современные принципы управления сложными объектами. М.: Мир, 1980. - 232 с.

103. Рафикузаман М. Микропроцессоры и машинное проектирование микропроцессорных систем.: В 2-х кн. Кн. 1. Пер. с англ. М.: Мир, 1988. -312 с.

104. Рафикузаман М. Микропроцессоры и машинное проектирование микропроцессорных систем.: В 2-х кн. Кн. 2. Пер. с англ. М.: Мир, 1988. -288 с.

105. Системы автоматизированного проектирования в радиоэлектронике: Справочник/Е.В.Авдеев, А.Т.Еремин, И.П.Норенков, М.И.Песков; Под ред. И.П.Норенкова. М.: Радио и связь, 1986. - 368 с.

106. Смагин А.А., Негода В.Н., Скворцов С.В. Проектирование и сопровождение микропроцессорных систем. Саратов. Изд-во Сарат. ун-та, 1987. -100 с.

107. Смит Дж.М. Математическое и цифровое моделирование для инженеров и исследователей. М.: Машиностроение, 1980. - 271 с.

108. Танаев B.C., Поварич М.П. Синтез граф-схем алгоритмов выбора решений. Минск: Наука и техника, 1974. - 112 с.

109. Токхайм Р. Микропроцессоры: Курс и упражнения/Пер. с англ. М.: Энергоатомиздат, 1988. - 336 с.

110. Уильяме Г.Б. Отладка микропроцессорных систем.: Пер с англ. М.: Энергоатомиздат, 1988. - 253 с.

111. Уокерли Дж. Архитектура и программирование микро-ЭВМ: В 2-х книгах. Пер. с англ.-М.: Мир, 1984. Кн. 1. 486 е., Кн. 2. 341 с.

112. Управляющие и вычислительные устройства роботизированных комплексов на базе микроЭВМ: Учеб. пособие для техн. вузов/ В.С.Медведев, Г.А.Орлов, Ю.И.Рассадкин и др.; Под ред. В.С.Медведева. М.: Высш.шк., 1990.-239 с.

113. Фергусон Дж., Макари Л., Уилльямз П. Обслуживание микропроцессорных систем: Пер с англ. М.: Мир, 1989. - 336 с.

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

115. Финогенов К.Г. Программирование измерительных систем реального времени. М.: Энергоатомиздат, 1990. - 256 с.

116. Фридмен М., Ивенс Л. Проектирование систем с микрокомпьютерами: Пер. с англ. М.: Мир, 1986. - 405 с.

117. Фритч В. Применение микропроцессоров в системах управления: Пер. с нем. М.: Мир, 1984, - 464 с.

118. Хамби Э. Программирование таблиц решений. М.: Мир, 1976. - 88 с.

119. Хвощ С.Т., Варлинский Н.Н., Попов Е.А. Микропроцессоры и микроЭВМ в системах автоматического управления: Справочник/Под общ. ред. С.Т.Хвоща. Д.: Машиностроение. Ленингр. отд-е, 1987. - 640 с.

120. Хилбурн Дж., Джулич. П. Микро-ЭВМ и микропроцессоры: Технические средства, программное обеспечение, применение: Пер. с англ. -М.: Мир. 1979.-464 с.

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

122. Хомский Н. Формальные свойства грамматик. В кн.: Кибернетический сборник. Новая серия. Вып. 6. М.: Мир, 1969. - с.65-98

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

124. Шенфилд Дж. Математическая логика. М.: Наука, 1975. - 528 с.

125. Юров В. Assembler: специальный справочник. СПб: «Питер», 2000. -496 с.

126. Boyer R. S., Yu.Y A Formal Specification of Some User Mode Instructions for the Motorola 68020. Technical Report TR-92-04. University of Texas at Austin, 1992.-127 p.

127. Bryant R. E. Graph-based algorithms for boolean function manipulation. / Proceedings of the 27th АСМЛЕЕЕ Design Automation Conference, 1990. -28 p. (citeseer.nj.nec.com/bryant86graphbased.html)

128. Cmelik R.F. Keppel D. Shade: A Fast Instruction-Set Simulator for Execution Profiling. Technical Report UWCSE 93-06-06, 1993. 43 p.

129. Cook T.A. Instruction Set Architecture Specification. Ph.D. thesis from North Carolina State University, 1993.

130. Cook Т.A., Franzon P.D., Harcourt E.A., Miller Т.К. System-Level Specification of Instruction Sets. 1993.

131. Eggers S.J., Keppel D.R., Koldinger E.J., Levy H.M. Techniques for Efficient Inline Tracing on a Shared-Memory Multiprocessor, SIGMETRICS Conference on Measurement and Modeling of Computer Systems, vol. 18, no. 1, 1990. pp. 37-47.

132. Embeded Control Handbook. Volume 1. Microchip Technology Inc. 1997.

133. Flanagan D. Java in a Nutshell. 2nd Edition. -O'Reilly, 1997. 628 p.

134. Fox A.C.J., Harman N.A. Algebraic models of correctness for microprocessors. Technical Report CSR 8-98 (accepted for Formal Aspects of Computer Science). University of Wales Swansea, 1998. - 22 p.

135. Fox A.C.J., Harman N. A. Algebraic Models of Temporal Abstraction for Initialised Iterated State Systems: An Abstract Pipelined Case Study.Technical Report CSR 21-98 (submitted to Acta Informatica) University of Wales Swansea, 1998,-32 p

136. Goldschmidt S.R., Hennessy J.L. The Accuracy of Trace-Driven Simulations of Multiprocessors. Stanford University Computer Systems Laboratory, CSL-TR-92-546, September 1992.

137. Gordon M., Pratt I, Birtwistle G., Hobley К Formal Specification and Verification of ARM6. Cambrige, December, 1999.

138. HarmanN. A., Tucker J. V. Algebraic Models of Microprocessors: Architecture and Organisation. / Acta Informatica 33,1996, pp. 421-456.

139. Hill M. D., Larus J. R., Reinhardt S. K., Wood D. A. Cooperative Shared Memory: Software and Hardware Scalable Multiprocessors, ASPLOS V, Boston, October 1992.

140. Huggins J.K., Campenhout D.V. Specification and Verification of Pipelining in the ARM2 RISC Microprocessor, Michigan, 1998. 40 p.

141. Larsson F., Magnusson P, Werner B. SimGen: Development of Efficient Instruction Set Simulators. SICS Technical Report T97:03, 1997. 17 p.

142. Magnusson P.S. Performance Debugging and Tuning using an Instruction-Set Simulator. SICS Technical Report T97:02, 1997. 25 p.

143. Nakamura Y., Trybulec A. On a mathematical model of CPU. Journal of Formalized Mathematics, 4, 1992. p. 10: (mizar.org/JFMyVol4/amil.html)

144. Negoda V.N. Simulation Programs Generation Based on Decision Tables Translation Technics. "Interactive Systems: The Problem of Human-Computer Interaction, Proceedings of the International Conference, 23-27 September 2001. Ulianovsk, 2001, p. 15-17

145. Negoda V.N., Skvortsov Increasing Performance of Multifunctional Cross Assembler. "Interactive Systems: The Problem of Human-Computer Interaction, Proceedings of the International Conference, 23-27 September 2001. Ulianovsk, 2001, p. 88-89

146. Page E.H. Simulation Modeling Methodolgy: Principles and Etiology of Decision Support. Dissertation of the requirements for the degree of PhD in Computer Science. Virginia Polytechnic Institute and State University, 1994.

147. Simics: System-Level Instruction Set Simulator. Virtutech, 2001. http://www.simics.com/

148. Stephenson К. An Algebraic Specification of the Java Virtual Mashine. / In B. Moller J.V.Tucker, editors, Prospect for Hardware Foundations. Lecture Notes in Computer Science 1546, Springer-Verlag, 1998. 42 p.

149. Supnik R. The Computer History Simulation Project. http://simh.trailing-edge.com/

150. Training Courses: http://www.keil.com/training/

151. Tucker J.V., Zucker J.I. Abstract Computability, Algebraic Specification and Initiality, to appear in ACM Transactions on Computational Logic 57 p. (http://www.cas.mcmaster.ca/ zucker/Pubs)

152. Windley Ph.J. A Theory of Generic Interpreters. /In L.Pierre, G.Milne, editor, Correct Hardware Design and Verification Methods, p. 122-134. Lecture Notes in Computer Science 683, Springer-Verlag, 1993.