На примере двигательной FADEC рассмотрены требования к её программному обеспечению, а также к процессу его разработки. Внимание уделено практическим аспектам, в частности архитектуре и реализации программного кода. Отмечено значение математической модели при решении задач управления и диагностирования. Показана неразрывность обеспечения требований к ПО и к процессу разработки. Затронуты вопросы проектирования, кодирования и тестирования, а также применяемый инструментарий, начиная с системы контроля версий и заканчивая автоматизированным генерированием электронной документации.