Введение
ГЛАВА 1. Современные методы управления конфигурациями при разработке встроенных программных систем 9
1.1. Процессы разработки встроенных систем 9
1.2. Общая характеристика процесса управления конфигурациями 16
1.3. Требования отраслевых и международных стандартов к процессу управления конфигурациями 19
1.3.1 Процессы управления конфигурациями по ГОСТР 51904-2002 21
1.3.2, Процессы управления конфигурациями по DO-178В 24
1.3.3 Процессы управления конфигурациями по ISO 9001:2000/ISO 10007 26
1.3.4 Процессы управления конфигурациями по AS 9100В / AS 9006В 28
1.3.5 Сравнительная характеристика требований DO-178В, ISO 9001:2000/ISO 10007 и AS 9100В 30
1.4. Компоненты современных систем управления конфигурациями 33
1.5. Современные модели процесса управления конфигурациями 38
1.6. Цель и задачи диссертационного исследования-. 49
ГЛАВА 2. Теоретические аспекты метода управления конфигурациями при разработке встроенных систем 52
2.1. Построение математической модели конфигураций объектов разработки ВС .52
2.1.1 Основные определения 52
2.1.2 Структура конфигурации как формальная теория 54
2.1.3 Древовидные конфигурации как модель формальной теории 56
2.1.4 Процесс создания конфигурации при помощи правил вывода 58
2.2. Построение математической модели вычисления состояний объектов конфигурации 62
2;2.1 Основные определения алгебраической модели вычисления состояний конфигураций 62
2.2.2 Вычисление состояний ОК 65
2.2.3 Типизация конфигураций 72
2.3. Эвристический метод оценки степени завершенности конфигурации 75
2.4. Выводы по главе 77
ГЛАВА 3. Проектирование инструментальных средств управления конфигурациями ...80
3.1. Реляционная модель обобщенного объекта конфигурации 80
3.2. Объект конфигурации как абстрактный класс данных 83
3.3. Жизненный цикл разработки и сопровождения системы управления конфигурациями 88
3.4. Проектирование и реализация системы DMS 90
3.4.1 Общая характеристика системы DMS 90
3.4.2 Инструментальные средства реализации 93
3.4.3 Особенности применения метода вычисления состояний конфигураций в системе DMS 93
3.4.4 Особенности реализации системы DMS 97
3.5. Выводы по главе 107
ГЛАВА 4. Экспериментальная проверка и внедрение разработанных методов и инструментальных средств 109
4.1. Экспериментальная проверка эвристического метода оценки степени завершенности конфигурации COEF 109
4.2. Внедрение, опытная и промышленная эксплуатация системы на предприятии ООО «ДС «БАРС» 114
4.2.1 Методика внедрения и сопровождения системы 119
4.2.2 Процесс внедрения 122
4.2.3 Общая статистика работы системы DMS на предприятии ООО «ДС «БАРС» 124
4.2.4 Общие выводы по внедрению 134
4.3. Внедрение системы DMS в учебный процесс кафедры кибернетики МИФИ... 134
4.3.1 Цели и задачи внедрения 135
4.3.2 Особенности методики внедрения и сопровождения в ходе учебного процесса 135
4.3.3 Результаты внедрения 136
4.4. Выводы по главе 139
Заключение 141
Литература
