TI推出SafeTI编译器资质审核套件协助审核

TI推出SafeTI编译器资质审核套件协助审核

日前，德州仪器 (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 与电子邮件针对一般性支持、模型扩展、覆盖范围比较以及结果／文档复审支持提供。