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

AdaCore SAS

46 rue d'Amsterdam

75009 Paris

France

Phone: +33(0)149.706716

Fax: +33(0)149.700552

Request contact / appointment Request contact / appointment

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.

Halle

Products of AdaCore SAS (5)

GNAT Pro Enterprise

LOGO_GNAT Pro Enterprise

GNAT Pro Assurance

LOGO_GNAT Pro Assurance

SPARK Pro

LOGO_SPARK Pro

CodePeer

LOGO_CodePeer

QGen

LOGO_QGen

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

AdaCore has a long and successful history supplying products to customers in safety- and security-critical domains, including tools and run-time libraries in systems certified at the highest levels of DO-178B/C (avionics), EN 50128 (rail) and ECSS-E-ST-40C / ECSS-Q-ST-80C (space). Our products are also seeing growing usage in other high-assurance areas such as air traffic management/control, automotive, medical devices, and financial services see www.adacore.com/company/our-customers for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

AdaCore SAS offers you products from these product groups:

Co-exhibitor

Clicking on an exhibitor opens his profile with more information.

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.