автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Автоматизация анализа структур сложных систем в целях повышения надежности (на примере программного обеспечения)

ВВЕДЕНИЕ

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

1.1. Постановка задачи автоматизации структурного анализа сложных систем.

1.1.1.,-Основные положения, связанные с проектированием сложных систем

1.1.2. Постановка общей задачи надежностного проектирования систем.

1.1.3. Обзор существующих систем автоматизации проектирования

1.1.4. Постановка задачи автоматизации декомпозиции сложных систем

1.2. Обзор и анализ методов оценки надежности сложных систем (АСУ и ПО).

1.3. Надежность программного обеспечения

1.4. Связь надежности и анализа сложных систем

1.5. Постановка задачи структурной декомпозиции сложных систем на примере ПО.

1.5.1. Обзор методов анализа сложных систем

1.5.2. Постановка задачи

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

ГЛАВА П. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ЗАДАЧИ СТРУКТУРНОЙ

ДЕКОМПОЗИЦИИ СЛОЖНЫХ СИСТЕМ (ПО).

2.1. Анализ методов описания программ

2.2. Агрегативный подход к описанию сложных систем.

2.3. Алгебра операции декомпозиции DEC.

2.4. Алгоритмы декомпозиции.

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

ГЛАВА Ш. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ МЕТОДА ДЕКОМПОЗИЦИИ

СЛОЖНЫХ СИСТЕМ.

3.1. Общее описание системы автоматизации проектирования СДКМС.

3.2. Блок "Декомпозитор" (DEC)

3.2.1. Структура блока DEC

3.2.2. Информационное обеспечение блока DEC

3.3. Программное обеспечение блока "Декомпозитор".

3.4. Язык декомпозиции как подмножество языка схем систем L^

3.5. Экспериментальная проверка алгоритмов декомпозиции на примере ПО.

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

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

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

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

САПР включает комплекс средств автоматизации проектирования и коллектив людей, управляющих этим комплексом [32].

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

В СССР и за рубежом работы по АП получили большое развитие. Так особенно значительные успехи по применению САПР достигнуты в радиоэлектронике, машиностроении и строительстве [45].

Существенный вклад в создание САПР внесли такие советские ученые и инженеры, как Н.П.Бусленко, М.А.Гаврилов, В.М.Глушков, М.Я.Матюхин и др.[16,23,26,27,82,83].

Одним из перспективных и актуальных направлений развития автоматизированного проектирования является АЛ сложных программных систем, таких как: программное обеспечение (ПО) АСУ, пакеты прикладных программ (ППП), операционные системы, трансляторы, системы управления базами данных и др. Работы по данному направлению ведутся в Институте проблем управления [63,64,75, 76,91,96,105], НПО "Ленэлектронмаш" [40,41] и в других организациях [8,9,47,49,53,85,86].

Потребности в ПО постоянно возрастают. Годовой прирост программной продукции для СССР и (Ж составляет 1596 и 23% соответственно [63]. Затраты на разработку ПО составляют 60% общей трудоемкости разработки систем обработки данных (СОД) в целом, причем в текущем десятилетии предполагается их увеличение до 90% общей трудоемкости[бЗ]. Это обусловлено сложностью написания и отладки ПО, стоимостью перепрограммирования и т.д., т.е. сложностью сопровождения^], и низкой производительностью труда программистов. По данным Союзсистемпрома капитальные затраты на разработку и внедрение АСУ предприятием, одной из основных компонент которой является ПО, составляют 800 тыс. рублей[77]. Так в США затраты на разработку ПО составили 20 млрд долларов в 1970 г. и к 1985 г. возрастут по прогнозам до 200 млрд долларов [63].

Все это послужило причиной создания САПР ПО, позволяющих снизить трудоемкость проектирования, повысить надежность и качество ПО. В последнее время вопросам надежности ПО уделяется большое внимание. Им посвящены работы таких советских и зарубежных ученых, как В.В.Дружинш,В.В.Липаев,В.В.Шураков,Т.Тей-ер, Э.Нельсон, Г.Майерс и др.[39,69-71,104,97,74,29,34,98,108

ИЗ, 116,118,120].

