Доклад Михаила Гайворонского "Опыт разработки САУ (FADEC) двигателя в соответствии с требованиями стандарта DO-178" на 115 заседании Русского отделения INCOSE, 25 мая 2016г.

1. Разработка ПО САУ гражданского ГТД в
SCADE Suite
INCOSE, 25 мая 2016
Михаил Гайворонский

2. АО «ОДК-СТАР»
Ил-96-300
НР-90
ЭРД-3ВМ РЭД-90А2М
НР-90А2

3. FADEC
=
Постановка задачи
АР МАК
+
КТ-178В

4. КТ-178В (DO-178B)
Сертификация → Модель разработки → Разработка
DO-178C
DO-330
DO-333DO-332
DO-331
DO-248C
DO-254
МОП
ООП ФМ
Инструменты
FAQ
Аппаратура
DO-178B
CASTs
+

5. КТ-178В
Уровни критичности
Уровень Определение отказного состояния
A
ПО может привести к катастрофическому отказному состоянию системы
и воздушного судна
B
ПО может привести к аварийному отказному состоянию системы и
воздушного судна
C
ПО может привести к сложному отказному состоянию системы и
воздушного судна
D
ПО может привести к отказному состоянию типа «усложнение условий
полета» воздушного судна
E
ПО может привести к отказному состоянию без влияния на
эксплуатационные возможности воздушного судна

6. Определить
требования к ПО
Построить
архитектуру ПО
Спроектировать
ПО
Реализовать ПО
Протестировать ПО
Протестировать
интеграцию ПО
Протестировать
интеграцию ПО с
целевым
вычислителем
Обеспечить
целостность
изменений
Стандартна
оформление
требований
Стандартна
разработку
требований
Системные требования
Запросы на изменения
Запросы на изменения
Отчёт по версионному контролю
Стандартна
управление
конфигурациями
MSWord
Бригада
разработчиков
требованийи
алгоритмов
Обеспечить
улучшение
качества
процессов
Требования к ПО
Критерии оценки качества
Стандартна
разработку
архитектурыПО
SCADELCRM(ALM)
Требования к ПО
Описание архитектуры ПО
Обеспечить
управление
версиями
Все выходы всех процессов
Запросы на изменения
Сообщения о проблемах и
улучшениях
Стандартна
управление
изменениями
Бригада
разработчиковПО
(Группаразработки
архитектуры)
SCADESystem
MSWord
Стандартна
оформление
архитектурыПО
(SysML)
Отчёт по управлению
изменениями
Описание архитектуры ПО
Запросы на изменения
Стандартна
разработкуПО
Бригада
разработчиковПО
SCADESuite
SCADEKCG
Показатели качества
Мероприятия по улучшению
качества
Сообщения о проблемах и
улучшениях
Руководствопо
качеству
Модель ПО
SCADESuite
Бригада
разработчиковПО
Отчёт по модели ПО
Исходный код
Объектный код
SCADEQTE(Test)
Секторобеспечения
качестваПО
Стандартна
верификацию
Доказательство верификации ПО
Сообщения о проблемах и
улучшениях
Материалы рассмотрений
Секторобеспечения
качестваПО
Секторобеспечения
качестваПО
IT-служба
Представителивсех
участниковпроцесса
SCADEQTE(Test)
Секторобеспечения
качестваПО
Секторобеспечения
качестваПО
Целевой
вычислитель
Ведущаягруппа
Стендовое
оборудование
Показатели качества
Показатели качества
Показатели качества
Показатели качества
Доказательство верификации ПО
Сообщения о проблемах и
улучшениях
Материалы рассмотрений
Показатели качества
Доказательство верификации ПО
Сообщения о проблемах и
улучшениях
Материалы рассмотрений
Показатели качества
Модель ПО
ТНУ
CIDE
Keilcompiler
Стандартна
кодирование
Запросы на изменения
GitLab
git
V-модель разработкиПрототип ПО
• КТ-178В
• ТЗ на САУ
• ТЗ на ПО
• Протоколы обмена
• etc.
Документы
Исходные данные

7. Requirements
Manager
Модель ПОПрототип ПО
ТВУ
Исходные
документы
Разработка
Процесс

8. Описание архитектуры
Реверс-инжиниринг
Готовые данные
Legacy-код
Упр-е конфигурациями
SCADE System
Изменение процессов
Изменение архитектуры
Изменение архитектуры
Git (?)
Разработка
Камни преткновения

9. • Моделирование требований
• Трассировка Модель ← ТВУ ← ТЗ
• 101.8 Мб тестов
•
Верификация
Процесс
MIL PIL HIL
Средства
собственной
разработки
Испытания на
стендах

10. • SCADE Cheker
• ТВУ ≠ Модель ПО (устаревание)
• Ctrl-C Ctrl-V
Верификация
Самые частые ошибки

11. ТВУ в терминах ТЗ
Недостатки ТВУ
Верификация ручного кода
Управление изменениями
SCADE System
Стандарт
PIL
Изменение процессов
Верификация
Камни преткновения

12. Верификация верификации
Самые частые ошибки
• Лишние потоки данных
• Мёртвый и серый код
• Неполнота тестов

13. Результаты
• Изменение идеологии
• Рост размера переписанного кода: 30%
• Общий рост размера кода: 11%
• Исправление ошибок на ранних этапах
• Изменение процессов
• Потребность в инструменте

14. •
• Описание архитектуры
• Разработка ТВУ
• Процессы
Выводы

15. Преимущества инструментов SCADE
• Parlez-vous français?
• ↓ Трудоёмкость сертификации
• Поддержка

16. Q&A

17. Михаил Гайворонский
Ведущий инженер-программист АО «ОДК-СТАР»
e-mail: gayvoronskiy-mb@ao-star.ru
Тел.: +7 (919) 462-12-85
Контакты