MotorControlRu

Уважаемые Коллеги! Конференция АЭП-2026 получила поддержку IEEE, и её англоязычные труды будут включены в библиотеку IEEE Xplore Digital Library для дальнейшей индексации в Scopus. Статьи принимаются до 31 августа 2026 года по темам: 1 Theory, Analysis, and Design of Electric Drives 2 Power Electronic Converters 3 Traction Electric Drives, Powertrains, and Transportation 4 Hardware and Software Design 5 Control Systems and Automation 6 Manufacturing Process, Economics and Education Для оформления статей используйте шаблон конференции. Для граждан РФ загружать статьи следует по ссылке: https://confhub.ru/eng/event/10610/ Для граждан других стран действует ссылка: https://easychair.org/conferences/?conf=icepds2026 Внимание!!! Из-за действующего закона о защите персональных данных гражданам РФ можно загружать статьи только по первой ссылке. Лучшие статьи будут рекомендованы к публикации в журналах ВАК на русском и английском языках. Приглашаем всех к участию в конференции!

Уважаемые Коллеги! Сегодня вашему вниманию предлагается презентация на тему «Мониторинг инвертора для быстрого ввода горячего резерва» (Online Monitoring of Inverter Operation for Hot Reserve in High Reliable Drive), которая была представлена на 35-м Международном Симпозиуме по Промышленной Электронике (IEEE 35th International Symposium on Industrial Electronics), проходившем с 23 по 26 июня 2026 года в Нагое, Япония. В докладе рассмотрено аппаратное решение для быстрого детектирования выхода из строя инвертора, которое позволяет осуществить ввод горячего резерва за минимальное время. Приведены расчёты схемы, структура системы управления, результаты моделирования и экспериментальные результаты ввода резерва в лабораторных условиях.

Лекция 12. Стандарт на кодирование В лекции разбирается, как подготовить стандарт на кодирование ПО по КТ-178С: какие ограничения языка и правил реализации стоит описать, как адаптировать MISRA-C под авиационный проект и как учитывать особенности микроконтроллера, компилятора и процесса верификации. Отдельное внимание уделяется практическим запретам и ограничениям для embedded C: динамической памяти, рекурсии, указателям на функции, арифметике указателей, сложности условий, прерываниям, глобальным данным и трассировке кода к требованиям. Таймлайн - 00:00:01 - Назначение стандарта на кодирование по КТ-178С и его место среди проектных документов. - 00:00:55 - MISRA-C как основа для ограничения языка C и предотвращения типовых ошибок программиста. - 00:01:33 - Примеры правил MISRA-C: инициализация переменных, break в switch, проверка возвращаемых значений, явные условия и запрет malloc/free. - 00:03:37 - Обязательные и рекомендуемые правила: почему стандарт должен быть проверяемым, а исключения явно оформленными. - 00:04:43 - Выбор версии языка, адаптация внешних стандартов и порядок отклонений от правил кодирования. - 00:06:49 - Использование статических анализаторов и риск квалификации инструмента при замене ручной верификации. - 00:09:03 - Запрет рекурсии и динамического выделения памяти в авиационном проекте. - 00:09:53 - Указатели на функции: проблемы с безопасностью, деревом вызовов, структурным покрытием и допустимые исключения. - 00:12:14 - Арифметика указателей, множественные выходы из функции, goto и самомодифицирующийся код как красные флаги. - 00:13:57 - Правила использования компилятора, линкера, расширений языка, предупреждений и подавления warning по согласованию. - 00:16:49 - Формат исходных и заголовочных файлов, порядок include, inline-функции и сложные define. - 00:18:26 - Соглашения об именовании типов, модулей, функций, переменных, файлов и макросов. - 00:18:54 - Ограничения сложности функций: размер, вложенность, число параметров, возвращаемые значения и обработка ошибок. - 00:19:50 - Прерывания, глобальные данные, volatile, const, владельцы данных и правила доступа к общим структурам. - 00:21:41 - Численные операции: плавающая точка, деление, округление, масштабирование, переполнение и преобразование типов. - 00:24:27 - Логические выражения, switch, вложенные if и циклы с ограниченным числом итераций. - 00:25:50 - Межкомпонентная связность, глобальные переменные, RTOS, критические секции, DMA и атомарность доступа. - 00:27:56 - Робастность, проверка входных данных, условная компиляция и трассировка исходного кода к требованиям. - 00:29:07 - Сторонние библиотеки, переиспользованный код и автосгенерированный код. - 00:29:44 - Комментарии к коду и итог: адаптированный MISRA-C плюс проектные правила для embedded-разработки.

