Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
BTC EmbeddedSpecifier

Vertaling van "BTC EmbeddedSpecifier" 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.
BTC EmbeddedSpecifier
BTC EmbeddedSpecifier is a tool used to create and manage semi-formal and formal requirements for safety-critical projects.
BTC EmbeddedSpecifier ist ein Werkzeug für die Erstellung und Verwaltung von semi-formalen und formalen Anforderungen in sicherheitskritischen Projekten.
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.
Mithilfe des BTC EmbeddedSpecifier können informelle Anforderungen, die typischerweise in Textform erstellt werden, komfortabel in eine formale, maschinenlesbare Repräsentation überführt werden.
Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point.
Die formale Verifikation nutzt als Basis die formalisierten Anforderungen aus BTC EmbeddedSpecifier und wird auf dem Seriencode durchgeführt.
BTC EmbeddedSpecifier - Transfer informal requirements into a formal representation and then into requirement observers, even without expert know-how.
Real-Time Testing Observer Library - Ausführen EmbeddedSpecifier - Überführen informeller Anforderungen ohne Expertenwissen in eine formale Repräsentation und schließlich in Observer.
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.
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.
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.
Innerhalb der BTC EmbeddedPlatform-Werkzeugkette stellt der BTC EmbeddedSpecifier ein Werkzeug für die Erstellung und Verwaltung von semi-formalen und formalen Anforderungen dar.
In combination with the dSPACE RTT Observer Library, BTC EmbeddedSpecifier allows for simulation-based formal verification, which notably increases the test depth and test coverage, especially for safety-critical systems, during HIL testing or virtual validation.
Zudem ermöglicht der BTC Verifikation, wodurch sich Testtiefe und Testabdeckung insbesondere für sicherheitskritische Systeme beim HIL-Test oder in der virtuellen Absicherung deutlich erhöhen.
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.
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.
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.
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."
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".
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.
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.
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.
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 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.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor BTC EmbeddedSpecifier in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
cavity: hole in a tooth caused by decay
Ontdek het woord
cavity
Publiciteit

Resultaten: 14. Exact: 14. Verstreken tijd: 54 ms.