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

ВВВДНИЕ.

ГЛАВА I. АНАЛИЗ ПРИЕМОВ ПОВЫШЕНИЯ ЛОГИЧЕСКОГО УРОВНЯ

СИСТЕМ УПРАВЛЕНИЯ.•.

1.1. Анализ повышения логического уровня на этапе построения системы управления. ю

1.1.1. Информационное дублирование как средство повышения логического уровня . • . Ю

1.1.2. Анализ живучести распределенных систем иерархического типа

1.1.3. Анализ производительности и задержек.

1.2. Анализ повышения логического уровня на этапе программирования.

1.2.1. Введение имен в адресном пространстве - уровень ассемблера.

1.2.2. Управление устройствами - уровень операционной системы. ^

1.2.3. Введение программ предварительной обработки информации

1.2.4. Введение обмена векторами

1.2.4.1. Задание компонент вектора

1.2.4.2. Временная синхронизация ввода/вывода составляющих вектора

1.2.4.3. Составление процедуры получения вектора

1.3. Анализ повышения логического уровня при передаче сообщений.

1.3.1. Уровень сопрограмм.

1.3.2. Уровень сигналов и семафоров. *

1.3.3. Уровень мониторов

1.3.4. Передача сообщений.

ВЫВОДЫ.

ГЛАВА 2. ИССЛЕДОВАНИЕ СПОСОБОВ ПОСТРОЕНИЯ СРЕДСТВ ОБМЕНА

ВЕКТОРАМИ.

2.1, Конвейерный принцип обработки векторов и оценка пропускной способности.

2.1 Л. Оценка пропускной способности распределенной системы конвейерного типа.

2.1.2. Оценка ресурсов для функции ОБМЕН.

2.1,2Л. Организация альтернативных путей к устройствам

2.1.<;.2. Организация обмена информацией.

2.Z, Имитационное моделирование системы обмена векторами. 67 2.2.1. Описание средств системы имитационного моделирования СйШОР.

1.2.2. Модели и результаты моделирования.

2.3. Исследование способов представления средств обмена векторами в языках программирования,

2.3.1. Расширение языка МО.ЩА-2.

2.3.2. Системные подпрограммы в других языках.

2.3.3. Использование макросредств МАГЕОН

ВЫВОДЫ.

ГЛАВА 3. ИССЛЕДОВАНИЕ РЕАЛИЗАЦИОННЫХ АСПЕКТОВ.

3.1. Выбор базового языка

3.2. Варианты подготовки системы ввода/вывода векторов.

3.2.1. Предварительное описание векторов.

3.2.2. Динамическое открытие векторов

ВЫВОДЫ.

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

4,1. Программирование устройств связи с объектом.

4.1 Л. База данных точек для устройств микро-ЭВМ

Э'лектроника-бО".

4.1.2. База данных точек для управляющего вычислительного комплекса УВК-2.

4.2. База данных векторов.

4.3. Реализация системы в виде процесса реального времени в операционной среде ОС УП.

4.4. Генерация системы.

ВЫВОДЫ.'.

В период развития программирования разработан целый ряд методов и средств, позволяющих создавать программы для разных областей применения и типов вычислительных машин LI, 7, 10, 16, 29, 38, 39, 40, 42, 65, 109, 1121. Возрастание значения функционирования пакетов программ и сложных вычислительных и управляющих комплексов повысило интерес пользователей и разработчиков к анализу качества создаваемых и эксплуатируемых программ [3, 14, 28, 30, 31, 63, 691. Зто приводит к формированию понятия программного продукта, который является результатом нового вида современного промышленного производства. Таким образом, программы превратились в объект планомерной разработки, эксплуатации и сопровождения.

В настоящее время более, чем 7096 общих затрат на создание программного обеспечения приходит на этап сопровождения, на котором осуществляется корректировка и модификация программ, а в случае систем реального времени и на начальную настройку программного аппарата на объект I14, 27]. Сложность корректировки и модификации программ реального времени определяется сильной зависимостью программ от технических средств системы и ограничений реального времени.

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

Опубликованные результаты анализа управляющих комплексов показывают, что все имеющиеся методы программирования только частично решают эти задачи Г281.

