автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Резидентные инструментальные средства для разработки программного обеспечения встроенных микро-ЭВМ

Введение

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

1.1. Основная терминология средств микропроцессорной техники

1.2. Средства создания программного обеспечения для встроенных микро-ЭВМ.

1.3. Состав типового инструментального комплекса производства программного обеспечения встроенных микро-ЭШ.

1.4. Инструментальные комплексы производства программного обеспечения на отечественных микро-ЭШ.

1.5. Универсальный инструментальный комплекс как средство создания проблемных комплексов

1.6. Выводы по главе.

2. СМЕШАННЫЕ ВЫЧИСЛЕНИЯ УПРАВЛЯЮЩИХ ПРОГРАММ В

0Б1ЕКТН0-0РЙЕНТИР0ВАННЫХ ЯЗЫКАХ.

2.1. Задачи и структура главы.

2.2. Модель смешанных вычислений.

2.3. Классификация интерпретационных алгоритмов смешанных вычислений.

2.4. Алгоритм ОМ IX.

2.5. Свойства алгоритма ОМIК .7д

2.6. Смешанные вычисления программ,взаимодействующих с аппаратурой.

2.7. Выводы по главе.

3. УНИВЕРСАЛЬНЫЙ ИНСТРУМЕНТАЛЬНЫЙ КОМПЛЕКС РАЗРАБОТКИ

ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ВСТРОЕННЫХ МИКРО-ЭВМ

3.1. Задачи главы

3.2. Методика построения объекта

3.3. Методика построения универсального инструментального комплекса и настройки его к проблемным применениям.

3.4. Методика конкретизации программного обеспечения встроенных микро-ЭШ,созданного на 00Я

3.5. Архитектура универсального инструментального комплекса.

3.6. Информационная база, диалоговая операционная среда,динамический отладчик и конкретизатор в УИК.

3.7. Основные особенности применения универсального и проблемных инструментальных комплексов

3.8. Выводы по главе

4. ИССЛЕДОВАНИЯ УНИВЕРСАЛЬНОГО И ПРОБЛЕМНЫХ ИНСТРУМЕНТАЛЬНЫХ КОМПЛЕКСОВ.

4.1. Задачи и структура главы.

4.2. Краткие сведения о разработанных проблемных инструментальных комплексах

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

4.4. Исследование характеристик проблемных инструментальных комплексов.

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

4.6. Выводы по главе.

В "Основных направлениях экономического и социального развития СССР на 1981-1985 годы и на период до 1990 года", принятых ХХУ1 съездом КПСС, поставлена задача обеспечения широкого применения встроенных систем автоматического управления с использованием микропроцессоров и микро-ЭВМ [1].

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

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

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

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

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

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

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

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

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

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

1. Разработка теоретической базы построения универсального и проблемных резидентных инструментальных комплексов с использованием механизма "свертки" понятий, присущего объектно-ориентированным языкам программирования.

2. Разработка методик построения универсального комплекса и создания на его основе проблемных инструментальных комплексов производства программного обеспечения для различных проблемных областей и разных микро-ЭВМ.

3. Создание на базе предложенной методики универсального' резидентного инструментального комплекса, характеризующегося следующими качествами:

- низкими трудозатратами на создание проблемных инструментальных комплексов;

- возможностью использования проблемных комплексов программистами низкой квалификации;

- высокой производительностью труда, обеспечиваемой проблемными комплексами;

- высокими техническими характеристиками получающихся проблемных комплексов;

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

- мобильностью универсального комплекса, т.е. независимостью комплекса от типа микро-ЭВМ и комплектации периферийных устройств;

- наличием средств повышения эффективности программного продукта в составе проблемных инструментальных комплексов.

4. Создание с помощью универсального комплекса ряда проблемных инструментальных комплексов.

5. Исследование возможностей и характеристик разработанных комплексов.

6. Исследование характеристик программного продукта, создаваемого с помощью разработанных проблемных комплексов.

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

Научную новизну составляют предложенные в диссертационной работе:

1. Классификация алгоритмов смешанных вычислений.

2. Алгоритм смешанных вычислений для управляющих программ, написанных на объектно-ориентированном языке.

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

4. Методики построения универсального инструментального комплекса и создания на его основе проблемных комплексов производства программного обеспечения для встроенных микро-ЭВМ.

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

6. Результаты исследования универсального и проблемных инструментальных комплексов.

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

