AdaCore, a trusted provider of software development and verification tools, today launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River® Helix™ Virtualization Platform. Offered in separate Ada and C/C++ packages, GNAT Pro enhances Helix Platform’s ability to consolidate mixed-criticality aerospace, defense and automotive applications onto a scalable, agile and certifiable platform. By choosing GNAT Pro, Helix Platform customers will experience a consistent software development toolchain across each of their Helix Platform partitions and target architectures, thereby helping to reduce overall development and training costs.