佛山船型开关矢量软件支持AdaCore蚊Pro编译器

矢量软件已经宣布支持AdaCore VectorCAST蚊Pro产品的安全性至关重要的手臂微控制器。

这个AdaCore蚊Pro安全性至关重要的应用程序提供了一个完整的Ada开发环境,面向系统,或严格的内存限制需求的安全性至关重要。

臂是一个受欢迎的低成本、低功耗微处理器日益流行的行业,如航空航天、国防、运输。

矢量软件的VectorCAST嵌入式软件测试平台,是一个家庭的产品,自动化测试活动跨越整个软件开发生命周期和支持C、c++和艾达。VectorCAST包括一套Ada测试工具,大大减少了时间、精力和成本测试关键安全软件写在艾达。

支持AdaCore手臂和VectorCAST允许组织开发安全性至关重要的应用程序在ARM Ada,或结合Ada,C,c++,有一个完整的Ada开发和自动化测试环境。此外,VectorCAST平台支持的自定义运行时配置文件AdaCore包括:ZFP,Cert,Ravenscar。

“Ada早已被公认为强大的软件工程效益包括可移植性、可靠性和可维护性,”杰米·艾尔,AdaCore营销总监。“我们很高兴,矢量软件已经集成其行业领先的VectorCAST套件与AdaCore的蚊Pro安全关键产品的手臂。”

“这个新的集成演示了我们的承诺,提供一个完整的安全导向Ada开发社区开发工具集在一个大范围的目标,”威廉·麦卡弗里说,首席运营官在矢量软件。“客户现在可以受益于丰富的硬件平台使用的更广泛的市场超越临界安全性系统。”佛山船型开关http://www.cenxn.com