Реализация результатов работы. С помощью универсального комплекса создан ряд проблемных инструментальных комплексов, 4 из которых внедрены в 7 организациях. Кроме того, проблемные инструментальные комплексы внедряются в настоящее время ' еще в 4 организациях. Годовой экономический эффект от внедренных комплексов составил 170 т.рублей/год, что подтверждается соответствующими актами.

Достоверность научных результатов подтверждается опытом использования проблемных инструментальных комплексов в указанных организациях при разработке проблемного программного обеспечения для 3-х различных микромашин.

Структура работы. Работа состоит из четырех глав, введения и заключения.

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

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

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

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

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

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

1. Предлагаемая автором классификация алгоритмов смешанных вычислений.

2. Предлагаемый алгоритм смешанных вычислений для объектно-ориентированных языков программирования.

3. Доказательства свойств предлагаемого алгоритма смешанных вычислений.

4. Методики построения универсального инструментального комплекса и создания на его основе проблемных инструментальных комплексов.

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

6. Реализация проблемных инструментальных комплексов производства программного обеспечения для встроенных микроЭВМ, созданных с помощью универсального комплекса.

7. Исследование характеристик разработанного универсального и созданных с его помощью проблемных инструментальных комплексов.

I. МЕТОДЫ АВТОМАТИЗАЦИИ ПРОГРАММИРОВАНИЯ ДЛЯ ВСТРОЕННЫХ МЖРО-ЭШ

4.6. Выводы по главе

В главе исследованы возможности и характеристики созданного резидентного универсального инструментального комплекса и получаемых с его помощью проблемных инструментальных комплексов для микро-ЭВМ.

В результате проведенного исследования можно сделать следующие выводы:

1. Использование разработанного УИК позволяет уменьшить приблизительно на порядок трудозатраты на создание резидентного проблемного инструментального комплекса для микро-ЭВМ, по сравнению с ручным способом программирования. По обеспечиваемой производительности труда программиста УИК сравним с универсальными кросс-системами автоматизации программирования.

2. Программный продукт, создаваемый с помощью УИК (проблемные инструментальные комплексы), по характеристикам объема памяти микро-ЭВМ, необходимой для работы ПИК, и по скорости трансляции не уступает соответствующим характеристикам резидентных систем автоматизации программирования для микро-ЭВМ.

3. Использование в ТИК конкретизатора программного продукта позволяет существенно улучшить эти характеристики. После конкретизации для работы ПИК требуется объем памяти в 2-2,5 раза меньший, чем до нее. Кроме того, настройка ПИК к конкретныгл условиям применения позволяет более чем в 2 раза повысить скорость трансляции.

Оценка производительности труда программиста, использующего ПИК, с помощью метрик Холстеда показала следующее.

4. Проблемные программы, написанные на объектно-ориентированном языке, имеют средний уровень по Холстеду, не уступающий программам, написанным на языке ПАСКАЛЬ, и превышающий уровень программ на ассемблере в 2-2,5 раза.

5-. Создание проблемного языка программирования, ориентированного на конкретную проблемную область, позволяет получить программный продукт, объем (по Холстеду) которого в 6-8 раз меньше, чем объем соответствующих программ на ассемблере .

6. Для данной проблемной области использование механизма свертки данных и действий в языке программирования позволяет в 6 раз уменьшить объем программ по Холстеду. В это уменьшение значительный вклад вносит механизм свертки данных, использование которого позволяет уменьшить объем программ в

2 раза.

7. Средний уровень языка диалога с пользователем, обеспечиваемый ПИК, не уступает лучшим по этому параметру отечественным резидентным системам программирования для микро-ЭВМ и значительно превосходит такие системы как М1Ш-Ц и ПАСКАЛЬ ОС ДВК.

8. ПИК обеспечивает высокую конечную эффективность создаваемого программного продукта. Для исследованной проблемной области - программ, взаимодействующих с аппаратурой' -коэффициент избыточности по времени работы программ - 1,6, а по объему занимаемой памяти - 1,4, по сравнению с ассемблером. Сравнение программ, созданных в разных резидентных системах программирования, показало, что соответствующие коэффициенты избыточности в ПИК в 2-3 раза ниже, чем у системы программирования на языке ПАСКАЛЬ (ОС-ДВК) и системы.

9. Использование в ПИК конкретизатора программного продукта позволило уменьшить коэффициент избыточности по памяти на 30%. Конкретизатор позволяет, в известных пределах, варьировать соотношение время выполнения - объем занимаемой памяти для созданного програглмного продукта. Такая возможность имеет важное значение для встроенных микро-ЭВМ, программы ддя которых помещаются в ПЗУ.

