27 February - 1 March 2018 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2018

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Saarland

Germany

Phone: +49(0)681.383-600

Fax: +49(0)681.3836020

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.
Send
Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitor Database.

An error has occurred.

Halle

Products of AbsInt Angewandte Informatik GmbH (5)

aiT Worst-Case Execution Time Analyzers

LOGO_aiT Worst-Case Execution Time Analyzers

Astrée Run-Time Error Analyzer

LOGO_Astrée Run-Time Error Analyzer

CompCert - verified compilation

LOGO_CompCert - verified compilation

StackAnalyzer — Stack Usage Analysis

LOGO_StackAnalyzer — Stack Usage Analysis

TimingProfiler - timing estimates

LOGO_TimingProfiler - timing estimates

AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are the aiT Worst-case Execution Time Analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, and the Astrée analyzer for proving the absence of runtime errors and data races. All of them can be qualified according to contemporary safety standards.

Since 2015, AbsInt offers two new product lines: TimingProfiler computes execution time estimates of programs without the need to repeatedly provide test inputs, execute, and measure. Therefore, it is ideally suited for constantly monitoring timing behavior during software development and in model-based development environments. CompCert is a formally verified optimizing C compiler. The level of confidence in the correctness of the compilation process is unprecedented and helps meet the highest standards of software assurance.

AbsInt Angewandte Informatik GmbH 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 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 favourites mobile too! Simply log in and access them at anytime.