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.