TASKING × WITTENSTEIN:没有片上硬件 Trace,也能做 OS-aware 时序分析
TASKING 9 月 1 日宣布与 WITTENSTEIN high integrity systems(WHIS)加强集成,把 TASKING 的嵌入式软件 trace 工具 SWAT 与 WHIS 的预认证安全实时操作系统 SAFERTOS® 结合。开发者无需专用片上硬件 trace 支持,即可对运行 SAFERTOS 的应用做 OS-aware时序分析,面向 ISO 26262、IEC 61508、DO-178C 等安全关键开发。

并非每颗 SoC 都具备硬件 trace 能力:部分芯片缺少相应功能,或因引脚约束无法引出 trace 信号;为支持 trace 而重新选型或改板,成本与周期都难以接受。TASKING 称,SWAT 让开发团队从设计流程一开始就把运行时分析放进去,不需要对板级硬件做任何改动。
在 OS-aware 环境下,开发者可以观察任务状态、栈使用、队列内容与调度行为,记录每一次状态迁移、上下文切换与关键应用事件的时序,并监控运行时 CPU 负载与资源占用,定位资源瓶颈。测试与验证环节,TASKING 家族内的 LDRA 套件提供静态分析、动态分析与需求追溯,能够输出可追溯的验证证据,减少重新测试的工作量。WHIS 产品经理 Emiliano Costagli 表示,可信的 RTOS 与完整开发环境的组合,让工程师能更早发现并解决问题。SAFERTOS 预认证覆盖 ISO 26262、IEC 61508 等标准,设计支持包可节省数年认证工作量,支持 ARM Cortex-M/R/A、RISC-V、TriCore、RH850 等架构,覆盖从 MCU 到应用处理器的安全系统设计。
功能安全开发里,时间行为与代码逻辑同样需要证据:最坏执行时间、任务 deadline 与中断响应都要可度量、可追溯,才能支撑时序相关的安全论证。传统做法依赖片上 trace 或外部逻辑分析仪,在 MCU 资源受限或量产硬件上往往施展不开。软件 trace 的取舍在于观测对实时性的侵入程度,SWAT 这类方案的价值是把时序观测前置到开发阶段,并复用目标上已有的调试接口。对汽车与工业控制团队,这项集成的实际意义在于工具链覆盖范围是否匹配自己选定的 MCU 架构,以及产出的时序数据能否直接进入认证证据链。