Лекция 11. Стандарт на проект ПО В лекции рассматривается стандарт проекта ПО в контексте КТ-178С: что должно попадать в архитектуру ПО, а что относится к требованиям низкого уровня. Разбираются методы описания архитектуры, декомпозиция на компоненты, потоки данных и управления, интерфейсы, ограничения проектных решений и вопросы совместимости с целевым вычислителем. Таймлайн - 00:00:01 - Что такое стандарт проекта ПО: архитектура ПО и требования низкого уровня. - 00:01:26 - Почему архитектуру ПО приходится описывать подробнее, чем прямо указано в КТ-178С. - 00:02:16 - Назначение стандарта: методы описания проекта, декомпозиция, интерфейсы, потоки данных и управления. - 00:03:48 - Допустимые методы описания архитектуры и выбор нотаций проекта. - 00:04:43 - Иерархическая декомпозиция ПО на компоненты и описание их ответственности. - 00:06:00 - Диаграммы потоков данных и потоков управления для целей верификации. - 00:09:12 - Диаграммы состояний, задачи, прерывания и планировщики. - 00:09:49 - Интерфейсы между компонентами, аппаратурой и уровнем абстракции железа. - 00:11:00 - Обособление компонентов и описание режимов работы ПО. - 00:12:17 - Ограничения ресурсов, временные ограничения и анализ наихудшего времени выполнения. - 00:13:15 - Обработка ошибок и единый механизм реакции на отказные ситуации. - 00:13:48 - Правила декомпозиции, модульности, ответственности компонентов и связности. - 00:17:38 - Запрет неявных зависимостей через глобальные переменные, регистры и скрытые флаги. - 00:19:37 - Правила описания интерфейсов: компоненты, ОСРВ, загрузчик, DAL, память, регистры и внешние протоколы. - 00:22:42 - Модель исполнения: циклическое исполнение, события, прерывания, приоритеты и планировщик. - 00:23:46 - Синхронизация данных между прерываниями и защита целостности данных. - 00:25:31 - Watchdog: требования, архитектурное описание и контроль зависания циклических исполнений. - 00:26:36 - Повторная входимость прерываний и многократный вызов одного компонента из разных потоков. - 00:28:43 - Инициализация, перезапуск, аппаратный сброс и поведение после нештатного сброса. - 00:30:19 - Ограничения проектных решений: рекурсия, динамическая память, глобальные данные, исключения, динамические задачи, GOTO, сложность, обособление, робастность, целевой вычислитель и инструменты проектирования.

Лекция 10. Стандарт ТВУ В лекции разбирается, каким должен быть стандарт разработки требований высокого уровня для ПО по КТ-178С: структура документа, правила формулирования требований, трассировка, обоснования и проверяемость. Отдельное внимание уделяется тому, как декомпозировать системные требования, описывать наблюдаемое поведение ПО, робастность, режимы работы, параметрические данные и работу с инструментом управления требованиями. Таймлайн - 00:00:00 - Назначение стандарта ТВУ и общая структура документа. - 00:00:35 - Базовые свойства требований высокого уровня: однозначность, полнота, источник и верифицируемость. - 00:01:09 - Нотация требований: естественный язык, формулировки «ПО должно», избегание отрицательных требований. - 00:02:27 - Числовые значения, единицы измерения, диапазоны, таблицы и диаграммы как вспомогательные материалы. - 00:03:56 - Почему модели и большие схемы не заменяют атомарные текстовые требования. - 00:06:12 - Как использовать таблицы, временные диаграммы и схемы переходов без потери трассируемости. - 00:06:59 - Обоснования требований, в том числе для трассируемых и производных требований. - 00:08:50 - Требования как описание внешне наблюдаемого поведения ПО, производительности, робастности и безопасности. - 00:10:52 - Граница между требованиями высокого уровня и реализацией; диагностический интерфейс для сложных алгоритмов. - 00:13:59 - Получение ТВУ из исходных системных требований и определение границ ответственности ПО. - 00:15:56 - Декомпозиция системных требований и связь формулировки требования с будущей проверкой. - 00:18:17 - Карточки требований, инструменты управления требованиями и матрицы трассируемости. - 00:19:58 - Чек-лист классов требований: функции, интерфейсы, времена реакции и ограничения. - 00:20:59 - Режимы работы, состояния и переходы как основа для формулирования требований. - 00:22:53 - Робастность, обнаружение отказов и диагностика на примере датчика. - 00:24:39 - Параметрические данные, коэффициенты, идентификаторы и влияние изменений на верификацию. - 00:27:09 - Качество формулировок, запрет расплывчатых слов, статусы и согласование требований. - 00:30:25 - Производные требования и передача их в системные процессы. - 00:33:22 - Описание правил работы в инструменте управления требованиями и заполнения карточек. - 00:38:10 - Итоговый чек-лист, пример оформления и связь стандарта ТВУ со стандартом требований низкого уровня.