Для разработки САПР необходимо иметь формальные методы, описывающие как сами объекты, так и этапы проектирования. Тогда весь процесс проектирования сложных систем можно свести к машинным методам анализа и синтеза*

В диссертации предлагается формальный подход к описанию объекта и этапов проектирования, конструктивное решение которого реализуется в виде системы проектирования структур сложных систем (на логическом уровне) - "Системы декомпозиции, композиции и модификации сложных систем"(СДКМС). Разработки проводились совместно с группой МЭСИ, возглавляемой Т.Я.Данелян.

Настоящая работа посвящена разработке средств автоматизации анализа структур сложных систем, в частности, ПО АСУ, и исследованию влияния автоматизации процесса анализа на качество создаваемых систем*

В соответствии с этим в диссертационной работе решаются следующие задачи:

1, исследование и анализ моделей оценки надежности такого класса систем, как ПО;

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

3. анализ методов описания программ;

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

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

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

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

- сформулирован критерий корректности агрегативных схем (А-схем), описывающих программы;

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

- показана вычислимость операции декомпозиции (элементной, объектной, уровневой) с использованием операций базовой алгебры агрегатов;

- разработаны алгоритмы декомпозиции схем ПО;

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

Практическая ценность. Основные результаты диссертации получены автором в ходе выполнения работ по хоздоговорным темам №81028500 и №76847697 и госбюджетной теме "Разработка математического обеспечения САПР", ведущимся в МЭСИ. Разработанный комплекс программ составляет блок "Декомпозитор" системы СДКМС. Общий объем программ составляет более 3000 операторов ПЛ/1. Елок может использоваться в автономном режиме.

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

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

Структура и объем диссертации. Диссертация состоит из введения, трех глав, заключения, списка литературы из 120 наименований и двух приложений. Работа содержит 135 страниц машинописного текста, 35 рисунков, 12 таблиц, 49 страниц приложения.

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

1. Разработаны программы, составляющие блок "Декомпозитор". Общий объем программ составляет более 3000 операторов языка ПЛ/I. Блок может функционировать как в автономном режиме, так и в составе системы автоматизации проектирования СДКМС.

2. Для программ блока "Декомпозитор" создано информационное обеспечение.

3. Разработано подмножество L^ec языка описания схем систем для работы с блоком декомпозиции в интерактивном режиме и в режиме интерпретатора.

4. Осуществлена эксплутационная проверка программ блока в автономном режиме для анализа схем программ комплексов задач подсистемы "Оперативный учет производства" АСУ одного из моеновских предприятий. Использование блока при проектировании ПО позволяет повысить его качество и выявить ошибки на более ранних стадиях до этапа непосредственного программирования.

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

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

2. Проведено исследование влияния автоматизации процесса анализа на надежность проектируемых систем.

3. Сформулирован критерий корректности А-схем, описывающих программы.

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

5. Показана вычислимость операции декомпозиции (элементной, объектной, уровневой) с использованием операций базовой алгебры агрегатов. Эти три вида декомпозиции охватывают все возможные подходы к декомпозиции сложных систем, в частности, ПО.

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

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

8. Разработан комплекс программ, реализующий предложенные в работе алгоритмы декомпозиции. Объем комплекса программ составляет более 3000 операторов языка ПЛ/1.

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

1. Аверин В.И. Прикладные аспекты надежности АСУП. - В кн.: Экономическая эффективность АСУП: Тез. докл. рабочего семинара. Пермь, 1978, с. 37-39.

2. Автоматизация проектирования систем управления/ Под ред. В.А. Трапезникова. М.: Статистика, 1978. - 196 с.

3. Архангельский Б.В. Некоторые вопросы оптимизации программы на уровне входного языка. В кн.: Операционные системы и связь человека с ЭВМ. Киев, 1975, с. 31-43.

4. Архангельский Б.В. Об одном алгоритме чистки циклов. В кн.: Операционные системы и связь человека с ЭВМ. - Киев, 1975, с. 44-54.

5. Архангельский Б.В., Никитин А.И. Вопросы оптимизации программ, записанных в процедурно-ориентированных языках для систем реального времени. Управляющие системы и машины, 1975, К? 6,с. 6-II.

6. Архангельский Б.В., Никитин А.И. О возможности автоматической оптимизации программ в системах реального времени. Управляющие системы и машины, 1976, № 2, с. 48-54.

