Sécurité : Simulink Verification and Validation vérifie le respect des conventions DO-178B, IEC 61508 et MAAB

À mesure que les conceptions de systèmes embarqués gagnent en complexité, les sociétés d’ingénierie utilisent des conventions de modélisation comme pratique d’excellence pour améliorer la lisibilité, accroître la maintenabilité et promouvoir la réutilisation, tout en évitant les erreurs de modélisation. Ceci est plus particulièrement vrai pour les systèmes critiques du point de vue de la sécurité.
Le respect de ces normes et conventions est habituellement réalisé manuellement, ce qui prend du temps et présente des risques d'erreurs.
Sensible à ce besoin, The Mathworks indique que son logiciel Simulink Verification and Validation intègre les contrôles des standards de modélisation pour les normes DO-178B, IEC-61508 et les conventions MAAB appliquées par la fonctionnalité Model Advisor dans Simulink. Model Advisor vérifie également d’autres attributs, comme la cohérence du modèle et la compatibilité de la génération de code.
Par ailleurs, les ingénieurs peuvent utiliser l’API (Application Programming Interface) disponible dans Simulink Verification and Validation pour développer leurs propres contrôles de modélisation au moyen de scripts MATLAB déjà connus et les enregistrer dans Model Advisor pour une exécution automatique.