Лекция 9. План гарантии качества В лекции разбирается, как составить план гарантии качества ПО для проекта по КТ-178С: какие разделы в него включать, как описывать полномочия группы качества, процедуры аудитов и контроль записей жизненного цикла. Отдельное внимание уделено практическим механизмам работы гарантии качества: проверкам в GitLab/Redmine, чек-листам, блокировке процессов, контролю формального тестирования, согласованным отклонениям и итоговым документам выпуска ПО. Лекция показывает, как превратить требования стандарта в конкретные процедуры, протоколы и свидетельства, пригодные для сертификационного аудита. Таймлайн - [00:00:00] Введение в тему плана гарантии качества ПО - [00:01:14] Назначение документа, титульные разделы и связь с КТ-178С - [00:02:07] Область действия гарантии качества и границы ответственности - [00:02:46] Взаимосвязь с процессами жизненного цикла и доступ к данным проекта - [00:04:19] Процедуры, инструментальные средства и методы гарантии качества - [00:06:45] Полномочия, независимость группы качества и возможность блокировать процессы - [00:09:20] Подход к описанию процедур гарантии качества - [00:11:17] Проверка документов планирования и чек-листы соответствия КТ-178С - [00:13:56] Рассмотрение сообщений о проблемах, требований на изменения и запросов на слияние - [00:22:07] Отчеты и протоколы гарантии качества как отдельная сущность для трекинга замечаний - [00:25:20] Аудит процессов в форме интервью и проверка фактического следования процедурам - [00:31:50] Контроль установки и применения инструментов, подлежащих квалификации - [00:41:17] Гарантия качества формального тестирования ПО и готовность тестовой среды - [00:49:03] Оформление, утверждение и контроль согласованных отклонений от планов и стандартов - [01:01:52] Контроль выполнения корректирующих действий и повторные проверки замечаний - [01:06:51] Контроль установления индивидуальных базовых версий конфигурационных единиц - [01:09:49] Процедура рассмотрения соответствия ПО перед выпуском продукта - [01:12:00] Требования к протоколу рассмотрения соответствия - [01:15:48] Итоговое заключение о ПО и краткая сводка выпуска - [01:20:41] Планы-графики работ, контроль поставщика и завершение плана