7. Ашеров А.Т. Анализ проектов информационно-вычислительных систем по критериям надежности обработки информации. Управляющие системы и машины, 1976, Р 4, с. 3-10.

8. Бектаев С.К., Коробов Б.П. Адаптивная оптимизация устройств сопряжения по критерию надежности. В сб.: Системы автоматизации научных исследований. Рига, 1980, вып. 4, с. 3-6.

9. Билкун С.Н., Кильменинов A.M., Маслюк Г.Ф. О методике разработки программ в условиях неполной определенности. Управляющие системы и машины, 1978, Р 3, с. 51-54.

10. Будовская JI.M. К вопросу об оценке надежности программного обеспечения. Труды/ МВТУ, 1983, N?396, с. 41-48.

11. Будовская JI.M., Шишман С.С. Декомпозиция, композиция и модификация алгоритмов АСУП. В сб.: Автоматизация технической подготовки производства и проектирования. Пермь, 1981, вып. 26, с. 135-144.

12. Будовская Л.М. Использование метода декомпозиции при разработке алгоритмов и программ обработки информации. В сб.: Эффективность проектирования информационного обеспечения АСУ. М., 1982, с. 38-42.

13. Будовская Л.М. .0 планировании эксперимента по оценке надежности программного обеспечения. В кн.: Надежность в технике: Тез. докл. научно-техн. семинара. Горький, 1983, с. 28-30.

14. Будовская Л.М. Метод декомпозиции при автоматизации проектирования программного обеспечения АСУ. В кн.: Анализ эффективности и качества проектирования и функционирования АСУ в народном хозяйстве: Тез. докл. Всесоюз.науч.конф. М.,1983,с. 11-12.

15. Будовская Л.М. Некоторые вопросы повышения надежности программного обеспечения. Труды/ Таганрог, радио-техн. ин-т, 1982, вып. 3, с. 80-89.

16. Цусленко Н.П. Лекции по теории сложных систем. М.: Сов. радио, 1973. - 439 с.

17. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978. - 356 с.

18. Вальковский В.А., Касьянов В.Н. Крупноблочная сегментация и распараллеливание схем программ. Программирование, 1976, И, с. 16-25.

19. Венгеров В.Н., Никитин A.C. Алгоритмы разрезания взвешенных графов. Минск, 1978. - II с. (Препринт/Ин-т математики АН БССР, № 20(52)).

20. Венгеров В.Н. О субоптимальном разрезании графов. Вкн.: Математические методы и их применение. Минск, 1977, с.3-4.

21. Вольфсон В.Л. Использование временной избыточности для повышения функциональной надежности АСУ. Приборы и системы управления, 1979, № II, с. 36-40.

22. Гаркавенно С.И., Бердникова Л.С. Определение всех путей в ориентированном ациклическом графе. Кибернетика, 1979, !Р 4, с. 49-52.

23. Гаврилов М.А. Интегрированные системы автоматизации проектирования. В кн.: Автоматизация проектирования систем управления. М., 1978, с. 39-67.

24. Гафт Л.Ш., Дрогаль Т.Г., Синицын В.А. Программно-целевой подход и проблемы декомпозиции систем управления. В кн.: Вопросы развития и опыт типового автоматизированного проектирования АСУ. Киев, 1978, с. 130-135.

25. Гласс Р. Утководство по надежному программированию. -М.: Финансы и статистика, 1982. 256 с.

26. Глушков В.М., Вельбицкий И.В. Технология программирования и проблемы ее автоматизации. Управляющие системы и машины, 1976, N56, с. 75-93.

27. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, языки, программирование. Киев: Наукова думка, 1974. - 328 с.

28. Голинкевич Т.А. Прикладная теория надежности. М.: Высшая школа, 1977. - 159 с.

29. Головкин В.А. Классификация методов обеспечения надежности программ. Управляющие системы и машины, 1979, №5, с. 3-12.

30. Горинштейн Л.Л. О разрезании графов. Техническая кибернетика. Изв. АН СССР, 1969, Р1, с. 79-85.

31. ГОСТ 19675-74. Автоматизированные системы управления. Основные положения. Термины и определения. М., 1975,- 12 с.