- 177

ЗАКЛЮЧЕНИЕ

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

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

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

- предложена классификация алгоритмов смешанных вычислений;

- адаптирована теория смешанных вычислений для случая объектно-ориентированных языков программирования;

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

- доказана корректность предложенного алгоритма;

- доказаны свойства полученного алгоритма смешанных вычислений, важные для его практического использования;

- исследованы условия применения этого алгоритма к программам, взаимодействующим с аппаратурой - основному классу программ встроенных микро-ЭВМ.

3. Разработаны методики построения универсального инструментального комплекса к создания с его помощью проблемных инструментальных комплексов производства программного обеспечения для встроенных микро-ЭВМ. На базе методики реализованы инструментальные средства универсального комплекса.

4. Универсальный комплекс использован для создания четырех проблемных инструментальных комплексов для микро-ЭВМ.

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

6. Исследование проблемных инструментальных комплексов показало, что создание проблемного языка программирования, ориентированного на конкретную область применения, позволяет получить программный продукт с объемом по Холстеду в 6-8 раз меньшим, чем при реализации на ассемблере, и в 3 раза меньшим, чем на ПАСКАЛЕ. Средний уровень языка диалога, обеспечиваемый ПЖ, не уступает лучшим по этому параметру отечественным резидентным комплексам и значительно превосходит такую систему как ПАСКАЛЬ ОС ДВК. Использование конкретизатора в проблемном комплексе обеспечивает высокую конечную эффективность программного продукта. Программы, создаваемые ПИК, имеют в 2-3 раза меньший объем и время работы по сравнению с созданными в системах ПАСКАЛЬ ОС ДВК и QiUAStC .

- 179 Апробация работы. Основные результаты работы докладыва- / лись и обсуждались на межотраслевом семинаре-совещании "Применение микропроцессоров и микро-ЭВМ в Народном хозяйстве" (Абовян,1979), Всесоюзном совещании-семинаре "Р-технология программирования и средства ее инструментальной поддержки на машинах БЭСМ-6, ЕС ЭВМ, СМ ЭВМ" (Киев,1980), семинаре ЦПГ РГТП при ГКНТ СССР "Технология программирования микропроцессорной техники" (Таллин,1981), I Всесоюзной конференции "Р-технология программирования" (Киев,1983), семинаре "Применение микропроцессорных комплектов БИС при разработке радиоэлектронной аппаратуры" (Ленинград,1983), совместное семинаре РГЯП и ЦПГ РГТП при ГКНТ СССР "Языки программирования для микро-ЭВМ (Новосибирск,1983), семинаре ЦПГ РГТП при ГКНТ СССР "Измерение характеристик программ" (Рига,1984), семинарах ВЦ СО АН СССР, Института теоретической астрономии АН СССР, кафедры "Информационные и управляющие системы" (ЛПИ им.М.И.Калинина).

По результатам диссертации опубликовано 14 печатных работ, в которых отражены все основные результаты и выводы.

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

1. Основные направления экономического и социального развития СССР на 1981 - 1985 годы и на период до 1990 года.-В кн.: Материалы ХХУ1 съезда КПСС.-М.: Политиздат,1981, с.131-205.

2. Постановление ЦК КПСС и СМ СССР № 682 от 22.07.82 "О развитии работ по автоматизации машин, оборудования и приборов с применением микропроцессорных средств и создании на этой базе автоматизированных предприятий и технических комплексов".

3. Фролов К.В. Программируемые производства.- Вестник АН СССР, 1983, Р4, с.82-85.

4. Поспелов Г.С. Искуственный интеллект. Новая информационная технология.- Вестник АН СССР, 1983, №8, с.31-42.

5. Велихов Е.П. Об организации в АН СССР работ по информатике, вычислительной технике и автоматизации.- Вестник АН СССР, 1983, К96, с.24-30.

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

7. Прангишвили И. В. Микропроцессоры и микро-ЭШ.-М.: Энергия, 1979,-232 с.

8. Васенков А.А.,Шахнов В.А.,Малашевич Б.М. Терминология в технике микропроцессорных интегральных схем и микро-ЭШ. -В сб.:Микроэлектроника и полупроводниковые приборы/ под ред. А.А.Васенкова, Я.А.Федотова.-М.:1979,с.4-14.

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

10. Словарь "Технология программирования. Термины и определения". Редакция 2-81./Совет по применению средств вычислительной техники.-Л.:1981,-24с.