Интенсивные работы в данном направлении проводятся как в

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

Распределенные системы, с одной стороны, позволяют повысить качество, понизить стоимость и ускорить распространение всех видов АСУ, с другой стороны, вызывают новые проблемы, связанные с неадекватностью традиционных методов проектирования, программирования и оценок вычислительных систем по отношению к распределенным системам 1114]. Поэтому создание таких методов вместе с повышением логического уровня программ взаимодействия системы управления с объектом является задачей своевременной и актуальной.

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

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

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

2. Разработаны и проанализированы новые оригинальные способы уменьшения информационных затрат на этапе проектирования и программирования системы.

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

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

5. Предложены и проанализированы способы ввода/вывода векторов и практически реализована система обмена векторами.

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

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

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

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

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

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

2. Березин Б.А., Плотников В.В., Цывинский В.Г. Язык управления процессами для пользователя вычислительного комплекса на базе 'микро-ЭВМ. Электр.техн.сер. Эконом, и сист.управл., вып. 4/45/, 1982, с.32-40.

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

4. Вегнер П. Программирование на языке . Пер. с англ, / Под ред. В.Ш.Кауфмана.- М.: Мир, 1983,- 239 с.

5. Гибсон Г., До 10.Ч. Аппаратные и программные средства микро-ЭВМ. Пер. с англ. / Под ред. В.В.Сталина. М.: Финансы и статистика, 1983. - 255 с.

6. Глушков В.М., Цетлин Г.Е., Ющенко Е.Л. Алгебры, языки, программирование. Киев: Иаукова думка, 1978. - 319 с.

7. Головкин Б.А. Параллельные вычислительные системы. - М.: Наука, 1980. - 519 с.

8. Гродно П. Программирование на языке Паскаль. Пер. с англ. / Под ред. Д.Б.Подшивалова. М.: Мир, 1982. - 382 с.

9. Давис У. Операционные системы. Функциональный подход. Пер. с англ. /Под ред. В.В.Фролова, М.: Мир, 1980. - 43бс.

10. Дал У., Дейкстра Э., Хоор К. Структурное программирование. Пер. с англ. /Под ред. Э.З.Лгабимского, В.В.Мартышка. М.: Мир, 1975. - 247 с.

11. Дал У., Мюрхауг Б., йогорд К. Симула 67 универсальный язык программирования. Пер. с англ. - М.: Мир, 1969.-99с.

12. Дейкстра Э. Взаимодействие последовательных процессов. В кн.: Языки программирования. Пер. с англ. /Под ред. В.М.Курочкина.-М.: Мир, I972.-c.9-86.

13. Донован Дж. Системное программирование. Пер. с англ. /Под ред. Л.Д.Райкова. М.: Мир, 1975.-540 с.

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

15. Земленский А.А., Персиц М.Г. Основы операционной системы ЕС ЭВМ. М.: Сов.радио, I960. - 144 с.

16. Зилос Д. Программирование систем на микропроцессорах. Пер с англ. /Под ред. А.И.Петренко. Киев: Техника, 1982.-176 с.

17. Йенсен К., Вирт Н. Паскаль, руководство для пользователя и описание языка. Пер. с англ. /Под ред. Д.Б.Подшивалова. М.: Финансы и статистика, 1982. - 151 с.

18. Йодан Э. Структурное проектирование и конструирование программ. Пер. с англ. /Под ред. Л.И. Королева^ М.: Мир, 1979. - 415с.

19. Клейнрок Л. Теория массового обслуживания. Пер. с англ. М,: Мир, 1979.-600с.

20. Клигман 3. Проектирование микропроцессорных систем. Пер. с англ. /Под ред. С.Д.Пашкеева. М.: Мир, 1980.-575с.

21. Колин А. Введение в операционные системы. Пер. с англ. /Под ред. В.В.Мартынова. М.: Мир, 1980.-116с.

22. Корн Г., Корн Т. Справочник по математике для научных работников и инженеров. М.: Наука, 1970.

23. Коффрон Дж. Технические средства микропроцеесорных систем. Пер. с англ. М.: Мир, 1983.-344с.

