Разработка и верификация программного обеспечения для управления беспилотными летательными аппаратами.
Использовать модельно-ориентированное проектирование для разработки и моделирования законов управления полетом и управляющей логики, создания и верификации промышленного кода, а также проведения тестов согласно методике HIL.
100% ошибок времени выполнения в рукописном коде идентифицированы и устранены.
Затраты на разработку сократились на 60%.
Дорогие летные испытания сведены к минимуму.
«Повторное использование моделей и возможности повышения производительности, представленные в MATLAB и Simulink, позволяют сэкономить время и снизить затраты. По нашим оценкам, при использовании модельно-ориентированного проектирования достижима экономия времени более чем на 50% по сравнению с ручным кодированием, а преимущества этой методологии с ростом сложности проекта только увеличиваются», –
Jungho Moon, Korean Air
Беспилотный летательный аппарат Korean Air