AbsInt tackles software safety requirements related to multi-core processors

MUNICH, 20 Feb. 2013. Dr. Daniel Kästner of AbsInt GmbH in Germany is delivering a talk, entitled “Multi-Core Processors in the Perspective of Software Safety Requirements,” today during Avionics Europe 2013 in Munich.

AbsInt GmbH provides static analysis tools for non-functional software properties: worst-case execution time, worst-case stack usage, and absence of runtime errors like invalid pointer accesses, divisions by zero, and arithmetic overflows. They can be used in the certification process for safety-critical software according to ISO-26262, DO-178B, IEC-61508, IEC-60888, CENELEC-EN-50128, etc.

Avionics Europe attendees can visit AbsInt in stand D22.

For an overview of the company’s upcoming events, visit http://www.absint.com/events.htm.

For more news from Avionics Europe, visit http://www.avionics-intelligence.com/avionics-europe.html.

 

Get the Intelligent Inbox Bi-weekly Newsletter Delivered to Your Inbox

Subscribe to email newsletter today at no cost and receive the latest information on:

  • Comercial Aviation
  • Avionics
  • ATC/ATM
  • SATCOM

Most Popular Articles


Press Releases

Model INCX-4001

The INCX-4001 consists of a high quality audio transceiver specifically designed to implement a comple...

Model PS-1210

The PS-1210 is a 1A, 12VDC stand-alone or rack mountable non-switcher (no RF noise) power supply.

Model OS-3121

Optical switches are utilized to disconnect, bypass and reroute fiber optic communications. All of th...

Latest from the Paris Air Show

All Access Sponsors


Follow Us On...