Skip to main content

Simulink Design Verifier

Simulink Design Verifier, yoğun test ve simülasyon çalıştırılmasına gerek kalmadan formal metotlar kullanarak bulunması zor tasarım hatalarını tespit eder. Coverage analizlerine yönelik otomatik test vektörleri oluşturma özelliği bulunmaktadır. Simulink Design Verifier, mevcut gereksinimlere dayalı test senaryolarını genişletmek için model kapsamı ve özel hedefler için test senaryoları oluşturur. Bu test senaryoları, modelinizi koşulu, kararı, değiştirilmiş koşulu / kararı (MCDC) ve özel kapsam hedeflerini karşılamaya yönlendirir. Kapsam hedeflerine ek olarak, gereksinimlere dayalı test senaryolarını otomatik olarak oluşturmak için özel test hedefleri belirtebilirsiniz. Endüstri standartları desteği, IEC Sertifikasyon Kiti (IEC 61508 ve ISO 26262 için) ve DO Kalifikasyon Kiti (DO-178 için) aracılığıyla sağlanır.

Simulink Design Verifier
Kurumsal e-bültenimize abone olarak FİGES hakkındaki güncel gelişmelerden haberdar olabilirsiniz.
Sosyal Medya'da FİGES
FİGES Facebook
FİGES Twitter
FİGES Linkedin
FİGES Instagram

© FİGES A.Ş. Tüm hakları saklıdır. Tasarım ordek.co.