Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
EmbeddedValidator
BTC EmbeddedValidator ist ein Werkzeug zur formalen Verifikation von sicherheitskritischen Anforderungen.
BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements.
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.
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.
BTC EmbeddedValidator nutzt Model Checking Technologie, um automatisch mit einem vollständigen mathematischen Beweis zu zeigen, dass eine Anforderung nicht verletzt werden kann.
BTC EmbeddedValidator uses Model-Checking technology to automatically provide complete mathematical proof that shows a requirement cannot be violated by the analyzed system.
Sollte es doch möglich sein eine Anforderung zu verletzen, generiert BTC EmbeddedValidator automatisch einen Testfall als Gegenbeispiel.
In case a requirement can be violated, BTC EmbeddedValidator provides a counter example in the form of a test case.
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.
For safety-critical applications, BTC EmbeddedSpecifier and BTC EmbeddedValidator provide an efficient and intuitive way to formally specify and validate safety-critical requirements.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "EmbeddedValidator" en allemand
