Да, в крупных авто- и авиакомпаниях разработка всей бизнес-логики контроллеров идёт преимущественно на матлабе. На с или с++ пишется только HAL, к которому уже обращаются из модели. Называется model-based design. Сертифицировпнный кодогенератор матлаба - это причина использования, но не единственная. Главное - это более высокий уровень абстракции, который снижает требования к разработчикам и позволят проще реализовать и верифицировать задачу.
В России есть места, где такое тоже применяется, если что