11. Технология программирования в 1981 году.-Отчет Рабочей группы по технологии программирования.-Главное управление вычислительной техники и систем управления Государственного комитета СССР по науке и технике.-М.:1982.-68с.

12. Вельбицкий Й.В. Предисловие к сборнику.-В сб.:Технология программирования микропроцессорной техники.-Таллин:Валгус, 1982,с.5-9.

13. Алексеенко А.Г.»Галицын А.А. Микро-ЭШ и особенности их организации.-М.:Машиностроение,1983.-43с.

14. Семенов А.й.»Гриншпан Л.А.,Злотник Е.М.,Малюгин Я.Т., Шерлинг Д.Р. Настраиваемый инструментальный комплекс для разработки систем на секционированных микропроцессорах. -Управляющие системы и машины,1984,№2,с.36-39.

15. Иванов Г.И. О применении метода резидентных интерпретаторов для микропроцессорной реализации логических алгоритмов управления.-Управляющие системы и машины,1983,№2, с.18-21.

16. Зеленко Г.В. »Иванников А.Д.,Сыпчук П.П. Проектирование и отладка микропроцессорных систем.-М.Машиностроение,1982. -56с.

17. Глэдстоун Б. Рабочая станция, экономящая время проектирования систем.-Электроника,1983,т.56,Р1,с.87-93.

18. Мильнер А.Д.,Ковалевская Е.В.,Яковлев В.В. Принципы построения проблемно-ориентированного комплекса для программирования микропроцессорных устройств и система отладкина его базе.-В сб.:Машинное моделирование^. :МдаП, 1980, с.83-91.

19. Забара С.С.,Мильнер А.Д. Проблемно-ориентированный комплекс автоматизированных рабочих мест для программирования микропроцессорных устройств.-Киев:Знание,1981.-28с.

20. Баранов С. »Кирилин Н.,Ноздрунов Н. Реализация языка ФОРТ на дисплейном комплексе ЕС 7970.-В кн.программирование микропроцессорной техники.-Таллин:ИК АН ЭССР,1984,с.42-50.

21. Липаев В.В.»Каганов Ф.А. Система автоматизации технологии разработки комплексов управляющих программ для микропроцессоров и микро-ЭШ /ТЕМП/.-Управляющие системы и машины ,1980,PI,с.32-36.

22. Технология проектирования комплексов программ АСУ./В.В.Липаев и др. под ред. Ю.В.Астафьева,В.В.Липаева.-М.:Радиои связь,1983.-24бс.

23. Забара С.С.,Мильнер А.Д.,Богачев A.B. Инструментальный комплекс для проектирования микропроцессорных устройств. -В кн.:ЭШ в проектировании и производстве.-Л.Машиностроение ,1983,с.202-213.

24. Загоруй Ю.Г.»Соколов А.П. Реализация кросс-системы для микро-ЭЕМ "Электроника 60" на БЭСМ-б.-Управляющие системы и машины,1984,№1,с.18-20.

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

26. Рауд Р. СЕРП система разработки программ управляющих микро-ЭШ класса CM-I800.-B кн.:Программное обеспечение АСУ:Тезисы докл. Всесоюзной научно-технической конференции. Секция З.Калинин:НП0 пЦентрпрограммсистем!!,1980,с.130-133.

27. Котляров В.П.»Самочадин A.B. Универсальная система автоматизации программирования для микро-ЭШ с оптимизацией проблемных программ.-Электронная промышленность,1981,№ 7-8,c.II4-II7.

28. Автоматизированная система производства программ СИНТЕРМ /Я.Е.Айзенберг,И.В.Вельбицкий,Б.М.Конорев,А.С.Стогний.-Управляющие системы и машины,1980,PI,с.16-21.

29. Ганькин А.Л.»Сидоров Ю.В.»Соловьев Г.Н. Исследование и разработки в области аппаратной реализации алгоритмов операционных еистем.-Зарубежная радиоэлектроника,1984, №2,с.34-50.

30. Валишевский А.В.,Иванов-Лошканов B.C. и др. Система "Ванг -2200 В". Руководство для пользователей.-Рига:Зинатне, 1974.-254с.

31. Система QUASIC . Описание программного обеспечения. Часть 2. ЗПИ.487.062.ТО.-46с.

32. Операционная система ФОДОС. Общее описание. ПТЩ.00010-01 31 01.-45с.

33. Операционная система ОС ДВК. Общее описание. 3.059.051. ПО.-45с.

