Vérification automatique de modèles simulink

Le 19/06/2008 à 0:00 par La rédaction

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)

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap