该系列产品现在还支持 ARM 9、C166、C166SV2、Cortex A9、Cortex M3、Cortex M4F、Cortex R4F、PPC e200 和 PPC e500。除了证书和认证文档外,CERT 套件还包含一个可执行系统以及一套完整的验证软件解决方案。.
认证套件中提供的系统主要用于验证客户是否正确实现了预认证的实时内核源代码,以及是否成功生成了配置正确的实时内核。为此,在相应的评估板上运行的验证软件会生成一份报告,作为此步骤的文档。之后,可以根据关键安全项目调整硬件配置,或者选择将其完全替代硬件访问接口(也称为业务流程支持接口)。验证软件的后续运行会生成一份报告,作为实时操作系统正常运行的证明。.
CERT 套件包含创建可执行应用程序所需的所有必要元素。这些元素包括经认证的源代码、各种软件手册(例如安全手册、目标集成手册、用户手册和参考手册)以及系统手册。CERT 套件还包含验证软件,例如参考 BSP(板级支持包)和与预认证软件组件相关的 TÜV 认证证书。如有需要,我们还可以向客户提供测试环境。此外,我们还提供完整的附加认证文档包(可选,或认证所需)。如果 CERT 套件的硬件编程接口将用于安全关键型项目,我们还会提供所有必要的认证元素。.
“我们协助客户完成认证的各个阶段——从规划到在TÜV(认证评估机构)认证机构进行认证,”Embedded Office总经理Thomas Amann解释道。“此外,Embedded Office还负责BSP认证并开发自检库。这些库使安全关键型应用程序能够在微控制器上运行。它们包含详细的诊断方法,通过执行基本的安全技术测试来确保控制器的正常运行。自检用于检测和排除故障。这些测试包括CPU指令和寄存器测试、PLL时钟测试、启动RAM测试、在线RAM测试、监控软件测试和闪存测试。”
Embedded Office 在安全领域拥有悠久的历史。该公司已通过 DIN EN ISO 9001 标准认证,并凭借其软件组件和定制咨询服务参与了众多关键安全项目。此外,该公司还可根据客户需求提供测试环境。.