Лекция 8. План УК В лекции разбирается, как составлять план управления конфигурацией ПО по КТ-178С: какие роли, процессы, инструменты и данные жизненного цикла нужно описать. Отдельное внимание уделено Git/GitLab, идентификации конфигурационных единиц, базовым версиям, сообщениям о проблемах, управлению изменениями, выпуску и хранению данных. Таймлайн - 00:00:08 - План управления конфигурацией ПО и стандартная структура документа. - 00:00:27 - Среда УК ПО и функции группы управления конфигурацией. - 00:12:06 - Инструменты среды управления конфигурацией: GitLab, Git, SVN и их роль в закрытии целей КТ-178С. - 00:12:36 - Проблема идентификации отдельных файлов в Git и необходимость человекочитаемых версий документов. - 00:23:07 - Лист изменений, журнал версий и способы показывать аудиторам состав правок. - 00:29:51 - Правила работы с ветками, защищенный master/trunk, черновые ветки и рассмотрение изменений. - 00:35:52 - Совет управления конфигурацией: когда нужен CCB и как фиксировать его решения. - 00:45:19 - Мероприятия управления конфигурацией и привязка разделов плана к целям КТ-178С. - 00:47:46 - Идентификация конфигурации: конфигурационные единицы, обозначения, децимальные номера и версии. - 00:49:28 - Идентификация ПО целиком для выпуска, загрузки и проверки установленной версии. - 00:52:19 - Базовые версии: смысл baseline и как соотнести их с Git, версиями документов и тегами. - 01:03:20 - Базовые версии и трассируемость изменений между версиями через коммиты, MR, сообщения о проблемах и требования на изменения. - 01:03:47 - Процедура выпуска базовой версии продукта и участие гарантии качества. - 01:06:22 - Регистрация и отслеживание проблем: Problem Report, среда ведения и состав карточки. - 01:07:23 - Анализ влияния проблемы, область распространения, трассируемость и классификация по влиянию на безопасность. - 01:14:11 - Состояния сообщения о проблеме, сроки обработки и маршрутизация. - 01:15:55 - Управление изменениями: требования на изменения, связь с сообщениями о проблемах и запросы на слияние как ворота процесса. - 01:22:05 - Хранение, воспроизведение, резервные копии, целостность данных и контроль загрузки ПО. - 01:27:37 - Идентификация инструментов среды жизненного цикла и состав данных, которые нужно поставить под управление конфигурацией.

Лекция 7. План верификации В лекции разбирается структура плана верификации ПО по КТ-178С: назначение документа, организация работ, методы верификации и связь плана с процедурами, тестированием и управлением конфигурацией. Отдельное внимание уделено практической стороне: как планировать автоматические тесты, среду верификации, формальные инспекции, повторную верификацию и критерии запуска мероприятий. Таймлайн - 00:00:00 - Введение в план верификации ПО и его начальные разделы. - 00:00:17 - Назначение плана: структура работ, методы и этапы верификации. - 00:00:31 - Область применения, термины и глоссарий. - 00:00:41 - Организация верификации, состав группы и роли участников. - 00:02:30 - Методы верификации по КТ-178С: рассмотрение, анализ и тестирование. - 00:02:44 - Рассмотрение, review, формальная инспекция, роли и чек-листы. - 00:04:49 - Анализы как воспроизводимые процедуры: трассируемость, покрытие, характеристики кода и результаты верификации. - 00:05:40 - Тестирование по требованиям, классы эквивалентности и тесты робастности. - 00:09:24 - Интеграционные тесты, автоматизация, формальное и неформальное тестирование. - 00:12:42 - Среда верификации: стенды, целевой вычислитель, хостовые проверки и тестовый фреймворк. - 00:20:33 - Информационная среда, испытательные стенды и идентификация в указателе среды жизненного цикла ПО. - 00:21:41 - Тестовый раннер, оценка результатов тестов и риски квалификации инструмента. - 00:27:03 - Матрица целей КТ-178С и соответствие целей процедурам верификации. - 00:27:41 - Процедуры верификации: рассмотрения, тестирование, анализ связанности по данным и управлению, временные характеристики и трассируемость. - 00:33:13 - Формальная инспекция: чек-листы, входные и выходные данные, статусы и хранение результатов. - 00:36:20 - Описание процедур вне плана: трассируемость, анализ стека, технические методики и повторная верификация. - 00:37:44 - Повторная верификация, анализ влияния изменений и объем повторных испытаний. - 00:39:45 - Критерии входа и выхода, запуск предварительного и формального тестирования, анализ покрытия и трассируемости. - 00:43:44 - Дополнительные аспекты: обособление, компилятор, оптимизация, уровень A и ранее разработанное ПО. - 00:46:03 - Поставляемые документы, регистрация дефектов и завершение обзора плана верификации.

