SafeTI编译器资质审核套件 配合MCU简化安全应用开发

2013-06-29 12:28:32 来源:本站原创

近日,德州仪器 (TI) 宣布推出最新 SafeTI 编译器资质审核套件,进一步丰富其 SafeTI 设计套件。该 SafeTI 编译器资质审核套件不但可帮助客户审核 TI ARM® C/C++ 编译器的使用是否符合 IEC 61508 与 ISO 26262 等功能安全标准,同时还有助于最大限度提高其功能性及性能。该套件是 SafeTI 设计套件的一个组件,主要用于与 TI 基于 ARM Cortex-R4 的 Hercules 安全微控制器 (MCU) 配合使用,帮助客户简化功能安全应用开发。

SafeTI 编译器资质审核套件使用了Validas 开发的模块化工具资质审核方法,Validas是一家专注于嵌入式系统软件资质审核以及软件工具安全标准资质审核的咨询公司。SafeTI 编译器资质审核套件中包含独立第三方评估机构 TüV NORD 提供的评估文档,文档内容显示:“[ISO 26262](第 11 章第 8 节)相关软件工具分类与资质审核的要求以及 [IEC 61508](第 7.4.4 章第 3 节)相关工具资质审核的要求可通过应用该资质审核套件充分满足。”

此外,SafeTI 编译器资质审核套件还包括 Associated Compiler Experts (ACE) 的最新 SuperTest 资质审核套件。SuperTest 资质审核套件源于 ACE SuperTest 编译器测试与资质审核套件,有助于严格满足 C 语言编译器标准的合规性要求。多年来TI 汽车 MCU 客户已将ACE SuperTest 编译器测试与资质审核套件成功应用于评估编译器质量。

基于模型的工具资质审核

IEC 61508 与 ISO 26262 安全标准需要对功能安全产品开发流程中使用的所有工具进行评估与分类,帮助确保工具不会影响所开发产品的安全性。如果需要更高的工具信任度,可通过工具资质审核得出使用适用性的证明。SafeTI 编译器资质审核套件中所使用基于模型的工具资质审核技术非常灵活,可帮助用户为开发流程选择所需的工具特性。工具特性或者可测试,或者提供一个具有几个缓和选项的列表,用户可选择最适合其工艺的选项。SafeTI 编译器资质审核套件不仅可指导客户选择特性、测试与缓和措施,而且还可根据文档模板与资质审核模型生成所需的文档。

SafeTI 编译器资质审核套件包括:

资质审核套件用户手册;

资质审核支持工具:可帮助实现资质审核配置与文档生成;

所需安全文档的模板:包括工具分类报告、工具资质审核计划、工具资质审核报告以及工具安全手册;

编译器仪表化版本:可在应用与资质审核测试中比较编译器覆盖范围;

TüV Nord 报告:显示资质审核过程批准;

ARM 架构上 C 语言编译器的 ACE SuperTest 资质审核套件;

特定 TI ARM 编译器特性的确认资质审核测试案例;

通过目标硬件在用户环境中运行该测试测试自动化框架;

24 小时 Validas 咨询:通过 Webex 与电子邮件针对一般性支持、模型扩展、覆盖范围比较以及结果/文档复审支持提供。

SafeTI 编译器资质审核套件支持大多数编译器特性的测试,并可扩展支持 TI 与 Validas 的未来测试案例更新。

供货情况与支持

SafeTI 编译器资质审核套件现已开始通过 TI 供货。感兴趣的客户可在线注册购买该套件。SafeTI 编译器资质审核套件的客户支持由 TI 和 Validas 共同提供。

合作

TI 与 Validas 以及 ACE 强强联合,共同开发该资质审核套件,不但有助于客户资质审核其 ARM 编译器特定使用案例,同时还可最大限度提高其功能与性能的使用。TI ARM 编译器的新修订版与特性可使用 Validas 模块化资质审核方法、运行 ACE SuperTest 资质审核套件以及该套件提供的其它 TI 验证测试案例进行资质审核。

TI 广泛系列的微控制器与软件

TI MCU 支持低功耗、实时控制、安全与连接功能,居于业界领先地位。TI将继续推进其20多年来丰富的微控制器创新经验,提供业界最广泛的微控制器产品系列:超低功耗 MSP MCU、实时控制 C2000 MCU、Tiva ARM® MCU 以及 Hercules ARM MCU。设计人员可充分利用 TI 工具、软件、无线连接解决方案、广泛的设计网络产品以及技术支持,加速产品上市进程。

  1. EETOP 官方微信

  2. 创芯大讲堂 在线教育

  3. 创芯老字号 半导体快讯

相关文章

全部评论

@2003-2024 EETOP