Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
AbsInt tools
Vertaling van "AbsInt tools" in Duits
AbsInt-Tools
AIrbus used AbsInt tools for certifying A380 flight control software.
Airbus nutzte AbsInt-Tools, um die Flugsteuerungssoftware des A380 zu zertifizieren.
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.
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
Qualification Support Kits are available for the AbsInt tools to allow tool qualification according to current safety standards.
Für die AbsInt-Werkzeuge sind Qualification Support Kits verfügbar, die eine Tool-Qualifizierung nach aktuellen Sicherheitsstandards ermöglichen.
Andere resultaten
AbsInt develops tools for validating, verifying and certifying safety-critical embedded software.
AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software.
Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software.
AbsInt provides three different tools for WCET analysis which are tailored to three different use cases.
AbsInt liefert drei Softwarewerkzeuge zur WCET-Analyse, die auf unterschiedliche Anwendungsszenarien zugeschnitten sind.
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 provides advanced tools and services for embedded systems with a focus on software validation, verification, and certification.
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.
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an.
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
Darüberhinaus kann StackAnalyzer mit anderen Analyse-Tools von AbsInt (z. B. aiT zur Timing-Analyse) in derselben Benutzeroberfläche kombiniert werden.
AbsInt, a worldwide leading manufacturer of program analysis tools for safety-critical software, today has launched two new product lines.
AbsInt, der weltweit führende Anbieter von Tools zur Analyse von sicherheitskritischer Software, stellt zwei neue Produktlinien vor.
AbsInt and Infineon offer a new timing tool chain for AURIX
AbsInt und Infineon bieten eine neue Timing-Toolchain für AURIX
Synoniemen voor AbsInt tools in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 19. Exact: 3. Verstreken tijd: 54 ms.