Лекция 6. План разработки ПО В лекции разбирается, что включать в план разработки ПО для сертификационного проекта по КТ-178: назначение документа, область применения, стандарты, среду разработки и модель жизненного цикла. Особое внимание уделяется управляемости инструментов, повторяемой сборке, Makefile/build server, вспомогательным средствам, Git/GitLab и тому, когда инструменты могут потребовать квалификации. Таймлайн - 00:00:01 - 00:00:44 - Назначение плана разработки ПО и его место среди документов планирования - 00:00:46 - 00:01:06 - Область применения, глоссарий, нормативные документы и связь с другими планами - 00:01:06 - 00:01:35 - Идентификация разрабатываемого ПО, децимальный номер, монолит и компоненты - 00:01:35 - 00:01:53 - Параметрические данные и взаимодействие с заказчиком - 00:02:10 - 00:02:33 - Стандарты проекта и что входит в разработку ПО - 00:02:33 - 00:03:47 - Инструментальный компьютер, целевой вычислитель, ОС и языки программирования - 00:03:47 - 00:04:23 - Инструменты для подготовки требований, архитектуры и документации - 00:04:24 - 00:08:50 - Средства разработки программ, настройки IDE, компиляторы и риски неповторяемой сборки - 00:08:50 - 00:13:30 - Фиксация настроек среды разработки, проблемы файлов настроек и сертификационные риски - 00:13:31 - 00:17:23 - Правильный сертификационный подход: Makefile, build server и воспроизводимая сборка - 00:17:23 - 00:20:01 - Вспомогательные средства разработки, статические анализаторы, скрипты и квалификация инструментов - 00:20:03 - 00:20:42 - Git, GitLab и использование системы управления версиями в плане разработки - 00:20:42 - 00:21:06 - Инструментальные средства верификации ПО и ссылки на план верификации - 00:21:06 - 00:21:49 - Обзор модели жизненного цикла ПО и самодостаточность плана разработки - 00:21:50 - 00:23:08 - Описание процессов жизненного цикла и ссылки на планы верификации, конфигурации и качества - 00:23:10 - 00:23:22 - План-график работ по проекту - 00:23:22 - 00:25:05 - Повторно используемое ПО и условия использования сертификационного зачета - 00:25:36 - 00:26:36 - Список источников, три стандарта разработки и итоговая структура плана

Лекция 5. План сертификации В лекции подробно разбирается, как составлять план сертификации ПО для авиационного проекта по КТ-178С: от титульного листа и листа согласований до описания процессов жизненного цикла. Рассматривается практическая структура документа, которую ожидают видеть аудиторы, а также типовые вопросы по DAL, обособлению, управлению конфигурацией, верификации и взаимодействию с сертифицирующим органом. Таймлайн - 00:00:00 - Введение: зачем нужен план сертификации ПО и как его читать в контексте КТ-178С. - 00:04:48 - Титульный лист, название документа, проектная принадлежность и идентификатор версии. - 00:07:31 - Лист подписей и согласований, управляемое хранилище и подпись под конкретной версией документа. - 00:13:03 - Назначение документа и область планирования процессов разработки ПО. - 00:14:24 - Область применения ПО и связь с изделием, блоком и воздушным судном. - 00:15:24 - Термины, определения, сокращения и подход к глоссарию. - 00:16:48 - Обзорное описание системы, функции изделия и связь с оценкой безопасности. - 00:21:48 - Описание аппаратуры, простая и сложная аппаратура, роль микроконтроллера и ПЛИС. - 00:24:09 - Интерфейс аппаратуры и ПО, распределение функций между аппаратными и программными средствами. - 00:26:30 - Меры обеспечения безопасности: резервирование, самодиагностика, watchdog, ECC и системные меры защиты. - 00:30:03 - Обзор ПО: что делает программа, модули, уровни и общая архитектура. - 00:31:07 - Архитектура ПО, обособление компонентов и пример с загрузчиком. - 00:36:43 - Вопросы сертификации, применимые стандарты, приложения КТ-178С и уровень гарантии разработки. - 00:40:16 - Организационная структура, роли групп, независимость разработки, верификации и гарантии качества. - 00:48:13 - Модель жизненного цикла ПО: каскадная, итерационная и модифицированная каскадная модели. - 00:59:53 - Процесс планирования ПО: входы, критерии запуска, процедуры, выходные данные и завершение. - 01:13:59 - Процесс определения требований высокого уровня к ПО. - 01:35:16 - Процессы проектирования, кодирования и интеграции ПО. - 01:46:57 - Процесс верификации ПО: рассмотрения, анализы, тесты, покрытие и трассировка. - 02:16:22 - Гарантия качества, управление конфигурацией, данные жизненного цикла, план-график и дополнительные вопросы сертификации.

