Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
MathWorks code verification tools
Examples with "MathWorks code verification tools" and their translation in Duits
They use MathWorks code verification tools to verify the absence of errors in hand-written code generated from MATLAB and Simulink.
Sie verwenden MathWorks-Code-Verifizierungswerkzeuge, um das Nichtvorhandensein von Fehlern in mit von Hand erstelltem Code, der von MATLAB und Simulink generiert wurde, zu verifizieren.
Andere resultaten
Communications Blockset software seamlessly integrates with other MathWorks tools for filter design and C and HDL code generation, and interfaces to third party verification tools and DSP development and rapid prototyping environments.
Die Communications Blockset-Software ist eng auf andere MathWorks-Werkzeuge für die Filterkonstruktion und C- und HDL-Codeerstellung abgestimmt und verfügt über eine Schnittstelle zu Prüfwerkzeugen und DSP-Entwicklungs- bzw. Rapid-Prototyping-Umgebungen von Drittanbietern.
Specific versions of both the Simulink verification, validation, and test tools and the PolySpace code verification tools have qualification kits for the DO-178 standard.
DO-178-Qualification Kits sind sowohl für die einzelnen Versionen der Simulink-Verifizierungs-, Validierungs- und Testtools sowie auch für die PolySpace-Codeverifizierungstools verfügbar.
The code verification tools are also used for DO qualification, MISRA-C qualification, and IEC 61508 and ISO 26262 certification.
Die Code-Verifizierungswerkzeuge werden auch für DO-Qualifizierungen, MISRA-C-Qualifizierungen sowie IEC 61508- und ISO 26262-Zertifizierungen verwendet.
With the kit, you can streamline certification of your embedded systems developed using Simulink or PolySpace products. Specific versions of both the Simulink verification, validation, and test tools and the PolySpace code verification tools have qualification kits for the DO-178 standard.
Mithilfe des Kits kann die Zertifizierung der eingebetteten Systeme rationalisiert werden, die mittels Simulink- oder PolySpace-Produkten entwickelt wurden... Für die einzelnen Versionen der Simulink-Verifizierungs-, Validierungs- und Testtools sowie auch für die PolySpace-Codeverifizierungstools stehen entsprechende DO-178 Qualification Kits zur Verfügung.
LDRA and MathWorks integrated LDRA tool suite with Simulink to provide independent verification of model-generated code.
LDRA und MathWorks haben die LDRA Werkzeugreihe mit Simulink integriert und liefern damit eine unabhängige Verifizierung von modellerzeugtem Code.
The freeware verification tool and its manuals are available for download here.
Dieses kostenfreie Prüfprogramm und dessen Anleitung können Sie hier herunterladen.
The contest is a major incentive for the further development of verification tools.
Der Wettbewerb stellt einen wichtigen Anreiz zur Weiterentwicklung von Analysewerkzeugen dar.
This information shall be displayed in a prominent place in the verification tool.
Diese Angabe wird im Überprüfungsinstrument an einer gut sichtbaren Stelle angezeigt.
The audit included source code verification and checking of the corporate infrastructure.
Das Audit beinhaltete eine Überprüfung des Source Codes sowie der Infrastruktur des Unternehmens.
The code verification systems implement the quality control of barcodes and matrix codes.
Die Prüfgeräte realisieren die Qualitätskontrolle von Strichcodes und Matrix Codes.
The verification tool should enable confirming the identity of the applicant.
Das Überprüfungsinstrument sollte es ermöglichen, die Identität des Antragstellers zu bestätigen.
Designers are faced with massive amounts of data from their verification tools.
Designer werden von ihren Verifikationswerkzeugen mit einer riesigen Anzahl von Daten konfrontiert.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 665. Exact: 1. Verstreken tijd: 76 ms.