24. Коэн Л.Дж. Анализ и разработка операционных систем. Пер. с англ. /Под ред. В.Ф. Зорина.-М.: Наука, 1975.-190с.

25. Кэмпбел-Келли М. Введение в макросы. Пер. с англ. /Под ред.

26. Э.З.Любимского.- М.: Советское радио, 1978.-152с.

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

28. Лингер Ф., Ниллс X. Умгг В, Теория и практика структурного программирования. Пер. с англ. /Под ред. С.Д.Пашкеева. М.: Мир, 1982.-406с.

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

30. Любимский Э.З. Мартынюк В.В., Трифонов Н.П. Программирование.-М.: Наука, 1980.-607с.

31. Майере Г. Искусство тестирования программ. Пер. а англ. /Под ред. Б.А.Позина.-М,: Финансы и статистика, 1982.-176с.

32. Майерс Г. Надежность программного обеспечения. Пер. с англ./ Под ред. З.Ш.Кауфмана.-М.: Мир, 1980. 360с.

33. Маминков А.Г. Основы построения АСУ.-М,: Высшая школа, 1981,-248с.

34. Мартин Дж. Организация баз данных в вычислительных системах Пер. с англ. /Под ред. А.А.Стогиния, А.Л.Щерса, М.: Мир, 1980, - 662с.

35. Мейер В., Бодуэн К. Методы программирования. Том I. Пер с англ. / Под ред. А.П.Ершова. М.: Мир, 1982.-356с.

36. Мессарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. Пер. с англ. /Под ред. И.А.Шаханова.-М.: Мир, 1973. 344с.

37. Мейер В., Бодуэн К. Методы программирования. Том 2. Пер. с англ. / Под ред. А.П.Ершова.-М., Мир, I./62. 368с.

38. Мэдник С., Донован Дж. Операционные системы. Пер. с англ./Под ред. Л.Д.Райкова.-М.: Мир, 1978.-792с.

39. Мячев А. А. Системы ввода-вывода .ЭВМ. М.: Знергоатомиздат,1983. 168 с.

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

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

42. Туник А.А., Цывинский В.Г., Мандровский-Соколов Б.Р. Автоматизация стеццовых испытаний на основе микро-ЭВМ. УСиМ, 1981, №3, с. 82-86.42. курский В. Методология программирования. Пер. с англ. /Под ред. А.П.Ершова. М.: Мир, I981.-256с.

43. Флорес И. Структуры и управления данными. Пер. с англ. /Под ред. В.М.Савинкова. М.: Финансы и статистика, 1982.- 319с.

44. Цикритзис Д., Бернетайн Q. Операционные системы. Пер. а англ. / Под ред. И.В.Задыхало, В.В. Мартынюка. М,: Мир, 1977.336 с.

45. Цывинский В.Г., Граляк 3. Модула-2: инструментальный язык для систем реального времени. Материалы конференции "Микропроцессорные системы. - Ленинград, 1983.- с. 32.

46. Цывинский В.Г., Граляк 3., Королева Н.Л. Конвейерная организация обмена информацией между ЭВМ и объектом управления.-Вестн. Киев.политехи.ин-та.Техн.кибернетика,1984,вып.8,с.62-67.

47. Шоу А.Логическое проектирование операционных систем.-Пер,с англ. /Под ред. Г.И.Соловьева.-М.: I981.-360с.

48. Algalic S., Arbib M.A. The Design of Well-Structured and Correct Programs. Springer-Verlag, New York, 1978, p.324.

49. Andrews G.R. The Distributed Programming Language SR- Mechanisms, Design and Implementation, Software- Practice and Experience, vol.12, 1982, pp.719-753.

50. An Introduction to RTL/2. ICI Corporate Laboratory, England.

51. Berry D.M. Language constructors for real-time distrebuted systems. Сотр. Lang., vol.7, 1982, pp.11-20.

52. Bialasiewicz J., Aderek A., Maliszewski K. Oprogramowanie podstawowe komputerowych systemow sterowania. WNT, 7/arszawa, 1979, p.295.

53. Black J.P., Taylor B.J., Morgan D.E. A Case Study in Fault Tolerant Software. Software- Practice and Experience, vol.11, 1981, pp.145-157.

