Safety-critical software design flow for ARM Cortex cores
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. 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 organisations 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 customised run-time profiles including: ZFP, Cert, and Ravenscar.
“Ada has long been recognised 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.”
Vector Software; www.vectorcast.com