On our website, we would like to use the services of third-party providers who help us improve our promotional offerings (marketing), evaluate the use of our website (performance) and adapt the website to your preferences (functionality). We need your consent for the use of these services; you can always revoke this consent. You can find information about the services and the chance to reject them under “User-defined.” You can find additional information in our Data Protection Policy.

25 - 27 February 2020 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2020

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Saarland

Germany

Phone: +49(0)681.38360-0

Fax: +49(0)681.38360-20

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 AbsInt Angewandte Informatik GmbH (4)

AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are source-code analyzers RuleChecker for checking coding guidelines and Astrée for proving the absence of runtime errors and data races. The static analyzers StackAnalyzer (for proving the absence of stack overflows), aiT WCET Analyzer (for obtaining timing guarantees), and TimingProfiler (for computing WCET estimates in early stages) run at the binary level.
TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates. Using the formally verified optimizing compiler CompCert eliminates the risk of miscompilation errors.
AbsInt's Qualification Support Kits and Qualification Software Life Cycle Data reports enable automatic tool qualification according to all common safety norms.
AbsInt was founded in 1998. Five years later, the company was awarded a European IST Prize for its aiT WCET Analyzers.
Our customers are located in more than 40 countries all over the world. Airbus used AbsInt tools for certifying A380 flight control software. Other references include Framatome, Vestas, MTU Friedrichshafen, Baxter International, Daimler, Honda, OHB, ESA, u-blox, Roche Diabetes Care, Helbako, ebm-papst, and many more, see https://www.absint.com/success.htm.

Events

Here you will find all the lectures and events of the exhibitor AbsInt Angewandte Informatik GmbH, which take place as part of the embedded world program. Please note, that you may have to pay for some lectures.

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 – 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.