AdaCore 最近宣布同时发布其软件开发和验证工具组合中的四款旗舰产品的年度版本，这些工具用于任务关键型、安全关键型和安全至关重要的系统。 这些包括 GNAT Pro、CodePeer、QGen 和 SPARK Pro 的 17.1 版本。

所有产品都可帮助组织应对关键系统开发和验证过程中面临的挑战，尤其是在需要根据软件标准（如 DO-178C 或 EN 50128）进行认证时。 GNAT Pro 是一个用于 Ada 和 C 的开发环境，可在本机和交叉平台上运行。 CodePeer 是一种用于 Ada 的深度静态分析工具，可以在开发期间以及追溯到现有代码库中识别错误和漏洞。 SPARK Pro 是一种验证环境，可为高完整性软件带来基于数学的保证，而 QGen 是一种基于模型的开发和验证工具集，适用于 Simulink 和 Stateflow 模型，可生成 MISRA-C 或 SPARK 代码。 该套件中的每个工具在新版本 17.1 中都提供其自身的一系列增强和改进。