Vector Software Announces Support for the AdaCore GNAT Pro Compiler for ARM Cortex
Vector Software announced VectorCAST support for AdaCore’s GNAT Pro Safety-Critical product for 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.
Vector Software’s VectorCAST embedded software testing platform, is a family of products that automates testing activities across the software development lifecycle and supports C, C++, and Ada. VectorCAST includes a suite of Ada test tools that significantly reduces the time, effort, and cost associated with testing safety-critical software written in Ada.
Support for ARM by AdaCore and VectorCAST allow 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. In addition, the VectorCAST platform supports AdaCore’s customized run-time profiles including: ZFP, Cert, and Ravenscar.
“Ada has long been recognized for its strong software engineering benefits including portability, reliability and maintainability,” said Jamie Ayre, Marketing Director at AdaCore. “We are delighted that Vector Software has integrated its industry-leading VectorCAST suite with AdaCore’s GNAT Pro Safety Critical product for ARM.”
“This new integration demonstrates our commitment to providing the Ada development community a complete safety-oriented development toolset on a large range of targets,” said William McCaffrey, Chief Operating Officer at Vector Software. “Customers can now benefit from the richness of the hardware platforms used by the wider market beyond safety-critical systems.”