27. Februar - 1. März 2018 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2018

AdaCore SAS

46 rue d'Amsterdam

75009 Paris

Frankreich

Telefon: +33(0)149.706716

Fax: +33(0)149.700552

Kontakt- /Terminanfrage Kontakt- /Terminanfrage

Kontaktieren Sie uns

Bitte geben Sie Ihre persönlichen Informationen und Ihren Terminwunsch an. Gerne können Sie uns auch eine Nachricht hinterlassen.

Ihre persönlichen Informationen

Ihre Nachricht an uns

Ihr Terminwunsch während der Messe

* Pflichtfelder, die von Ihnen eingegeben werden müssen.
Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller-Plattform.

Es ist ein Fehler aufgetreten.

Halle

Produkte von AdaCore SAS (5)

CodePeer

LOGO_CodePeer

GNAT Pro

LOGO_GNAT Pro

GNATcoverage

LOGO_GNATcoverage

QGen

LOGO_QGen

SPARK Pro

LOGO_SPARK Pro

AdaCore wurde 1994 gegründet und bietet Werkzeuge für die Entwicklung und Verifikation von Software für sicherheitskritische und missionskritische Systeme an. Es gibt vier Hauptprodukte:

  • Die GNAT Pro Entwicklungsumgebung, ein vollständiges Toolset für die Entwicklung und Pflege von hochzuverlässigen Anwendungen. GNAT Pro unterstützt sowohl Ada als auch C und C++, und ist für viele Plattformen verfügbar (nativ sowie Cross-Compiler für RTOS sowie Bare Metal).
  • CodePeer, ein Werkzeug zur statischen Analyse von Ada-Code. Es entdeckt logische Fehler in Programmen sowohl in der Entwicklungsphase als auch in bereits existierender Software. CodePeer kann dabei helfen, Fehlern wie Pufferüberläufen oder arithmetische Überläufen vorzubeugen oder sie sogar ganz auszuschließen.
  • Die SPARK Pro Verifikationsumgebung, ein auf formalen Methoden basierendes Werkzeug für den Einsatz in hochkritischen Systemen. SPARK unterstützt mehrere Analyse-Level, von der Korrektheit des Datenflusses (Zugriff auf nicht initialisierten Speicher), dem Ausschluss von Laufzeitfehlern, bis hin zur Überprüfung von formalen Anforderungen.
  • Das Modellbasierte Entwicklungstool QGEN, ein qualifizierbarer und anpassbarer Code-Generator für Simulink® und Stateflow® Modelle, insbesondere für sicherheitskritische Kontrollsysteme. QGEN kann sowohl MISRA-C als auch SPARK-Code generieren, und enthält einen Debugger, der die gleichzeitige Inspektion des Simulink®-Modells, des generierten Codes, sowie des Assembler-Codes unterstützt.

Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers
AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

AdaCore SAS bietet Ihnen Produkte aus diesen Produktgruppen:

Mitaussteller

Bei Klick auf einen Aussteller, rufen Sie dessen Profil mit mehr Informationen auf.

top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und Aussteller-Shop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Aussteller oder Produkte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.