32. ГОСТ 22487-77. Проектирование автоматизированное. Термины и определения. М., 1978. - II с. Введен с 01.07.78.

33. Грановский А.Л. Единый технологический процесс обработки информации в АСУ. Механизация и автоматизация производства, 1979, №5, с. 35-37.

34. Губинский А.И. Теория надежности приборов, средств автоматизации и систем управления.- М.:Машиностроение, 1974. 95 с.

35. Данелян Т.Я. Агрегативный подход к синтезу и анализу программ. Алгебра А-схем и язык описания А-схем программ. В кн.: Синтез, тестирование, верификация и отладка программ: Тез. докл. Всесоюз. науч. конф. Рига, 1981, с. 83.

36. Данелян Т.Я. Формализация и автоматизация процессов декомпозиции, композиции и модификации сложных систем. В кн.: Высокопроизводительные вычислительные системы: Тез. докл. Всесоюз. совещ. Тбилиси, 1981, ч. 2, с. 49-51.

37. Данелян Т.Я. Формализация процесса декомпозиции сложных систем (больших программ и АСУ). В сб.: Программное обеспечение ЭВМ. М., 1979, с. 74-85.

38. Данелян Т.Я., Кукушкин Н.Б. Математическая формулировка задачи сопряжения сложных систем АСУ и больших программ. - В сб.: Вопросы моделирования и проектирования технологии в системах обработки данных. - М., 1980, с. 35-41.

39. Дружинин В.В. Надежность автоматизированных систем. -М.: сйергия, 1977. 536 с.

40. Евдокимов В.В. Методология разработки систем автоматизации проектирования АСУП. В сб.: Автоматизация проектирования систем управления. М., 1981, вып. 3, с. 5-18.

41. Евдокимов В.В., Рейнер В.А. Машинный синтез АСУП. М.: Статистика, 1980. - 222 с.

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

43. Ершов А.П. Современное состояние теории схем программ. -В сб.: Проблемы кибернетики. М., 1973, вып. 27, с. 97-110.

44. Завадский П.И. 0 методе декомпозиции одного класса алгоритмов решения задач АСУ на модули. Управляющие системы и машины, 1975, »96, с.81-87.

45. Зайцев В.Г., Егизарьян В.Т. Способ автоматизированного проектирования программного обеспечения АСУ ТП. Управляющие системы и машины, 1979, Р6, с. 35-40.

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

47. Иванов А.П. Автоматизация проектирования АСУП. Механизация и автоматизация производства, 1979, №5, с. 33-35.

48. Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979. - 409 с.

49. Кальниш Г.И. Формализованный синтез программ обработки данных АСУ методом подстановок. Управляющие системы и машины, 1980, 1PI, с. 122-127.

50. Карповский Е.Я. Надежность специального математического обеспечения управления. Киев; Одесса: Вища школа,1982. - 152с.

51. Катаока М. Система для разработки программного обеспечения с помощью ЭВМ. Пер. с японского , Хитати хёрон, 1980,т.62, № 12, с. 879-882.

52. Кирилюк Н.И., FyöaH В.Я. Вопросы комплексной автоматизации проектирования АСУ. Механизация и автоматизация управления, 1975, И°4, с. 64-68.

53. Кирилюк Н.И., рубан В.Я. Автоматизация проектирования информационно-логической структуры АСУ. Механизация и автоматизация управления, 1975, Ш, с. 68-71.

54. Корниенко A.B., Погребной В.К. Модель и алгоритм для разбиения цифровых вычислительных устройств на функциональныеблоки. Управляющие системы и машины, 1976, fP5, с. 94-98.

55. Костенко Ю.Т., Безменов Н.И., Серокуров В.Е. О применении теории графов при структурном анализе сложных систем. Вестник Харьк. политехи, ин-та, 1979, вып. I, №148, с. 48-51.

56. Костенко Ю.Т., Цыганков А.Н. Об одном подходе к управлению сложными системами. Вестник Харьк. политехи, ин-та, 1980, вып. 2, №163, с. 71-73.

57. Косяченко С.А., Людвиг A.B., Казиев Г.З. Оптимизация построения функциональных блок-схем. В сб.: Построение автоматизированных систем обработки данных. - М.,1978, вып.16, с.19-25.

