Software tool finds compiler errors in safety-critical applications
Like any software, also compilers can include bugs which, under certain circumstances, in turn generate bugs in the output software. In the automotive sector, the safety of occupants and other road users must be protected in the best possible way.
To ensure this, both OEMs and Tier 1 suppliers must avoid software errors. This is the only way to prevent accidents, but also to avoid expensive recalls and meet the requirements of functional safety according to ISO 26262. For this reason, software developers must regularly check all their projects for known compiler issues. For example, users who develop code for the Infineon Aurix microcontroller family using Tasking’s VX-toolset can access all documented errors in the Tasking Issues Portal. Workarounds are also available there for each bug, which the user can apply until a patch is available.
To reduce the time needed to manually check the software, Tasking has developed the TriCore Inspector in cooperation with lead customer ZF. The tool is based on Tasking’s compiler technology and automatically finds compiler bugs in the software output from the VX-toolchain for Aurix/TriCore.
Tasking claims that its tool finds all known compiler bugs for all risk groups (Software Integrity Level, SIL1/2/3/4). This eliminates the high effort for manual error search. If the code is affected by a compiler bug, the developer receives the exact bug name and reference to the Tasking Issues Portal database. Based on this, the user can then quickly and easily decide whether his safety precautions are compromised and what further measures are necessary.
“The TriCore Inspector makes it immensely easier for automotive developers to ensure the safety of their software products,” says Joachim Hampp, Product Architect at Tasking. “No one knows our compiler as well as we do. Therefore, no other bug finder will be able to track down bugs as well as our TriCore Inspector.”
Tasking TriCore Inspector is available for the VX-toolset for TriCore/Aurix versions v6.2.r2 and v6.3r1.