PROVIDENCE - Vector Software announced that AdaCore’s GNAT Pro Safety-Critical product for ARM micro-controllers will now receive VectorCAST support.
VectorCAST is of a group of products that mechanizes testing activities across the development lifecycle of software. It supports programming languages C, C++, as well as Ada.
The AdaCore GNAT Pro Safety-Critical application accommodates an Ada development environment for users. The application also caters to systems with safety-critical requirements or rigid memory constraints.
ARM micro-controllers are microprocessors whose use in the enterprises of aerospace, defense and transportation is growing.
According to the press release, “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.”
“This new integration demonstrates our commitment to providing the Ada development community a complete safety-oriented development toolset on a large range of targets,” Vector Software Chief Operating Officer William McCaffrey said in a prepared statement. “Customers can now benefit from the richness of the hardware platforms used by the wider market beyond safety-critical systems.”
adacore's gnat pro safety-critical product,