Уважаемые Коллеги! Курс лекций Максима Михайловича Лашкевича про КТ-178C содержит ещё 8 лекций, и я посчитал, что неправильно дёргать Вас каждый день, выкладывая следующие лекции. Поэтому сегодня у нас все 8 оставшихся лекций и ссылка на RUTUBE для их просмотра без регистрации и СМС VPN: https://rutube.ru/plst/1710495/ Ну а нашем канале ещё 8 лекций сразу в один день.

Лекция 4. ИИ агенты и КТ-178C Лекция о том, как современные ИИ-агенты меняют разработку ПО и почему их проблемы неожиданно похожи на задачи, давно решаемые в авиационных процессах КТ-178C. Разбираются вайб-кодинг, спецификации, трассируемость, тестирование по требованиям и практические способы использовать агентов для отладки рабочих инструкций и самих требований. В финале обсуждается, почему даже большие контекстные окна моделей не отменяют необходимости явных требований для управляемой разработки. Таймлайн - 00:00:01 - 00:01:40 — Введение: связь ИИ-разработки и авиационных стандартов. - 00:01:40 - 00:04:41 — Как работает агентная разработка: промпт, план и аналогия с требованием на изменение. - 00:04:41 - 00:06:27 — Выполнение плана агентом и снижение контроля программиста над кодом. - 00:06:27 - 00:09:20 — Вайб-кодинг: разработка без понимания архитектуры проекта. - 00:09:20 - 00:13:17 — Ограниченный контекст агента, рост кодовой базы и архитектурное расползание. - 00:13:17 - 00:15:16 — Почему тесты, написанные агентом по своему коду, не гарантируют правильность поведения. - 00:15:16 - 00:17:52 — Управляемая агентная разработка, потеря понимания архитектуры и идея spec-driven development. - 00:17:52 - 00:20:59 — CodeSpeak, SpecKit и переизобретение структурированных спецификаций. - 00:20:59 - 00:23:30 — Зачем нужны уровни требований: от пользовательских хотелок к реализации. - 00:23:30 - 00:25:44 — Трассируемость и тесты по требованиям вместо тестов по уже написанному коду. - 00:25:44 - 00:29:39 — Почему процессы КТ-178C хорошо ложатся на работу агентов с ограниченными входными данными. - 00:29:39 - 00:32:58 — Сближение двух миров: агентная разработка и авиационные процессы. - 00:32:58 - 00:36:21 — Практика команды: проверка рабочих инструкций с помощью агентов. - 00:36:21 - 00:39:47 — Как агент выявляет пробелы в стандартах тестирования, моках, заглушках и структуре проекта. - 00:39:47 - 00:42:51 — Использование агентов для поиска проблем в требованиях и инструкциях. - 00:42:51 - 00:45:35 — Итерационная отладка требований через попытки реализации кода и тестов. - 00:45:35 - 00:49:35 — Многоагентный цикл: один пишет код, второй тесты, третий проверяет, четвертый уточняет требования. - 00:49:35 - 00:52:45 — Будущее: авиационные процессы для агентов или новые агентные стандарты разработки. - 00:52:45 - 01:00:05 — Дополнение: большие контекстные окна моделей и почему спецификация все равно обязательна.

