聚焦
AdaCore V18.1升级了软件开发和验证工具
映雪

2018-02-08 | 聚焦

据intelligent-aerospace网站2018年2月1日刊文,在法国图卢兹召开的嵌入式实时软件和系统(ERTS&S)大会上,AdaCore公司发布了其18.1版本的GNAT Pro、CodePeer、SPARK Pro和QGen产品。这个最新版本新增了该软件套件的新工具和功能,并标志着GNAT Pro首次发布了其三条产品线:GNAT Pro安全型、GNAT Pro企业型和GNAT Pro开发商型。

AdaCore公司总裁Cyrille Comar称,分为三条产品线是GNAT Pro产品专业服务的主要新方面之一,它允许该公司根据不同的用户需求来调整其工具集和服务。

AdaCore公司致力于提供有助于开发人员构建安全、防护、可靠、高完整性软件的专业产品和服务设计20多年。AdaCore公司的GNAT Pro、CodePeer、SPARKPro和QGen是供安全关键、高安全性和任务关键应用选择的软件开发和检验工具,正应用于越来越多的市场中,如航宇和防务、汽车、能源、医疗、铁路和物联网(IoT)。

GNAT Pro Ada 18.1版开发环境提供了数个新工具、更高的编码效率、并行开发数个新目标和各种编译器增强的功能。现在所有订购的GNAT Pro产品都包含SPARK Discovery检验工具,订购的GNAT Pro安全型和GNAT Pro企业型产品也提供AdaCore公司的GNATstack堆栈分析工具。

GNAT Pro工具包的特点是升级的GPRbuild项目工具、于GNATcheck编码标准检查器中引入的新规则,对Lauterbach 探头提供GNATcoverage支持,以及于GNATtest设备的测试架构中引入新的选项。GNAT编程工作室(GPS)的集成开发环境(IDE)增强了性能,改进了人机用户接口,如增强了C/C++导航演算单元,GNATbench增加了对Eclipse 4.8 Oxygen和风河公司Workbench4.12的支持。

用于Ada程序的先进、兼容CWE的静态分析工具——CodePeer 18.1则引入了改进的性能:更易于分析非GNAT代码、更低的误报率和于工具输出中引入GNAT告警;CodePeer 18.1还提供了一个用于遵循DO-178C规范、升级的工具认证包,扩展了Ada架构的适用范围。

AdaCore公司及其合作伙伴Altran公司共同开发的SPARK Pro 18.1正式检验环境,在预定义的环境中引入了对设备的限定合约,并增强了检验的自动化程度。

AdaCore公司可认证、基于模型的开发工具包QGen,18.1生成了SPARK和MISRA C,引入了兼容性检查器,以检验样本模型的合规性;QGen 18.1还引入了几个新模块,并以高达2017b的数据率支持 Simulink/Stateflow模块。

收藏
阅读数:
`

相关推荐

没有相关内容

作者关注

聚焦 2018-04-19

连接器和电缆对现代系统的设计和升级至关重要

映雪 摘自:intelligent-aerospace网站

聚焦 2018-04-11

值得信任的区块链

映雪 摘自:technologyreview网站

聚焦 2018-04-09

美国军用飞机ADS-B安全问题的最新进展

映雪 摘自:aviationtoday网站

同源信息

聚焦 2018-04-19

连接器和电缆对现代系统的设计和升级至关重要

映雪 摘自:intelligent-aerospace网站

聚焦 2018-01-29

安全性、可伸缩性是嵌入式计算考虑清单中的首要问题

映雪 摘自:intelligent-aerospace网站

聚焦 2017-04-14

增强型MIL-STD-1553B总线——STANAG 7221总线的发展

映雪 摘自:intelligent-aerospace网站

`