58. Котов В.Е. Введение в теорию схем программ. Новосибирск: Наука, 1978. - 258 с.

59. Кошарский В.Д., Тимошенко А.Н., Андросов A.M. Теоретические основы оптимального выбора этапности задач АСУП. Управляющие системы и машины, 1976, №5, с. 15-19.

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

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

62. Куликов М.Я., Погребной В. К. О модульных принципах построения АСУ в условиях автоматизированного проектирования. Приборы и системы управления, 1978, (fill* с. 10-11.

63. Кульба В.В., Мамиконов А.Г. Методы анализа и синтеза оптимальных модульных систем обработки данных. Автоматика и телемеханика, 1980, №11, с.152-179.

64. Кульба В.В., Мамиконов А.Г., Шелков A.B. Резервирование программных модулей и информационных массивов в АСУ. Автоматика и телемеханика, 1980, №8, с. I33-I4I.

65. Лаврищева Е.М., Грищенко В.Н. Связь разноязыковых модулей в ОС ЕС. М.: Финансы и статистика, 1982. - 127 с.

66. Лауринскас Ю.В. К проверке правильности графа программ. Некоторые свойства характеристик путей. В кн.: Математические методы и применение ЦВМ. Вильнюс, 1978, с. 74-76.

67. Лауринскас Ю.В. К проверке правильности программ. Анализ подграфа с многими входами. В кн.: Математические методы и применение ЦВМ. Вильнюс, 1978, с. 76-77.

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

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

70. Липаев В. В. Надежность программного обеспечения АСУ. -М.: Энергоиздат, 1981. 240 с.

71. Липаев В.В. Состояние и проблемы производства программного обеспечения для систем управления и обработки информации. -Управляющие системы и машины, 1980, И, с. 9-15.

72. Лукацкий A.M. К вопросу о композиции кусочно-линейных агрегатов. Программирование, 1978, №4, с. 79-84.

73. Ляшко И.И., Сергиенко И.В., Скопецкий В.В. Разработка одной автоматизированной системы прикладных программ. Управляющие системы и машины, 1976, №2, с. 46-47.

74. Майерс Г. Надежность программного обеспечения. М.:Мир, 1980. - 360 с.

75. Мамиконов А.Г., Кульба В.В., Косяченко С.А. Задачи формализации и автоматизации модульного проектирования систем обработки данных. Труды/ Ин-т проблем управления, М., 1978, вып. 16, с. 5-18.

76. Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Автоматизация проектирования АСУ. М.: Энергоиздат, 1981. - 328 с.

77. Методология проектирования АСУП: Тез. докл. Всесозного научно-техн. совещ. Таллин, 1980. - 227 с.

78. Мясников В.А. Совершенствование технологии программирования важнейшая народнохозяйственная задача. - Управляющие системы и машины, 1980, №1, с. 6-8.

79. Нейман Дж. Вероятностная логика и синтез надежных организмов из ненадежных компонентов. В кн.: Автоматы. М., 1956, с. 68-139.

80. Нейман Дж. Общая и логическая теория автоматов. В кн.: Может ли машина мыслить? М., 1960, с. 90-110.

81. Нечипоренко В.И. Структурный анализ систем. М.: Сов. радио, 1977. - 194 с.

82. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983. - 227 с.

83. Петренко А.И. Основы автоматизации проектирования. Киев: Техшка, 1982. - 295 с.

84. Погребной В.К. Построение и исследование графовых моделей алгоритмов управления в АСУ. В кн.: Автоматизация проектирования систем управления. М., 1978, с. 68-99.

85. Погребной В.К. Об автоматизации модульного проектирования программного обеспечения АСУ ТП. Управляющие системы и машины, 1978, №1, с. 25-43.

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

87. Подловченко Р.И. Р-схемы и отношения эквивалентности между ними. В сб.: Проблемы кибернетики. М., 1973, вып. 27, с. 213-237.

88. Подловченко Р.И. Полная система подобных преобразований Р-схем. В сб.: Проблемы кибернетики. М., 1973,вып.27, с. 239250.

89. Подловченко Р.И. Моделирование программ схемами и построение систем преобразования схем. Кибернетика, 1982, № б,с. 23-29.

90. Постникова Л.Н. ППП ГРАФЕ. Структура данных и представление графов. Новосибирск, 1980. - 34 с. (Препринт 265).

91. Предпроектный анализ структуры информационных потоков и технологии обработки данных при разработке модульных СОД. М., 1980. - 43 с. (Препринт/Ин-т проблем управления).

92. Разработка методов композиции, декомпозиции, модификации и параметрической оптимизации информационного обеспечения АСУП: Отчет по теме/Моск. экономико-статист, ин-т; 1ук. теш Волосков Н.И. - Р ГР 81028500. - М., 1980. - 200 с.

93. Разработка алгоритмов и программ по математическому, информационному и техническому обеспечению для построения АСУП методом групповой типизации: Отчет по теме/Моск.экономико-статист, ин-т; I^k.темы Волосков Н.И. - № ГР 6847697. - М.,1979.- 163с.

94. Рэгач В.Д. Типовые модули обработки описаний данных в системах программирования. Управляющие системы и машины,1979, №5, с. 63-66.

95. Сафонов И.В. Теория и практика надежностного проектирования структурно-алгоритмических систем: Автореф. дис. д.т.н. М., 1977. - 46 с.

96. Синтез оптимальных функциональных модулей обработки данных в АСУ. М.,1979. - 43с. (Препринт/Ин-т проблем управления).

97. Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. М.: Мир, 1981. - 326 с.

98. Терешко Е.П., Маныпин Г.Г. Надежность автоматизированныхсистем управления. М.: Машиностроение, 1975. - 40 с.

99. Тихомиров В.П. Организация сопровождения программных средств АСУ. М.: Статистика, 1980. - 60 с.

100. Тыугу Э.Х. На пути к практическому синтезу программ. -Кибернетика, 1976, №6, с. 43-48.

101. Тьюринг А. Может ли машина мыслить? М.: Иностранная литература, I960. - НЕ с.

102. Ушаков И.А. Анализ надежности сложных систем. М.¡Знание, 1979, с. 3-62.

103. Харари Ф. Теория графов. М.: Мир, 1973. - 300 с.

104. Шураков В.В. Надежность программного обеспечения систем обработки данных. М.: Статистика, 1981. - 216 с.

105. Эпштейн В.Л. Проблемы автоматизации проектирования систем управления. В кн.: Автоматизация проектирования систем управления. М., 1978, с. 6-38.

106. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1979. - 272 с.

107. Chapin N. A measure of software complexity.-AFJPS Conference Proceedings, <379, vM% р.р.995-Ш2.

108. George 7., Schick Т., Raw IV. An Analysis of computing software relcaSllltu models." IEEE, 4978, v. SE-4, N'2, pp. </6-47.

109. Gilb T. The measurement of Software kelia-lility and Maintain&iEcty.- Computer and People, 4977, v. 26, Я, АГ9, p.p. У6-2У. v

110. Grandoki L., Anderson P. Computer program re-BiaBilitij.- Computer and People, im% V.2J.AIV, pp. /<"22.

111. Fairley R. An experimental proyramtestiny facility.- IEEE Trans., 1915, v. SE4, Г4, p.p. 35Q-357.

112. Paige M. On partitioning Program Graphs.-IEEE

113. Trans., 4977, v. SE-3, AT 6, p.p. 3M-393.

114. Parnas D.L. On the criteria to 6e used in decomposing Systems into modules. CACMf Dec. 1972, p.p. 4053'405%.

115. Relioidity issues on computing system design/ B. Randett t.a. Computing Servers, 497g, v. 10, №,p.p. 123-165.

116. Roman G. An Argument in Favor of Mechanized Software Production. IEEE Trans., 1977, v. SE-3, N*6, p.p. M6-W.

117. H8. Telchrow . Computer aided Software development.- in; Software Reliability Paper Maidenhead, Infotech International, USA, ISVOS Project University of Michigan, 4977, p.p.301-357.

118. Thompson W.E., Chelson P.O. On the Specification and Testing of Software Reliability,- Reliaêiiity and Maintainability Symposium. San-Francisco, 49&0,p.p. 379 "3S3.

119. ZelKowitz M.V. Perspectives on Software Engineering." Computing Surveys, 497&, v. 40, H*2 , p.p. 497216.