Examples with "des BTC EmbeddedSpecifier" and their translation in Engels
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.
Mithilfe des BTC EmbeddedSpecifier können informelle Anforderungen, die typischerweise in Textform erstellt werden, komfortabel in eine formale, maschinenlesbare Repräsentation überführt werden.
With BTC EmbeddedSpecifier, informal requirements typically recorded in textual format can be conveniently translated to a formal representation that makes it possible for a computer to interpret the requirements.
Vorteile Mit der Integration der RTT Observer Library und des BTC EmbeddedSpecifier in die dSPACE Werkzeugkette kann eine bestehende HIL)-Umgebung um eine permanente Echtzeitvalidierung sicherheitskritischer Anforderungen ergänzt werden.
By integrating the RTT Observer Library and BTC EmbeddedSpecifier in the dSPACE tool chain, you can supplement any existing model-in-the-loop (MIL), software-in-the-loop (SIL) or hardware-in-the-loop (HIL) environment to continuously validate safety-critical requirements in real-time.
Andere resultaten
BTC EmbeddedSpecifier ist ein Werkzeug für die Erstellung und Verwaltung von semi-formalen und formalen Anforderungen in sicherheitskritischen Projekten.
BTC EmbeddedSpecifier is a tool used to create and manage semi-formal and formal requirements for safety-critical projects.
Die formale Verifikation nutzt als Basis die formalisierten Anforderungen aus BTC EmbeddedSpecifier und wird auf dem Seriencode durchgeführt.
Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point.
Wenn ein Gegenbeispiel generiert wurde, können Sie mit den leistungsstarken Debugging-Möglichkeiten der BTC EmbeddedSpecifier
In case a counter example has been generated, you can use the powerful debugging capabilities of BTC EmbeddedPlatform to automatically generate a debug environment.
Innerhalb der BTC EmbeddedPlatform-Werkzeugkette stellt der BTC EmbeddedSpecifier ein Werkzeug für die Erstellung und Verwaltung von semi-formalen und formalen Anforderungen dar.
As an integral part of the BTC EmbeddedPlatform working environment, BTC EmbeddedSpecifier is a software tool for creating and managing semi-formal and formal requirements of any kind.
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.
Formalisierte Anforderungen aus BTC EmbeddedSpecifier sind durch dieses Add-On automatisch im BTC EmbeddedTester BASE sichtbar und Sie können zeigen, ob eine bestimmte Anforderung von einem der vorhandenen Testfälle verletzt wird.
After being formalized with BTC EmbeddedSpecifier, the formal requirements are automatically available within BTC EmbeddedTester BASE and shows if a particular requirement is violated by any of the test cases.
Die Kombination aus der neuen dSPACE Real-Time Testing (RTT) Observer Library und dem etablierten Spezifikationswerkzeug BTC EmbeddedSpecifier ermöglicht es Testern, auf einfache Weise eine simulationsbasierte formale Verifikation durchzuführen.
The combination of the new dSPACE Real-Time Testing (RTT) Observer Library and the tried-and-tested specification tool BTC EmbeddedSpecifier makes it easier for testers to perform simulation-based formal verification.
Mit Hilfe der RTT Observer Library können nebenläufige, echtzeitfähige Requirement Observer, die zuvor mit dem BTC EmbeddedSpecifier erzeugt wurden, auf dSPACE Plattformen ausgeführt werden.
By using the Real-Time Testing (RTT) Observer Library, you can use requirement observers that were created with BTC EmbeddedSpecifier on dSPACE platforms to continuously monitor your requirements.
BTC EmbeddedSpecifier und die gemeinsam mit der Firma dSPACE entwickelte "RTT Observer Library" bieten in diesem Zusammenhang eine effiziente, integrierte und automatisierte Lösung zur Generierung und Einbindung sogenannter "Requirement Observer".
BTC EmbeddedSpecifier together with the dSPACE "RTT Observer Library" provides an efficient and integrated solution for the generation and execution of so-called "requirement observers."
Mit Hilfe der RTT Observer Library können nebenläufige, echtzeitfähige Requirement Observer, die zuvor mit dem BTC EmbeddedSpecifier erzeugt wurden, auf dSPACE Plattformen ausgeführt werden.
With the Real-Time Testing (RTT) Observer Library, you can run requirement observers on dSPACE platforms that were generated with the BTC EmbeddedSpecifier.
Mit der Real-Time Testing (RTT) Observer Library können Sie Anforderungsbeobachter (Real-Time Testing Observers), die mit dem BTC EmbeddedSpecifier generiert wurden, auf dSPACE Plattformen ausführen.
With the Real-Time Testing (RTT) Observer Library, you can take requirement observers (Real-Time Testing Observers) that were generated with BTC EmbeddedSpecifier and execute them on dSPACE platforms.
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.
