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.
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.
Potentieel gevoelige of ongepaste informatie
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.