VectorCAST Support for AdaCore GNAT for ARM

VectorCAST now supports the testing of Ada code compiled with AdaCore’s GNAT Pro compiler and running on ARM micro-controllers. The AdaCore GNAT Pro Safety-Critical application provides a complete Ada development environment, oriented towards systems that have safety-critical or stringent memory constraints requirements. ARM is a popular low-cost, low power microprocessor that is growing in popularity in industries like aerospace, defense, and transportation. Support for ARM by AdaCore and VectorCAST allows organizations developing safety-critical applications for ARM in Ada, or a combination of Ada, C, and C++, to have a complete Ada development and automated testing environment.

The VectorCAST platform already supports AdaCore’s customized run-time profiles including: ZFP, Cert, and Ravenscar.

Posting in: