14 - 16 March 2017 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout


Request information Request information

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.
Your message has been sent.

Would you like to use more facilities and advantages of the platform? Then please log in – or register here.

An error has occurred.

The GNAT Pro Ada development environment consists of a full Ada compiler (Ada 83, Ada 95, and Ada 2005), an Integrated Development Environment (GNAT Programming Studio), a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings.  GNAT Pro is backed by rapid and expert online support.

The GNAT Pro High-Integrity Edition supports safety-critical development with the tools and certification materials needed to meet leading safety-critical standards such as: DO-178B/C for avionics, the generic IEC 61508, EN 50128 for railway systems, Def Stan 00-55/56, and other related standards. This package is the ideal environment for developing any high-reliability / safety-critical embedded application. DO-178B Level A certification and qualification packages are available. These packages have already passed formal certification as a part of multiple avionics flight critical systems.

The GNAT Pro High-Integrity Edition for MILS is a product set designed specifically to meet high security requirements of Evaluation Assurance Levels EAL 5-7. At the core of the High-Integrity Edition for MILS product set is the SPARK Pro language and tool set. This product supports both semi or formal proof of correctness of an application.









There are no entries in your notes.

Show notes


The selected entry has been placed in your notes!

If you register you can save your notes permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your notes permanently. Use the instant access to exhibitors or products saved – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your notes mobile too! Simply log in and access them at anytime.