Курс КТ-178C: Л.2. Экосистема авиационной разработки

Курс КТ-178C для начинающих: Лекция 2. Экосистема авиационной разработки В лекции разбирается, почему КТ-178С нельзя понимать как изолированный стандарт для программного обеспечения: вокруг него есть системные процессы, оценка безопасности, стандарты по аппаратуре, инструментам и смежным технологиям. Обсуждаются Р-4754А, Р-4761А, КТ-254, Р-330, Р-248 и другие документы, а также то, откуда берутся системные требования, DAL и ограничения на сертифицируемую разработку. Отдельно рассматривается отличие авиационной экосистемы КТ-178С от ГОСТ 51904 и риски разработки без внешнего системного контроля. Таймлайн 00:01 — Зачем нужна экосистема авиационной разработки вокруг КТ-178С. 02:19 — Две базовые книги для входа в тему: Вэнс Хилдерман и Лиана Риерсон. 03:46 — Карта стандартов: Р-4754А, Р-4761А, КТ-178С, КТ-254 и их роли. 08:34 — Прикладные стандарты для ПО, аппаратуры, инструментов, данных, IMA, многоядерности и кибербезопасности. 12:25 — Безопасность, FHA, функции воздушного судна и назначение DAL. 18:49 — Как архитектура, резервирование и разнородность влияют на DAL изделия и ПО. 25:15 — PSSA, вероятности отказов, одноканальные блоки и независимость резервирования. 33:44 — Когда становится известен DAL ПО и почему нельзя брать его из ТЗ или «сверху» без ссылки на PSSA. 41:12 — Р-330 и квалификация инструментов, особенно для структурного покрытия. 44:38 — Анализы WCET, стека, связанности по данным и связанности по управлению. 51:10 — Р-248/DO-248 как официальный источник...