KATALOGE
WEISSBUECHER
MITTEILUNGEN
“ Zurückverfolgung von PolySpace-Ergebnissen zu TargetLink®-Modellen . ”
PolySpace Model Link™ TL erweitert den PolySpace Client™ for C/C++ und den PolySpace Server™ for C/C++ um Tools zur Verifikation von C-Code, der mit TargetLink® erzeugt wurde, sowie zur direkten Rückverfolgung an generiertem C-Code erhaltener PolySpace-Ergebnisse zum Modell. Sie können damit unmittelbar erfassen, welche Teile eines Modells zuverlässig sind und sofort Design-Probleme beheben, die Laufzeitfehler im späteren Quellcode erzeugen würden. Mit PolySpace Model Link TL lässt sich mit TargetLink generierter C-Code direkt in der Simulink-Umgebung verifizieren. Es können aber auch Mischungen aus generiertem und handgeschriebenem Code vor der Kompilierung verifiziert werden.
DIE NUTZER HABEN AUCH DIE KATEGORIE SONSTIGE SOFTWARE
Das sollten Sie auch sehen
KÄufer
Finden Sie Ihre Zulieferer Stellen Sie Ihre Anfrage und lassen Sie dann unsere Teams für Sie die besten verfügbaren Angebote finden.Lieferanten
Finden Sie ihre zukünftigen Kunden Listen Sie Ihre Produkte und Dienstleistungen, um Ihre Internetpräsenz zu verbessern und erhalten Sie qualifizierte Anfragen.