Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
AbsInt's
Bedoelde u: absinths
Examples with "AbsInt's" and their translation in Duits
Workflow The automated flow between TargetLink and AbsInt's tools provides for a seamless integration into the development cycle.
Workflow Der automatisierte Austausch zwischen TargetLink und den Analysatoren ermöglicht eine nahtlose Integration in Ihre Entwicklungsumgebung.
AbsInt's software tools such as aiT, StackAnalyzer and Astrée analyze, optimize and verify embedded systems and safety-critical software programs.
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an, darunter die Werkzeuge aiT, StackAnalyzer und Astrée.
By using its Qualification Support Kit and AbsInt's Qualification Software Life Cycle Data Reports, Astrée can be automatically qualified according to all contemporary safety norms (e.g., ISO 26262 or DO-178B/C).
Durch Einsatz des sogenannten Qualification Support Kits und der "Qualification Software Life Cycle Data"-Berichte kann Astrée automatisch nach allen gängigen Sicherheitsnormen (z.B. ISO 26262 oder DO-178B/C) qualifiziert werden.
The source code is compiled by a standard compiler and its timing behavior is determined using AbsInt's award-winning aiT timing analysis technology.
Der Quellcode wird mit einem Standardcompiler kompiliert und sein Timing-Verhalten mithilfe der preisgekrönten aiT-Technologie ausführlich analysiert.
The coupling of Esterel SCADE with AbsInt's aiT and StackAnalyzer provides optimal visibility into the run-time performance of the system by reporting the WCET and stack usage of each design element, at the model level.
Die Kopplung von SCADE mit aiT und StackAnalyzer ermöglicht SCADE- Nutzern auf sehr komfortable Art und Weise einen präzisen Einblick in das Laufzeitverhalten eines Systems durch das Analysieren der WCET und in den Stackverbrauchs eines jeden Designelements auf Modellebene.
In addition to QSKs, a QSLCD Report is available that describes the entire development process of StackAnalyzer and covers all verification and quality-assurance activities on AbsInt's side.
Zusätzlich zu den QSKs stellen wir Ihnen den sogenannten QSLCD-Bericht zur Verfügung, der unsere internen Entwicklungsprozesse für StackAnalyzer dokumentiert, inklusive aller Verifikations- und Qualitätssicherungsmaßnahmen.
The tool qualification process can be automated to a large degree by AbsInt's Qualification Support Kits, up to the highest criticality levels.
Die Qualifizierung wird durch Validierungssuiten, die sogenannten Qualification-Support-Kits, bis zu den höchsten Kritikalitätsstufen (SIL/ASIL-Levels) weitgehend automatisiert.
Together with its partners, iSYSTEM has committed to the Best Trace Format (BTF) that enables real application interactions to be imported into advanced timing analysis tools, including AbsInt's TimeWeaver. Solid Sands
Zusammen mit seinen Partnern unterstützt iSYSTEM das Best-Trace-Format (BTF) zum Importieren echter Anwendungsinteraktionen in hochentwickelte Tools zur Timing-Die weltweit größten Automobilhersteller und -zulieferer setzen TASKING-Tools ein, um sicherheitskritische Power-Train- und Body-Control-Anwendungen zu programmieren.
Synoniemen voor AbsInt's in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 23 ms.
