Курс КТ-178C: Л.1. Вводная лекция

Курс КТ-178C для начинающих: Лекция 1. Вводная лекция Вводная лекция о разработке авиационного программного обеспечения по стандарту КТ-178С: зачем он нужен, почему авиационный код настолько дорогой и чем такая разработка отличается от обычной. На примерах разбираются требования, трассируемость, верификация, управление конфигурацией, гарантия качества, квалификация инструментов и причины высокой стоимости сертифицированного ПО. Таймлайн 00:00 — Стоимость строки авиационного кода и мотивация курса 02:16 — Что такое КТ-178С, DO-178C и где применяется этот стандарт 06:09 — Почему авиационное ПО критично по безопасности 08:49 — Стандарт как набор процессов и данных жизненного цикла 16:30 — Цели стандарта и уровни критичности ПО 24:35 — Встраиваемое бортовое ПО и запрет кода неизвестного происхождения 28:05 — Требования как центральный объект разработки 39:19 — Идентификаторы требований и двунаправленная трассируемость 45:59 — Цепочка разработки: требования, проект ПО, код, тесты, покрытие 57:52 — Робастность, отказы и связь требований с безопасностью самолета 01:07:56 — Планы, стандарты и доказательная история разработки 01:15:16 — Пять планов и три стандарта проекта по КТ-178С 01:32:01 — Верификация: рассмотрения, тестирование, анализы и чек-листы 01:40:02 — Автоматизированные стенды тестирования на целевом микроконтроллере 01:55:04 — Управление конфигурацией, problem reports и аудит изменений 02:12:32 — Гарантия качества, независимость ролей и проверки аудиторов 02:23:18...