14. - 16. März 2017 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen

GNAT Pro

Infos anfordern Infos anfordern

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 möchten mehr Möglichkeiten und Vorteile der Plattform nutzen? Dann loggen Sie sich bitte ein – oder registrieren Sie sich gleich hier.

Es ist ein Fehler aufgetreten.

Die GNAT Pro Ada Entwicklungsumgebung besteht aus einem kompletten Ada Compiler (Ada 83, Ada 95, Ada 2005), einer integrierten graphischen Entwicklungsumgebung (GNAT Programming Studio), einer reichhaltigen Sammlung von Werkzeugen, insbesondere eines Debuggers, und einer Sammlung von Bibliotheken und Bindings. GNAT Pro verfügt zusätzlich über einen reaktiven Online Support von Experten.

Die GNAT Pro High-Integrity Edition unterstützt sicherheitskritische Entwicklung, mit den Werkzeugen und Zertifizierungsmaterialen, die von den sicherheitskritischen Standards gefordert werden, so zum Beispiel DO-178B/C für die Luftfahrt, die allgemeinere Norm IEC 61508, EN 50128 für Eisenbahnsysteme, Def Stan 00-55/56 und andere ähnliche Standards.

Die GNAT Pro High-Integrity Edition for MILS ist eine Gruppe von Produkten die speziell entwickelt wurden, den hohen Sicherheitsanforderungen der Evaluation Assurance Levels EAL 5-7 zu entsprechen. Im Zentrum der High Integrity Edition for MILS sind die SPARK Pro Sprache und Werkzeuge. Dieses Produkt unterstützt sowohl semiformale Korrektheit als auch
formale Korrektheitsbeweise einer Anwendung

GNATcoverage

LOGO_GNATcoverage

GNATemulator

LOGO_GNATemulator

QGen

LOGO_QGen

SPARK Pro

LOGO_SPARK Pro

Ihre Merkliste ist noch leer.

Merkliste anzeigen



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.