- •Содержание
- •1.13. Задания для самопроверки 59
- •1.17. Задания для самопроверки 88
- •1.19. Задания для самопроверки 108
- •1.23. Задания для самопроверки 116
- •1.27. Задания для самопроверки 125
- •1.37. Задания для самопроверки 144
- •1.48. Задания для самопроверки 159
- •Перечень рисунков
- •Перечень таблиц
- •Введение
- •Принятые сокращения
- •1.Жизненный цикл разработки по
- •Программные проект и его атрибуты
- •Ролевые модели в программном проекте
- •Размер и сложность программного проекта
- •Характеристики программного проекта
- •Качество программного продукта
- •Экран проекта и сводка о подходе
- •Критерий smart для формулирования целей
- •Критерии успешности программного проекта
- •Модели жизненного цикла
- •Водопадная модель
- •Модель быстрой разработки приложения
- •Пошаговая модель
- •Спиральная модель Боэма
- •Прототипная модель
- •Выбор модели жизненного цикла
- •Задания для самопроверки
- •2.Типовой каркас для разработки по
- •Программная разработка
- •Планирование проекта
- •Модель cocomo для оценки трудозатрат в проекте
- •Модель slim для оценки трудозатрат в проекте
- •Разработка спецификации требований
- •Отслеживание и контроль
- •Верификация и валидация
- •Обеспечение качества
- •Конфигурационное управление
- •Метрики
- •Повышение квалификации
- •Задания для самопроверки
- •3. Модели зрелости способностей cmm/cmmi
- •Ключевые области процесса в модели cmm
- •Характеристика уровней зрелости в модели cmm
- •Интегрированная модель зрелости способностей cmmi
- •История возникновения
- •Уровни зрелости и области процесса
- •Уровни способностей процесса в модели cmmi
- •Специальные и общие цели и практики процессных областей
- •Характеристики уровней зрелости в модели cmmi
- •Задания для самопроверки
- •4.Управление рисками в программном проекте
- •Модели esi и pmi управления рисками
- •Выявление рисков
- •Анализ рисков
- •Расстановка приоритетов для рисков
- •Планирование рисков
- •Исполнение ответных стратегий
- •Оценивание результатов исполнение ответных стратегий
- •Документирование действий по рискам
- •Заключительное оценивание рисков
- •Задания для самопроверки
- •5.Стандарты качества iso в применении к по
- •Структура и принципы семейства стандартов iso 9000
- •Модели iso 9000 на базе процессов
- •Самооценивание по ключевым элементам iso 9000
- •Задания для самопроверки
- •6.Формальные методы в разработке по
- •Инструменты формализации и верификации
- •Взаимодействие функциональностей
- •Интегрированная технология анализа и верификации
- •Задания для самопроверки
- •7.Некоторые общие технологические приемы
- •Инспекции по Фейгану
- •Диаграммы Исикавы («рыбий скелет»)
- •Инструменты
- •Swot-анализ
- •Сбалансированный экран результативности
- •Технологическая дорожная карта
- •Метод Дельфи
- •Деревья решений
- •Сравнительное ранжирование
- •Методология подвижного программирования
- •Принципы подвижного программирования
- •Рабочий цикл и роли участников
- •Рабочие документы и обстановка
- •Задания для самопроверки
- •8.Сертификация программного обеспечения в авиации
- •История создания серии документов do-178 и ed-12
- •Уровни программного обеспечения
- •Процессы жизненного цикла по авиационных систем
- •Цели процессных деятельностей
- •Рабочие документы и категории их контроля
- •Процесс планирования по
- •Процессы разработки по
- •Определение требований
- •Проектирование
- •Кодирование
- •Верификация
- •Конфигурационное управление
- •Обеспечение качества
- •Контакт с органом сертификации
- •Выводы и рекомендации
- •Задания для самопроверки
- •9.Задания для самостоятельной работы
- •Темы, связанные с единым каркасом для разработки по
- •Перечень тем
- •Краткое описание каждой темы
- •Тема 2. Программная архитектура базового инструмента для распределенного управления программными проектами
- •Тема 3. Профили типовых рабочих компонентов для разработки приложений
- •Тема 1. Прототип метрической базы данных для управления разработкой приложений
- •Тема 5. Репозиторий повторно используемых компонентов
- •Тема 6. Сквозной пример для единого каркаса разработки приложений
- •Темы, связанные применением формальных методов перечень тем
- •Тема 1. Сравнительный анализ систем верификации
- •Тема 2. Формализация протоколов связи краткое описание каждой темы
- •Тема 1. Сравнительный анализ систем верификации
- •Тема 2. Формализация протоколов связи
- •10.Литература
- •11.Приложения
- •Шаблон для одностраничного экрана проекта
- •Примерная структура положения о работе и тз
- •Примерная форма еженедельного отчета
- •Примерная форма презентации на ежемесячном операционном обзоре
- •12.Указатель
Разработка и сертификация ПО для авиационных бортовых систем и оборудования, в.1.83
Санкт-Петербургский институт информатики и автоматизации Российской академии наук |
Санкт-Петербургский государственный университет аэрокосмического приборостроения Министерства образования и науки РФ |
|
|
Научно-образовательный центр СПИИРАН-ГУАП
С.Н.Баранов
Разработка и сертификация
программного обеспечения для
авиационных бортовых систем и оборудования
Учебное пособие
Версия 1.83
Санкт-Петербург
2017
АННОТАЦИЯ
Учебное пособие построено на базе лекций автора по технологии разработки программного обеспечения, читавшихся автором в течение ряда лет и его практического опыта работы в промышленности по разработке программных продуктов.
Описывается базовая структура процесса разработки программного обеспечения для авиационных бортовых систем и оборудования в свете международных и отечественных требований и стандартов по его сертификации. Изложение строится на основе классической модели зрелости способностей CMM/CMMI, описывающей процесс разработки программных продуктов, с учетом стандартов DO-178C и КТ-178В, определяющих процесс сертификации такого программного обеспечения для авиационных бортовых систем и оборудования.
Учебное пособие предназначено для подготовки бакалавров и магистров по направлениям «Информатика и вычислительная техника», а также как справочник для специалистов, занимающихся разработкой и сертификаций авиационного программного обеспечения.
Copyright © 2017 Баранов С.Н.
Содержание
Введение 8
Принятые сокращения 10
1. Жизненный цикл разработки ПО 13
1.1. Программные проект и его атрибуты 13
1.1.1 Ролевые модели в программном проекте 13
1.1.2 Размер и сложность программного проекта 13
1.1.3 Характеристики программного проекта 16
1.1.4 Качество программного продукта 18
1.1.5 Экран проекта и сводка о подходе 22
1.2. Критерий SMART для формулирования целей 23
1.3. Критерии успешности программного проекта 23
1.4. Модели жизненного цикла 24
1.4.1 Водопадная модель 26
1.4.2 Модель быстрой разработки приложения 28
1.4.3 V-образная модель 29
1.4.4 Пошаговая модель 30
1.4.5 Спиральная модель Боэма 31
1.4.6 Прототипная модель 32
1.4.7 Выбор модели жизненного цикла 33
1.5. Задания для самопроверки 36
2. Типовой каркас для разработки ПО 37
1.6. Программная разработка 37
1.6.1 Планирование проекта 39
1.6.2 Модель COCOMO для оценки трудозатрат в проекте 40
1.6.3 Модель SLIM для оценки трудозатрат в проекте 43
1.6.4 Разработка спецификации требований 45
1.7. Отслеживание и контроль 52
1.8. Верификация и валидация 53
1.9. Обеспечение качества 53
1.10. Конфигурационное управление 55
1.11. Метрики 56
1.12. Повышение квалификации 58
1.13. Задания для самопроверки 59
3. Модели зрелости способностей CMM/CMMI 62
1.14. Ключевые области процесса в модели CMM 63
1.15. Характеристика уровней зрелости в модели CMM 68
1.16. Интегрированная модель зрелости способностей CMMI 70
1.16.1 История возникновения 70
1.16.2 Уровни зрелости и области процесса 72
1.16.3 Уровни способностей процесса в модели CMMI 75
1.16.4 Специальные и общие цели и практики процессных областей 76
1.16.5 Характеристики уровней зрелости в модели CMMI 87
1.17. Задания для самопроверки 88
4. Управление рисками в программном проекте 89
1.18. Модели ESI и PMI управления рисками 91
1.18.1 Выявление рисков 92
1.18.2 Анализ рисков 94
1.18.3 Расстановка приоритетов для рисков 97
1.18.4 Планирование рисков 99
1.18.5 Исполнение ответных стратегий 101
1.18.6 Оценивание результатов исполнение ответных стратегий 102
1.18.7 Документирование действий по рискам 104
1.18.8 Заключительное оценивание рисков 105
1.19. Задания для самопроверки 108
5. Стандарты качества ISO в применении к ПО 109
1.20. Структура и принципы семейства стандартов ISO 9000 109
1.21. Модели ISO 9000 на базе процессов 112
1.22. Самооценивание по ключевым элементам ISO 9000 114
1.23. Задания для самопроверки 116
6. Формальные методы в разработке ПО 117
1.24. Инструменты формализации и верификации 117
1.25. Взаимодействие функциональностей 120
1.26. Интегрированная технология анализа и верификации 123
1.27. Задания для самопроверки 125
7. Некоторые общие технологические приемы 126
1.28. Инспекции по Фейгану 126
1.29. Диаграммы Исикавы («рыбий скелет») 130
1.30. SWOT-анализ 131
1.31. Сбалансированный экран результативности 132
1.32. Технологическая дорожная карта 133
1.33. Метод Дельфи 136
1.34. Деревья решений 136
1.35. Сравнительное ранжирование 138
1.36. Методология подвижного программирования 139
1.36.1 Принципы подвижного программирования 139
1.36.2 Рабочий цикл и роли участников 140
1.36.3 Рабочие документы и обстановка 141