34. Беляков М.»Мартынова И.уШяудкулис В. ЙНМОС новая операционная система для СМ ЭШ.-В кн. программирование микропроцессорной техники.-Таллин: ИК АН ЭССР,1984,с.91-102.

35. Эванчук С. Широкие перспективы ОС UNIX фирмы Uxfe. -Электроника,1983,т.56,№15,с.24-31.

36. Зелковиц М.,Шоу А. ,Гэннон Дж. Принципы разработки программного обеспечения/Пер. с англ.-М.:Мир,1982.-368с.

37. Вельбицкий И.В. Безбумажная технология программирования в диалоговой среде.-Управляющие системы и машины,1982, №6,с.29-37.

38. Дутчак В.А.,Пынченко A.B.»Романовский А.Б.»Янковский Ю.Е. Реализация организатора на СМ ЭВМ в ОС PB.-В сб.: Р-тех-нология программирования:Тезисы докл. I Всесоюзной конференции. Часть 1.Киев: ИК АН УССР,1983,с.14-16.

39. Арефьева H.A.»Пушкина И.П.»Родионова С.Т. HIPO-техноло-гия метод разработки и сквозного документирования программ по принципу "сверху-вниз".-Управляющие системы и машины,1978,№3,с.35-38.

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

41. Вельбицкий И.В.»Ковалев А.Л.,Ушаков И.Б. Средства автоматизации Р-технологии программирования на микро-ЭВМ.-В сб.:Р-технология программирования:Тезисы докл. I Всесоюзной конференции.Часть З.Киев:ИК АН УССР,1983,с.3-6.

42. Микро-ЭВМ "Электроника НМС IIIOO.I".Техническое описание 3.059.051.ТО,1982.-140с.

43. Кабаков Ю.Б.»Малышев 0.В.»Силаев Е.В. Локализация ошибок в Р-программах с использованием контрольно-отладочного стенда РТК ОС ЕС ЭВМ.-В сб.:Р-технология программирования и средства ее инструментальной подцержки.Киев:ИК АН УССР,1982»с.62-68.

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

45. Операционные системы реального времени для микро-ЭШ /Под ред. И.Р.Крамфус,-М.:МЦНТИ,ШИШУ, 1984.-134с.

46. Колесник C.B. Принципы построения системы отладки программ управляющих ЭВМ, основанной на ее программном моделировании.-В сб.:Технология программирования:Тезисы докл.

47. Всесоюзной конференции.Секция 0. Киев:ИК АН УССР,1979, с.19-20.

48. Березовский М.А. Метод отладки управляющей программы для системы реального времени.-В сб.:Технология программирования: Тезисы докл. I Всесоюзной конференции.Секция 0. Киев:ИК АН УССР,1979,с.4-6.

49. Кан К. Объектно-ориентированные языки программирования, существенно повышающие эффективность програмирования. -Электроника,1982,т.55,№23,с.50-56.

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

51. Вегнер П. Программирование на языке Ада.-М.:Мир,1983.-240 с.

52. Никитин А.И. Общее программное обеспечение систем реального времени.-Киев:Наукова думка,1980.-136с.

53. Эванчук С. ОС реального времени /обзор/.-Электроника, 1983, т. 56, N96, с. 26-41.

54. Богачев A.B.,3абара С.С.,Мильнер А.Д. Терминал разработчика микропроцессорных устройств.-Приборы и системы управления, 1981,№7,с.4-6.

55. Микро-ЭВМ СМ-1800.-М.:ЙНЭУМ,I981.-26с.

56. Диденко К.И. Методология построения КТС ЛУИС-2 и его применение в АСУ ТП.-М.:ЦНИИТЭП приборостроения,1981.-46с.

57. Касьянов В.Н.,Поттосин И.В. Технологические возможности оптимизации программ.-Программирование, 1980,W-2,с.27-30.

58. Касьянов В.Н. Оптимизация программ: обзор подходов.-Новосибирск, 1982. -43с. -/Препринт ВЦ СО АН СССР №325/

59. Поттосин И.В. Возможности оптимизации программ и перспективы ее развития.-В сб.:Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных систем: Труды Всесоюзной конференции.Новосибирск:

60. ВЦ СО АН СССР,1983,с.60-77.

61. Касьянов В.Н. Вопросы конкретизации программ.-В кн. .'Проблемы теоретического и системного программирования.-Новосибирск: Щ СО АН СССР,1982,с.35-45.

62. Гласс Р.,Нуазо Р. Сопровождение программного обеспечения /Пер. с англ.-М.:Мир, 1983. --I58 с.

