Examples with "AbsInt-Tools" 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.
Airbus nutzte AbsInt-Tools, um die Flugsteuerungssoftware des A380 zu zertifizieren.
TimeWeaver bietet Ihnen dieselbe leistungsstarke Benutzeroberfläche, die Sie von anderen AbsInt-Tools gewöhnt sind: nahtlos integrierte grafische und textuelle Anzeigen zum Kontrollfluß, Quellcode, Assembly-Code, Konfigurationsdateien und den Analyseergebnissen
TimeWeaver offers the same powerful user interface you are used to from working with other AbsInt tools, with fully integrated graphical and textual viewers for control flow, analysis results, source code, assembly code, and configuration files.
Zusammen mit den dazugehörigen Qualifizierungspaketen sind die AbsInt-Tools Teil des Zertifizierungsprozesses nach IEC 60880 und IEC 61508-3:2010.
The tools in combination with their qualification packages (QSK and QSLCD) are part of the certification process according to the IEC 60880. ebm-papst
SCADE ist die einzige modellbasierte Entwicklungsumgebung, die nach DO-178B qualifiziert und nach IEC 61508 und EN 50128 zertifiziert ist, und die weltweit erste, die dank integrierter AbsInt-Tools Stack- und Timinganalysen auf Modellebene ermöglicht.
SCADE is the only model-based development solution to offer DO-178B qualified C code generation up to level A, certified IEC 61508 C code generation up to SIL 3 and certified EN 50128 C code generation up to SIL 3/4.
SCADE ist die einzige modellbasierte Entwicklungsumgebung, die nach DO-178B qualifiziert und nach IEC 61508 und EN 50128 zertifiziert ist, und die weltweit erste, die dank integrierter AbsInt-Tools Stack- und Timinganalysen auf Modellebene ermöglicht.
EN 50128 certified at SIL 4 by TÜV for Rail Transportation Thanks to the integration of StackAnalyzer, SCADE is the first embedded-software development environment worldwide to feature worst-case stack usage analysis at the model level.
Andere resultaten
Nahtlose Integration mit anderen Analyse-Tools von AbsInt in einer gemeinsamen Benutzeroberfläche.
AbsInt bietet innovative Tools und Dienstleistungen für eingebettete Software mit Schwerpunkt auf Validierung, Verifikation und Zertifizierung von Software.
AbsInt provides advanced tools and services for embedded systems with a focus on software validation, verification, and certification.
aiT ist als ein a³-Modul erhältlich - d.h., es kann mit anderen Analyse-Tools von AbsInt in einer gemeinsamen Benutzeroberfläche kombiniert werden.
aiT is available as an a³ module, i.e. it can be combined with other analyzers from AbsInt in a single intuitive user interface.
Darüberhinaus kann StackAnalyzer mit anderen Analyse-Tools von AbsInt (z. B. aiT zur Timing-Analyse) in derselben Benutzeroberfläche kombiniert werden.
Seamless integration with other analysis tools from AbsInt (e.g. aiT for worst-case execution time analysis) in a single intuitive user interface. Supported compilers
