Guidage, navigation et contrôle (GNC)

Grâce à MATLAB et Simulink, les ingénieurs peuvent tester leurs algorithmes de contrôle en utilisant des modèles de simulation avant l'implémentation, ce qui leur permet de réaliser des designs complexes sans recourir à des prototypes onéreux. Ils peuvent concevoir plusieurs configurations physiques, comme par exemple l'architecture commune d'un bus pour le design d'un satellite. Dans un même environnement, les ingénieurs :

• Construisent et partagent les modèles GNC
  
• Intègrent et simulent l'impact des modifications du design mécanique et des contrôles au niveau du système
• Réutilisent automatiquement le code de vol généré et les cas de test
• Intègrent de nouveaux designs aux designs et outils existants.

Systèmes de communications

Les ingénieurs en systèmes de communications utilisent MATLAB et Simulink comme environnement de conception commun pour développer, analyser et implémenter les systèmes de communications de l'engin spatial. Ils peuvent utiliser MATLAB et Simulink pour prototyper les éléments de la chaîne du signal, y compris les éléments RF, antenne et 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  explorer rapidement les imperfections au niveau du système et étudier différents scénarios de simulation difficiles à produire en laboratoire.  À mesure que le design évolue, ils peuvent générer automatiquement du code C pour les processeurs embarqués ou du code HDL pour les FPGA.

Ingénierie logicielle pour la conformité aux normes spatiales

Les ingénieurs en aérospatial et logiciel sont tenus de se conformer à un large éventail de normes qui régissent leurs processus de développement. Avec MATLAB et Simulink, les ingénieurs sont en mesure de se conformer aux normes utilisées dans le monde entier, telles que les spécifications NPR 7150.2 (exigences en ingénierie logicielle de la NASA) et ECSS-E-40 (European Cooperation for Space Standardization, ingénierie spatiale – logiciel).

Les ingénieurs peuvent réaliser des tests unitaires basés sur les exigences et s'appuyer sur des contrôles automatisés de conformité aux normes de modélisation pour s'assurer que les algorithmes de leur logiciel de vol sont prêts pour la production. Ils peuvent ensuite générer automatiquement le code C et C++ à partir des modèles et utiliser l'analyse 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écification MISRA.

Ils sont également en mesure de démontrer l'absence d'erreurs à l'exécution et d'automatiser l'inspection de leur code. Les ingénieurs peuvent automatiser la génération des artefacts de certification à chaque étape, y compris les documents de conception du logiciel, les métriques et les exigences.