Лекция 3. С чего начать В лекции разбирается, какие вопросы нужно прояснить до начала разработки авиационного комплектующего изделия: кто является разработчиком по ФАП-21, какой класс и категория у изделия, кто принимает результат и перед кем защищаются планы. Отдельно обсуждаются сертификат разработчика авиационной техники, лицензия Минпромторга, работа с интегратором самолета и реалистичная оценка стоимости сертифицированной разработки. Таймлайн - 00:00:00 - С чего начать после вводных лекций: почему одного технического задания недостаточно. - 00:00:39 - ФАП-21: кто имеет право заниматься авиационной разработкой в России. - 00:02:00 - Классы устройств по ФАП-21 и связь с уровнем гарантии разработки. - 00:02:41 - Класс 1, класс 2, класс 3А и 3Б: что к ним относится. - 00:03:31 - Для каких изделий требуется сертификат разработчика авиационной техники. - 00:04:00 - Что означает получение сертификата: документы, качество, производство и контроль поставщиков. - 00:05:47 - Главные вопросы к заказчику: кто сертифицирующий орган и кто разработчик по ФАП-21. - 00:06:22 - Когда сертификат разработчика не требуется: изделия класса 3Б. - 00:08:29 - Почему высокий DAL обычно ведет к 3А или классу 1 и удорожает проект. - 00:09:54 - Возможные схемы с головной организацией и субподрядчиками. - 00:11:43 - Что спрашивать сразу после получения ТЗ: класс изделия, разработчик, сертификат и ответственность сторон. - 00:12:50 - Сертификат разработчика как преобразование организации, а не просто формальная бумага. - 00:13:28 - Лицензия Минпромторга: чем она отличается от сертификата разработчика и когда нужна. - 00:15:06 - Красные флаги в ТЗ и вопросы о том, кто принимает и проверяет результат. - 00:18:28 - Согласование планов, распределение ролей и фиксация обязанностей в договоре. - 00:19:48 - Почему начинающему разработчику стоит идти к интегратору самолета за процессами и шаблонами. - 00:24:22 - Реальная стоимость сертифицированной разработки по КТ-178, КТ-254, КТ-160 и связанным процессам. - 00:27:46 - Бюджет проекта: сертификаты, лицензии, испытания и ответственность нужно обсуждать заранее.

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

Лекция 1. Вводная лекция Вводная лекция о разработке авиационного программного обеспечения по стандарту КТ-178С: зачем он нужен, почему авиационный код настолько дорогой и чем такая разработка отличается от обычной. На примерах разбираются требования, трассируемость, верификация, управление конфигурацией, гарантия качества, квалификация инструментов и причины высокой стоимости сертифицированного ПО. Таймлайн - 00:00:00 - Стоимость строки авиационного кода и мотивация курса - 00:02:16 - Что такое КТ-178С, DO-178C и где применяется этот стандарт - 00:06:09 - Почему авиационное ПО критично по безопасности - 00:08:49 - Стандарт как набор процессов и данных жизненного цикла - 00:16:30 - Цели стандарта и уровни критичности ПО - 00:24:35 - Встраиваемое бортовое ПО и запрет кода неизвестного происхождения - 00:28:05 - Требования как центральный объект разработки - 00:39:19 - Идентификаторы требований и двунаправленная трассируемость - 00:45:59 - Цепочка разработки: требования, проект ПО, код, тесты, покрытие - 00: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 - Прототипы, язык C и квалификация инструментов - 02:47:16 - Почему разработка по КТ-178С дороже обычной и итоговая цена строки кода

Специально для подписчиков нашего Телеграм-канала Максим Михайлович Лашкевич записал серию лекций, объясняющих принципы разработки ПО по КТ-178C. Это не совсем про электропривод, поэтому голосуем:

Когда у нас будет аэротакси? Не раньше, чем аэротакси будет соответствовать нормам лётной годности… А что нужно, чтобы им соответствовать? Надо провести разработку по всем правилам, принятым в авиации. В том числе всё программное обеспечение приводов винтомоторных групп должно быть разработано по квалификационным требованиям КТ-178C. А это сложно? Это сложно и дорого. Цена доходит до 1000 долларов США за одну строчку кода, учитывая все данные, которые нужно создать вокруг этой одной строчки кода.

XIV Международная конференция АЭП-2026 С 8 по 11 ноября 2026 г. в Перми на базе Пермского национального исследовательского политехнического университета (ПНИПУ) состоится XIV Международная конференция по автоматизированному электроприводу АЭП-2026 (ICEPDS). В настоящее время подана заявка в IEEE для индексации трудов, она на рассмотрении. https://icepds.pstu.ru https://icepds.ru/?lang=ru

2026 IEEE 4th International Conference on Digital Transformation: Algorithms, Computing and Future Technologies (Al-Khwarizmi) Один из треков конференции «Power Electronics, Energy Conversion & E-Mobility» приглашает нас принять участие с докладом. Англоязычные труды конференции будут опубликованы в цифровой библиотеке IEEE Xplore и проиндексированы в наукометрической базе Scopus. https://al-khwarizmi.ieees.org