63. Глушков В.М. Основы безбумажной информатики.-М.:Наука, 1982.-552с.

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

65. Бутомо И.Д.,Котляров В.П.,Морозов Н.Б.,Резник А.Э.,Само-чадин А.В. Редакционно-отладочный комплекс для микро-ЭВМ семейства "Электроника С5".-Электронная промышленность, 1979,Р6,с.29-33.

66. Поса Дк. Программирование микрокомпьютерных систем на языках высокого уровня.-Электроника,1979,т.52,№2,с.22-32.

67. Лебедев В.Н. Введение в системное программирование.-М.: Статистика,IS75.-309с.

68. Агафонов В.Н. Типы и абстракция данных в языках программирования /обзор/.-В сб.:Данные в языках программирования /Пер. с англ. под ред. В.Н.Агафонова.-М.:Мир,1982, с.256-319.

69. Лавров С.С.»Капустина Е.Н.,Селюн М.И. Расширяемый алгоритмический язык АБВ.-В сб.: Обработка символьной информации.-М.:Щ АН СССР,1976,вып,3,с.5-53.

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

71. Тамм Б.Г.,Тыугу Э.Х. О создании проблемно-ориентированного программного обеспечения.-Кибернетика,1975,№4,с.76-86.

72. Вере А.А.,Поляков В.Г.,Руднев С.Б. Основные принципы разработки системы программирования для микропроцессоров. -В сб.: Программное обеспечение задач информатики. -Новосибирск,1982,с.5-25.

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

74. Браун П. Обзор макропроцессоров/Пер. с англ.-М.: Статистика, 1975.-80с.

75. Аксельрод М.Р.,Белоус Л.Ф.»Пастухов Ю.В. Применение системы Спутник для построения трансляторов.-Программирование, 1983, №4, с. 16-20.

76. Маркявичус P.A. Абстракции данных в ассемблере.-Управляющие системы и машины,1984,№2,с.80-84.

77. Ершов А.П. 0 сущности трансляции.-Программирование,1977, №5,с.21-39.

78. Ершов А.П. Смешанные вычисления: потенциальные применения и проблемы исследования.-В кн.¡Теория и практика программного обеспечения ЭЕМ: Труды советско-французского симпозиума.Часть I.Новосибирск,1981,с.5-40.

79. Касьянов В.Н. Смешанные вычисления и оптимизация программ. -Кибернетика, 1980,№2,с.51-57.

80. Иткин В.Э. Динамическое распараллеливание программ методом смешанных вычислений.-В кн.:Теоретические вопросы параллельного программирования и многопроцессорные ЭВМ. -Новосибирск:ВЦ СО АН СССР,1983,с.110-126.

81. Самочадин A.B. Оптимизатор структурированных ассемблерных программ для микро-ЭВМ.-В сб.:Технология программирования микропроцессорной техники.-Таллин:Валгус,1982,с.89-99.

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

83. Хьюз Дж.,Мичтом Дж. Структурный подход к программированию /Пер. с англ. под ред. В.Ш.Кауфмана.-М.:Мир,1980. -278с.

84. Подловченко Р.И. Модели последовательных программ, применяемые для изучения функциональной эквивалентности программ.-Кибернетика,1979,№1,с.20-28.

85. Иткин В.Э. О частичном и смешанном выполнении программ. -В сб.:Оптимизация и преобразования программ: Материалы Всесоюзного семинара.Часть I. Новосибирск:ВЦ СО АН1. СССР,1983,с.17-30.

86. Язык программирования Ада /предварительное описание/Пер. с англ. В.М.Курочкина и Д.Б.Подщивалова.-М.Финансы и статистика,1981.-190с.

87. Таненбаум Э. Многоуровневая организация ЭШ./Пер. с англ. под ред. М.Б.Игнатьева.-М.:Мир,1979.-547с.

88. Бутомо И.Д.,Котляров В.П.,Морозов Н.Б. Операционная система для микро-ЭВМ на базе Р-машины.-В сб.: Опыт использования Р-технологии программирования для решения прик- ладных задач.Киев:ИК АН УССР,1980,с.35-37.

89. Мобильность программного обеспечения/Под ред. П.Брауна, пер. с англ. под ред. Д.Б.Подшивалова.-М.:Мир,1980.-334с.

90. Ашкенази Д. Аппаратные средства, обеспечивающие эффективную работу модульных программ языков высокого уровня. -Электроника, 1981, т. 54, .438, с. 39-43.

91. Пролейко В.М. Микровычислительные системы и их применение .-Электронная промышленность,1978,№5,с.3-6.

