Examples with "Simulink code verification products" and their translation in Duits
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
MATLAB and Simulink code verification products automate and streamline embedded software development and test.
Release 2008b includes new features in MATLAB and Simulink, two new products, and and bug fixes to 91 other products, including code verification products.
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.
Aerospace engineers can now use Simulink Code Inspector to create detailed model-to-code and code-to-model inspection reports that help satisfy source code verification and traceability objectives specified in DO-178B Table A-5.
IEC Certification Kit provides documentation, certificates, and templates that help you use Real-Time Workshop Embedded Coder #8482; or PolySpace #174; code verification products for projects based on the IEC 61508 standard.
Das IEC Certification Kit enthält Dokumentation, Zertifikate und Vorlagen zur Verwendung von Real-Time Workshop Embedded Coder oder von PolySpace -Codeverifizierungsprodukten für Projekte, die auf die Norm IEC 61508 basieren.
New capabilities added to the code verification products, include JSF C++ (JSF++) standards checking, multicore acceleration and Eclipse integration.
Den - Produkten zur Code-Verifikation sind neue Fähigkeiten hinzugefügt worden, z. B. sind jetzt Standardprüfung (JSF C++ bzw. JSF++), Mehrkernbeschleunigung und Eclipse-Integration verfügbar.
The only e-mail verification product that only works truly for large e-mailing lists.
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.