pro dSPACE® TargetLink®
Promítnutí výsledků analýzy chyb v kódu zpět do modelů sestavených s dSPACE TargetLink
Polyspace Model Link TL rozšiřuje Polyspace Client pro C/C++ a Polyspace Server pro C/C++ o nástroje, které umožňují ověření správnosti C kódu generovaného z programu TargetLink a promítnout výsledky této analýzy zpět do výchozích modelů. Ve výsledku lze takto identifikovat, které části modelu jsou bezpečné a změnit ty části návrhu, které způsobují run-time chyby v kódu. Pomocí Polyspace Model Link TL může uživatel pracovat v prostředí Simulink a ověřovat C kód generovaný pomocí nástroje TargetLink.
Ceník produktů
Kontaktovat prodejce
Technická podpora