92. Виноградов В.И. Микропроцессоры и информационные системы.-Приборы и системы управления,1978,№8,с.6-II.

93. Гальперин М.П.»Масленников Ю.А. Вопросы организации и применения микро-ЭВМ:-Приборы и системы управления,1978, №10,с.7-9.

94. Вшивцев B.C. Микропроцессоры и их применение.-В сб.применение микропроцессоров и микро-ЭВМ в народном хозяйстве: Тезисы докладов межотраслевого семинара-совещания.-Абовян, 1979,с.2-4.

95. Котляров В.П.,Морозов Н.В. Средства повышения эффективности программного обеспечения в РТК на базе микро-ЭШ. -В сб.:Р-технология программирования и средства ее инструментальной поддержки.-Киев:Ж АН УССР,1982,с.86-87.

96. Hoteman Gr.l A tKeory ior protocol va&daUon.-lEEE Trans, Comput.,i982, V,M, ITS, p.p. 730-958.

97. Вутомо И.Д.,Котляров В.П.,Морозов Н.Б. Терминальный комплекс на базе микро-ЭВМ со средствами подцержки Р-техноло' гии программирования.-В сб.:Р-технология программирования и средства ее инструментальной поддержки.-Киев:ИК АН УССР,1982,с.80-83.

98. Котляров В.П.,Морозов Н.Б.,Питько А.Е. Информационная база в технологическом комплексе М-РТК.-В сб.:Р-техноло-гия программирования и средства ее инструментальной поддержки. -Киев: ИК АН УССР,1982,с.84-85.

99. Ершов А.П. Два облика программирования.-Кибернетика, 1982,№6,0.122-123.

100. Вутомо И.Д.,Котляров В.П.,Морозов Н.Б. Отладочно-демонстрационный комплекс для микро-ЭШ семейства "Электроника С5".-Проспект-листовка выставки-смотра достижений ЛПИ им.М.И.Калинина на ВДНХ СССР,-М.;1979,-2с.

101. Йодан Э.Структурное проектирование и конструирование программ/Пер. с англ. под ред. К.Н.Королева.-М.:Мир, 1979.-410.

102. Котляров В.П. Архитектурные особенности комплекса РТК на микро-ЭШ.-В сб.:Р-технология программирования:Тезисы докладов I Всесоюзной конференции. Часть 1.-Киев:ИК АН УССР,1983,с.54-55.

103. Котляров В.П.,Морозов Н.Б. Мобильная дисковая операционная система для микро-ЭШ.-В кн.:Технология программирования микропроцессорной техники.-Таллин:Валгус,1982,с.72-79.

104. Программное обеспечение СМ ЭВМ. Операционная система РАФОС. Введение в систему. Описание применения. Том I, книга I.-38 с.

105. Иткин Л.К.,Горяинова Т.В.,Гоппа Т.А. Операционная система для микро-ЭШ СМ-1800 /0С-1800/.-В сб.применение микропроцессорных комплектов БИС при разработке радиоэлектронной аппаратуры: Материалы краткосрочного семинара. Л: ЛДНТП,1983,с.62-65.

106. Бутомо И.Д.,Котляров В.П.,Морозов Н.Б. Дисковые операционные системы для микро-ЭШ "Электроника С5".-Электронная промышленность,1981,№7-8,C.II0-II2.

107. Бутомо И.Д.,Котляров В.П,,Морозов Н.Б. Компилятор дисковой версии БЭЙСИКА для микро-ЭЕМ семейства "Электроника С5".-Электронная промышленность,I981,№7-8,с♦II2-114.

108. НО. Морозов Н.Б. Диалоговый отладчик для РТК на микро-ЭШ. -В сб.:Р-технология программирования;Тезисы докладов I Всесоюзной конференции. Часть 1.-Киев:ИК АН УССР,1983, с.56-58.

109. I. Котляров В.П.,Морозов Н.Б.,Красовская Г.И.,Гальперина М.М. Комплекс отладки математического обеспечения контроллеров для микро-ЭШ семейства "Электроника С5".-В сб.

110. Применение микропроцессорных комплектов БИС при разработке радиоэлектронной аппаратуры:Материалы краткосрочного семинара.-Л.: ДЩТП, 1983,с.58-62.

111. Программное обеспечение СМ ЭВМ. Операционная система РАФОС. Паскаль, руководство программиста. Том б,книга 6, часть 2.-46 с.

112. Хротко П. Языки программирования высокого уровня.-М.: МНИИПУ,1982.-56 с.

