This website uses cookies to make the content more user-friendly and effective. By using this website, you agree to the use of cookies. You can find additonal information about the use of cookies and the possibility of objecting to the use of cookies here.

26 - 28 February 2019 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2019
Zoom product LOGO_GNAT Pro Assurance

GNAT Pro Assurance

LOGO_GNAT Pro Assurance

GNAT Pro Assurance

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.

Information on data protection can be found here.

Send
Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitors and Products Database, the supporting programme and the TicketShop.

An error has occurred.

GNAT Pro Assurance is a complete Ada solution for projects with the most stringent requirements for reliability, long-term maintenance or certification.

The product supports all versions of the Ada language standard (from Ada 83 to Ada 2012), with C support an optional add-on. It includes a full toolsuite as well as a configurable run-time library and several specific run-times that are especially suited to high-assurance systems. Unique to the GNAT Pro Assurance product, a specialized service known as sustained branches allows a project to continue its use of a specific version of the technology, including upgrades to repair critical issues.

AdaCore has a long history of working with customers who need to meet certification requirements, and GNAT Pro Assurance offers a number of options that can simplify the development and verification effort. These include certification material for the run-time libraries, as well as qualification material for several of the tools.

GNAT Pro Enterprise

LOGO_GNAT Pro Enterprise

SPARK Pro

LOGO_SPARK Pro

CodePeer

LOGO_CodePeer

QGen

LOGO_QGen
top

The selected entry has been placed in your favourites!

If you register you can save your favourites 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 favourites permanently. Use the instant access – 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 favourites mobile too! Simply log in and access them at anytime.