Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
EmbeddedValidator

Vertaling van "EmbeddedValidator" 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.
EmbeddedValidator
BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements.
BTC EmbeddedValidator ist ein Werkzeug zur formalen Verifikation von sicherheitskritischen Anforderungen.
For safety-critical applications, BTC EmbeddedSpecifier and BTC EmbeddedValidator provide an efficient and intuitive way to formally specify and validate safety-critical requirements.
Für sicherheitskritische Anwendungen bieten der BTC EmbeddedSpecifier und der BTC EmbeddedValidator eine effiziente und intuitive Möglichkeit zur formalen Spezifikation und formalen Verifikation der sicherheitskritischen Anforderungen.
To complete the new process, the development teams then selected dSPACE's production code generator, TargetLink, in combination with the test and validation tools EmbeddedTester and EmbeddedValidator by TargetLink's strategic partner BTC Embedded Systems AG.
Zur Komplettierung des neuen Entwicklungsprozesses entschied sich das Toyota-Entwicklungsteam dann für den Seriencode-Generator TargetLink von dSPACE, in Kombination mit den Test- und Validierungswerkzeugen EmbeddedTester und EmbeddedValidator von BTC Embedded Systems AG, einem TargetLink Strategic Partner.
In case a requirement can be violated, BTC EmbeddedValidator provides a counter example in the form of a test case.
Sollte es doch möglich sein eine Anforderung zu verletzen, generiert BTC EmbeddedValidator automatisch einen Testfall als Gegenbeispiel.
BTC EmbeddedValidator uses Model-Checking technology to automatically provide complete mathematical proof that shows a requirement cannot be violated by the analyzed system.
BTC EmbeddedValidator nutzt Model Checking Technologie, um automatisch mit einem vollständigen mathematischen Beweis zu zeigen, dass eine Anforderung nicht verletzt werden kann.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor EmbeddedValidator in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
dumbbell: short bar with weights on each end
Ontdek het woord
dumbbell
Publiciteit

Resultaten: 5. Exact: 5. Verstreken tijd: 135 ms.