KATALOGE
WEISSBUECHER
MITTEILUNGEN
Identifizierung, Logische Zugangskontrolle
“ Zurückverfolgung von PolySpace-Ergebnissen nach Simulink®. ”
PolySpace Model Link™ SL erweitert den PolySpace Client™ for C/C++ und den PolySpace Server™ for C/C++ um Tools, mit denen sich an generiertem Code erhaltene PolySpace-Ergebnisse direkt zu Simulink®-Modellen zurückverfolgen lassen. Sie können damit unmittelbar erfassen, welche Teile eines Modells zuverlässig sind und sofort Design-Probleme beheben, die später Laufzeitfehler im Quellcode erzeugen würden. Mit PolySpace Model Link SL lässt sich mit dem Real-Time Workshop® Embedded Coder™ 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 IDENTIFIZIERUNG, LOGISCHE ZUGANGSKONTROLLE
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.