Diğer bir standart ise DO-254’tür. DO-254 standardı, havacılık sistemlerinde kullanılmak üzere onaylanacak donanım için bir dizi hedef tanımlar. Uçuş yazılımı sertifikasyonu için eşdeğer standart olan DO-178’den sonra modellenmiştir. DO-178’de olduğu gibi, DO-254 hedeflerini karşılamak, çeşitli süreçler nedeniyle pahalı ve zaman alıcı olabilir. Bu süreçler:
- Gereksinim yönetimi ve izleme
- Tasarım standartlarına uygunluk
- Doğrulama ve onaylama
Mühendisler, Model Tabanlı Tasarım kullanarak, DO-254 hedeflerini yerine getirirken, gereksinimlerin erken doğrulanması, gereksinimlere otomatik bağlanma, model ve kod standartları kontrolü, kod oluşturma, rapor yapısı oluşturma ve test ile ilişkili maliyet ve pazara sunma süresi avantajlarını gerçekleştirebilir.
MATLAB, Simulink ve HDL Coder , DO-254 için Model Tabanlı Tasarım içeren temel geliştirme faaliyetlerini destekler.