指南，导航等contrôle (GNC)

Grâce à MATLAB et Simulink, les ingénieurs peuvent tester leurs算法contrôleEn utilant des modèles de模拟前卫'implémentation, ce qui leur permet de réaliser des设计复合体无追索à des原型onéreux。Ils peuvent concevoir plusieurs配置物理，comme par instance l'architecture公社d'un bus pour le design d'un satellite。Dans un même environment, les ingénieurs:

• 组成部分modèles GNC
  
• Intègrent等模拟l'影响des修改du设计mécanique等contrôles au niveau du système
• Réutilisent automatiquement le code de vol généré et les cas de test
• Intègrent新设计，新设计，新存在。

Systèmes de通信

Les ingénieurs en systèmes de通信实用MATLAB et Simulink comme环境de概念commun pour développer，分析器et implémenter Les systèmes de通信空间的动力。Ils peuvent利用MATLAB et Simulink倒样机les éléments de la chaîne du信号，y组成les éléments RF，天线等numériques。Le travail des différentes équipes peut être ensuite fusionné dans un modèle exécutable au niveau du système。

Les ingénieurs peuvent探索者快速Les缺陷au niveau du système et étudier différents scénarios de模拟困难à produire en laboratoire。À测量设计évolue, ils peuvent générer自动测量duC代码Pour les procseurs embarqués ou duHDL代码倒les FPGA。

Ingénierie logicielle pour la conformité aux normes spatiales

Les ingénieurs en aérospatial与之对应的逻辑规则à un large éventail与之对应的准则régissent leurs procsus de développement。Avec MATLAB et Simulink, les ingénieurs sont enmesure de conformer aux normes utilisées dans le monde entier, telles que les spécifications美国国家公共电台7150.2(exigences en ingénierie logicielle de la NASA)等ECSS-E-40(欧洲空间标准化合作组织，ingénierie spatiale - logiciel)。

Les ingénieurs peuvent réaliser des unitaires basés sur Les exigences et s'appuyer sur des contrôles automatisés de conformité aux normes de modélisation pour s' assureque Les algorithmes de leur logiciel de vol sont prêts pour la production。Ils peuvent ensuite générer automatiquement le代码C等c++à partir des modèles et utiliserL ' analyze statique de code， des méthodes formelles et des fonctionnalités de revue du code pour vérifier la conformité à des normes telles que la spécificationMISRA．

Ils sont également en measurement de démontrer l' missing d' errors à l'exécution et d'automatiser l'inspection de leur code。Les ingénieurs peuvent automatiser la génération des artifact de certification à chque étape, y包括Les documents de concept du logiciel, Les métriques et Les exigences。