Raptor-Safe Stack Check – Development

View Your Quote Cart


Avoid costly run-time errors early in development, reduce debug effort, and support ISO 26262 process with an all-new Raptor tool. Raptor Stack Check is fully integrated with Raptor-Dev to provide automatic calculation of critical errors in the executable produced by the compiler – ensuring that the analysis reflects what you would experience when running on hardware, including:

  • Worst-case stack usage calculated per task.
  • Identification of potential recursive calls that are forbidden in safety-critical systems.
  • Detection of loops that may not terminate.

Raptor Stack Check will be the first release in a set of Raptor-Safe tools that are designed to support safe development and verification of Raptor-developed software.


Document Page