La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Vérification automatique de modèles simulink
Simulink Design Verifier de The MathWorks Cet outil d’amélioration des standards de modélisation pour les systèmes embarqués complexes ou de sécurité critique, est en mesure d’évaluer et de vérifier automatiquement la conformité de modèles systèmes aux standards DO-178B et IEC61508. Prise en compte des règles de modélisation définies par le MAAB (Mathworks Automotive Advisory Board)…
