L'américain The Mathworks, éditeur des logiciels Matlab et Simulink, vient d'annoncer que Simulink Design Verifier, son outil d'amélioration des standards de modélisation pour les systèmes embarqués complexes ou de sécurité critique, est désormais en mesure d'évaluer et de vérifier automatiquement la conformité de modèles systèmes aux standards DO-178B et IEC61508, ainsi qu'aux règles de modélisation définies par le MAAB (MathWorks Automotive Advosory Board). Le "Model Advisor" assure également la vérification à des attributs supplémentaires, tels que la cohérence des modèles, la compatibilité de la génération de code. Simulink Design Verifier permet par ailleurs le développement de "vérificateurs" personnalisés de modèles via une API spéciale et les scripts habituels de Matlab.