113. Бекасов A.A.»Биспен В.Н.,Кисельников В.М. Отладочный монитор для микропроцессора К580ИК80.-В сб.¡Применение микропроцессорных комплектов БИС при разработке радиоэлектронной аппаратуры:Материалы краткосрочного семинара.Л: ЛДОГП, 1983, с. 51-54.

114. Котляров В.П.»Самочадин A.B. Универсальная система автоматизации программирования для микро-ЭШ с оптимизацией проблемных программ.-Электронная промышленность,!981, lf-7-8,c.II4-II7.

115. Масленников Ю.А. Развитие программного обеспечения микро-ЭВМ "Электроника С5".-Электронная промышленность, 1979,№11-12,с.I08-II3.

116. Поттосин И.В. Возможности оптимизации программ и перспективы ее развития.-В сб.:Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных систем:Труды Всесоюзной конференции.Новосибирск: ВЦ СО АН СССР,1983,с.60-77.

117. Лавров С.С. Синтез программ.-Кибернетика,1982,Р6,с.11-16.

118. Липаев В.В. Качество программного обеспечения.-М:Финансы и статистика,1983.-263 с.

119. Холстед М.Х. Начала науки о программах /Пер.с англ. В.М. Кфы.-М.'Финансы и статистика,!981.-128 с.

120. Операционная система ФОДОС. АССЕМБЛЕР. Руководство программиста. OOOIO-OI 33 03.-34 с.

121. Электронная вычислительная машина "Электроника 60". БЭЙСИК. Программное обеспечение 0.005.027 П02.-36 с.

122. Пратт Т. Языки программирования разработка и реализация/Пер. с англ.-М.:Мир,1979.-574 с.

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

124. X {Implication development without programmers.- Sa.va.nt research studies lor Savant institute,iW, mi.-АОЪр.

125. Moore CM. FORTH' A new way io program a Mini-Computer.- Astronomy and Astrophysics Supplement, imy v. ¿5, p.p. 4 9?-541 •

126. CP/M -вб. System reference guide. "Dcgiia^t Research,mi.-dbdp.

127. Kernighsvn 5.W., Mashey 3.H.: The UNIX rrotjirammincj Environment.- Soilware practice and experience.-1949, v.9,ATi, p.p. 1 -15.

128. Mashey Using a Command Language as a Higk-LeveL Programming Language.- Proc. 2 nd Internationa^ ConWence on SoUware Engeneerimj, p.p. J69- d76.

129. O. faMier R. Ustn^ Ike Ш1Х System, Reston pabti-sKlng Company Inc. A Prentice - Ma££ Co Resion Virginia, 1961.-25&p. 131. Roksonb. Object-Oriented Software Systems.-ЬуТЕ, 19&1, v.6,AT3, p.p.W-9o.

130. Reenskang U.M. User-Oriented inscriptions o\ Sm&Ci! utlc systems." IbYTF, 4931, v. ß, Af&, p.p.¿i/7-467

131. WuE-f W. A. Trends in IKe design and implementationpropra.mmlr,g Eanguages.-Computer, i960, v.fb,ATl,p.p. 1*1-24.

132. Harris K. FORTH ExtensiUity or How to Write a Compiler in 25 Words or Less.- &YTF, /lag. d9.80,

133. Llslcovb., 5ayder /)., /Rkinson R., ScKattert C. detraction mechanisms In CLU Comm. o-fihe /)sm,i 9??,v. 20, ATS, p.p. 56^-576.

134. Ritter T.j V/a£Eer ß. Varieties of Ureadecf code -for language implementation,- BYTE, ¿980, y.5, /V9,p.p. 206-227.137. ErsKov A.P., ItlunV. E. Correctness o-f mixeol computations in aP3o£-£tke progr&mms.- Led. Notes compui,Sci.} №1, v.55, p.p. 59-??.

135. R/dckiC D.M., TompSOn K. Tke U7VIX Tir»e faring tyj--tem.-Tke beEE System Tecknica£ 3ourna£7 ¿97S, 5?,1. AT 6, p.p. ¿905-1929.

136. Curtis b., Shepp&rd P., borst M.ALoveTA Measuring Ike PsycUEo^icaE Complexity of So-ftware Maintenance Tasks with Ike HaEsteol And MdCabe Metrics.-IEEE Transactions on 5oUware engineering,^^ v. 5H-5, AT2, N>.96-404.

137. Guide to Personal Compuiinj DEC , 19&2.- 176 p.