Курс КТ-178C: Л.12. Стандарт на кодирование

Курс КТ-178C для начинающих: Лекция 12. Стандарт на кодирование В лекции разбирается, как подготовить стандарт на кодирование ПО по КТ-178С: какие ограничения языка и правил реализации стоит описать, как адаптировать MISRA-C под авиационный проект и как учитывать особенности микроконтроллера, компилятора и процесса верификации. Отдельное внимание уделяется практическим запретам и ограничениям для embedded C: динамической памяти, рекурсии, указателям на функции, арифметике указателей, сложности условий, прерываниям, глобальным данным и трассировке кода к требованиям. Таймлайн 00:01 — Назначение стандарта на кодирование по КТ-178С и его место среди проектных документов. 00:55 — MISRA-C как основа для ограничения языка C и предотвращения типовых ошибок программиста. 01:33 — Примеры правил MISRA-C: инициализация переменных, break в switch, проверка возвращаемых значений, явные условия и запрет malloc/free. 03:37 — Обязательные и рекомендуемые правила: почему стандарт должен быть проверяемым, а исключения явно оформленными. 04:43 — Выбор версии языка, адаптация внешних стандартов и порядок отклонений от правил кодирования. 06:49 — Использование статических анализаторов и риск квалификации инструмента при замене ручной верификации. 09:03 — Запрет рекурсии и динамического выделения памяти в авиационном проекте. 09:53 — Указатели на функции: проблемы с безопасностью, деревом вызовов, структурным покрытием и допустимые исключения. 12:14 — Арифметика указателей, множественные выходы...