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.