La norme DO-178C établit un ensemble d'objectifs pour la certification du software utilisé dans les systèmes aéroportés. En adoptant une approche de vérification pour supporter les objectifs de la norme DO-178C, vous pouvez réduire efficacement les risques et l'effort nécessaire :
- Itérer et affiner les exigences du système en créant une spécification exécutable
- Définir l'architecture et confirmer vos choix de design en termes de robustesse et de maintenabilité en mettant à profit la modélisation et la simulation
- Démontrer la couverture du code et de l'exécutable par des tests comparatifs et une traçabilité de bout en bout, des exigences jusqu'aux tests
- Automatiser les activités de revue du modèle et du code
- Réduire les activités de test au moyen de méthodes formelles
Normes DO-178 avec MATLAB et Simulink
Gérer les exigences et la traçabilité
Gérez les exigences de votre système avec une traçabilité de bout en bout :
- Définissez les exigences avec du texte enrichi, des images et tous leurs attributs
- Examinez vos objectifs et démontrez qu'ils sont atteints
- Générez la documentation requise pour les audits de certification
Témoignages clients
Explorer nos produits
Implémenter et vérifier vos designs
Concevez une architecture et faites des choix d'implémentation appropriés pour garantir la robustesse et la maintenabilité de votre design :
- Décomposez l'implémentation et modularisez-la
- Gérez le couplage des données et le couplage des contrôles
- Vérifiez la précision et la conformité de votre design avec les normes industrielles (vérifications de DO-178C / DO-331, et DO-254)
- Générez la documentation du design pour les audits de certification
- Générez le code et assurez la conformité entre le code et les modèles
Témoignages clients
En savoir plus
Explorer nos produits
Démontrer la qualité de votre code
Automatisez la validation du code avec des méthodes formelles et la conformité à MISRA (Motor Industry Software Reliability Association) :
- Vérifiez la qualité et la maintenabilité du code en inspectant le code au regard des règles MISRA ou CERT-C.
- Réduisez les activités de test de bas niveau au moyen de méthodes formelles (DO-333)
Témoignages clients
Traçabilité des tests et des exigences dans les résultats de couverture.
Tester votre implémentation basée sur les exigences
Démontrez la conformité aux exigences en ce qui concerne les attentes fonctionnelles et techniques :
- Réutilisez les procédures de test employées pour affiner les exigences en vue des tests formels
- Utilisez les tests basés sur les exigences pour le développement de modèles
Témoignages clients
Explorer nos produits
« Nous avons autant confiance en la qualité du code généré qu'en celui créé via nos processus manuels traditionnels. Grâce à l'utilisation d'Embedded Coder, nous avons l'assurance de produire un code correct, et Simulink Code Inspector nous permet de garantir sa traçabilité jusqu'au modèle. »
Jillian Alfred, designer de la loi de commande de vol électrique du Bell 525
En savoir plus
Contacter un commercial
CommencezEn savoir plus sur le domaine de l'aérospatiale et de la défense
Vous pouvez également sélectionner un site web dans la liste suivante :
Amériques
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)