La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Vérification automatique des modèles Simulink aux standards DO-178B et IEC61508
L’américain The Mathworks, éditeur des logiciels Matlab et Simulink, vient d’annoncer que Simulink Design Verifier, son outil d’amélioration… 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…