54. Brinch Hansen P. Operating System Principles. Prentice-Hall, Snglewood Cliffs, New York, 1973, p.351.

55. Brinc'n Hansen P. The programming language Concurrent Pascal. IEEE Trans, on Software Engineering, vol.2, 1975, pp.199-207.

56. Brinch Hansen P. The Architecture of Concurrent Programs. Prentice-Hall, Englewood Cliffs, New York, 1977, p341.

57. Brinch Hansen P. The Solo Operating System: Processes, Monitors and Classes. Software- Practice ana Experience, vol.6, 1976, pp.165-200.

58. Brinch Hansen P. Multiprocessor architectures for concurrent programs. Computer Architecture News, vol.7, 1978, pp.4-23.

59. Brinch Hansen P. Distributed Processes: A Concurrent Programming Concept. Communication of the ACM, vol.21, 1978, pp.934-941.

60. Brinch Hansen P., Fellows J. The Trio OperatingSystem .

61. Software- Practice and Experience, vol.10, 1980, pp.943-949.

62. Brinch Hansen P. Edison- A multiprocessor language. Software Practice and Experience, vol.11, 1981, pp.325-361.

63. Coffmann E.G., Denning P.J. Operating System Theory. Prentice-Hall, Englewood Cliffs, New York, 1973, p.284.

64. Dijkstra E.W. Guarded commands, nondeterminancy and formal derivation of programs. Communication of the ACM, vol,18, 1975, PP.453-457.

65. Eckhouse R.H. Minicomputer System Organisation and Programming. Prentice-Hall, Englewood Cliffs, New Yersey, 1975,

66. Gehani N.H. Concurrency in ADA and multicomputers. Сотр.-.7, 1932, pp.21-23.r y., High Lewel Programming for Process Control.

67. Computer J., vol.13, 1970, pp.70-75.

68. Grabowski J., Koslacs S. Podstawy i praktyka programowania mikroprocesorow. WITT, Warszawa, 1980, p.314.

69. Haase V.H. Real-Time Behavior of Programs. IEEE Trans, on Software Engineering, vol.7, 1981, pp.494-501.

70. Hoare C.A.R. Monitors: an operating system structuring concept. Communication of the ACM, vol.17, 1977, pp.549-557.

71. Hoare C.A.R. Communicating Sequential Processes. Communication of the ACM, vol.21, 1978, pp.666-677.

72. Holden J., Wand J.C. An Assesment of Modula. Software- Practice and Experience, vol.10, 1900, pp.593-621.

73. Hoppe J. A simple Nucleus written in Modula-2. A Case Study. Software- Practice and Experience, vol.10, 1980, pp.697-706.

74. Howard J.H. Proving Monitors. Communication of the ACM, vol. 19, 1976, pp.273-278.

75. Howard J.H. Signaling in monitors. Pros, of the Sec. Int. Conf. on SE, 1976, pp.47-52.

76. Iszkowski 7.'., Maniecki M. Programowanie wspolbiezne. 7ШТ, Warszawa, 1932, p.290.

77. Kaubish Yv'.H., Perrot R.H., Hoare C.A.R. Qasiparallel Programming, Software- Practice and Experience, vol.6, 1976, pp.34-1-356.

78. Keedv I.L. On structuring operating systems with monitors. The Aust. Corrjp. J., vol. 10, 1978, pp.23-27.

79. Kerninghan B.W., Ritchie D.IvI. The С Programming Language. Prentice-Hall, Engl e woo a Cliffs, Hew York, 1 ? 7 , p. 210.

80. Kessel J.L.VL The SOMA: A programming Constru-t fcr Distributed Processes. IEEE Trans, on Software Engineering, vol.-7, 1981, pp.502-509.

81. Kronental M. , Roberts J.V."., Timmesfeld K.H. , Yt'and u.C. The LTPL-E Tasking Proposals. Software- Practice and Experience, vol.11, 1981, pp.35-97.

82. Lampson B.W. Experience with Processes and Monitors in Mesa. Communication of the ACM, vol.23, I960, pp.105-117. Lattenx M. Process Synchronization. EAIRO, vol.14, 1980,pp.103-137.

83. Liskov B. On Linguistic Support for Distributed Programs. MIT, Lab. for Сотр. Science, Techn. Raport, 1981.

84. Long R.I. RTL/2 Programming for PDP-11. Coll. Digest on control app. of Minicomputers, London, 1972.

85. Mattsson S.E. Implementation of Concurrent Pascal on LSI-11. Software- Practice and Experience, vol.10, 1980, pp.205-219.

86. Martin P.F. Computer Modelling and Simulation. John Wiley and

87. Sons, Sew York, 19oo, p.243-89» Heal D,, Wallectins Y. Ixperiericis with Portability of Concurrent Pascal* Software^ Practice and Experience,. vol.8, 1978» pp.341-353-90. Olszewski J-. Pro jekiowanie struktur systemow орегвеу jxxyehu

88. ШПГ, Warszawa, 198*1, p. 137, *• *« Ousterhout J.K. Medusa; An experiment in distributed operating system structure. Communication of the ACM, vol„23,1980, pp.92-105.

89. Pechura M.A< Microcomputers as Remote T\Ldes of a Distretm-ted System. Communication of the ACM, vol,24, 1981, pp.734738.

90. Pohjanpalo H. MR0S-68R, a Memory Resident Operating System for MC 68000. Software- Practice and Experience, vol.11,1981, pp.845-852.

91. Purser W.F.C., Jennings U.M. The design of a real-tine operating system for a minicomputer. Part I. Software- Practice and Experience-, vol.5? *'975» PP* 147-167»

92. Purser W.F.C. Tjse design o.f a. real-time operating system for a minicomputer. Part II. Software- Practice and Experience, vol.6, 1976, p?»227-34C.

93. RSX-11. Digital Equipment Corporation, Maynard, Massachusetts.1977.

94. S3?-11. Digital Equipment Corporation, Maynard, Masse chase its,1978.

95. Shrivastava S.K. Systematic Programming of Scheduling Algorithms. Software- Practice and Experience, vol.6, • 1976,pp.357-370.

96. Shrivastava S.K. Structuring Systems for Recoverability and Crash Resistance. IEEE Trans, on Software Engineering, vol.7, 1981, pp.436-447.

97. Shrivastava S.K., Panzeri P. The Design of a Reliable Remote Procedure Call Mechanism. University of Newcastle upon Tyne, Techn. Rep., No.171, 1981, p.18.

98. Stroustrup B. An Inter-Module Communication System fora Distributed Computer System. Journal of Digital Syst., voo.5, 1931, pp.67-83

99. Ungc-r B.W., Biduloclr D.S. Modular design of Multicomputer System. The University of Calagary, Dept. of Сотр. Sci., Reasearch Report, 1981.

100. Unger B.W., Bidulock D.S. The design and simulation ofa multi-computer network message processor. 'The Univ. of Calagary, Dept. of Сотр. Sci., Research Rep., 1982. Ю6. Wand I.C. System Implementation Languages and IRONMAN.

101. Software- Practice and Experience, vol.9, 1979, pp.853-878. 107. Welsh J., McEeag M. Structured System Programming.Prentice

102. Hall, Englewood Cliffs, N.Y., 1980, p.324. 103. Wirth N. Toward a Discipline of Real-Time Programming. Com-municatio of the ACM, vol,20, 1977, PP*577~583.

103. Wirth N. Modula: A language for modular multiprogramming. Software- Practice and Experience, vol.7, 1977, pp.3-35.

104. Wirth N. The use of Modula, Software- Practice and Experience, vol.7, 1877, pp.37-65.

105. Wirth N. Design ana Implementation of Modula. Software-Practice and Experience, vol.7, 19773 pp.67-84.

106. Wirth N. Algorithm f Data structures = Programs. Prentice-Hall, Englewood Cliffs, N.Y., i9?6, p.376.

107. Wirth N* Modula-2. ETH, Zurich, Techn.Rep. No.36, 1980. 1l4« Yau S.S., Yang C-C., Shatz S.M. An Approach io Distributed

108. Computing Software Design. IEEE Trans, oh Software Engineering» vo!j.t7» 1981» pp.427-436.