WITTENSTEIN SAFERTOS

SAFERTOS®

SAFERTOS®，WITTENSTEIN高完整性系统中的安全关键型RTOS。

WITTENSTEIN高完整性系统是一家专注安全性的RTOS公司，为医疗、汽车、航空航天和工业领域生产和提供实时操作系统及软件组件。

SAFERTOS^®是一种抢占式预认证实时操作系统，可为嵌入式系统提供前所未有的明确性和稳健性。

从FreeRTOS迁移

从FreeRTOS到SAFERTOS的迁移路径清晰明确。我们提供免费手册，详细介绍了如何通过简单的步骤从FreeRTOS内核升级至SAFERTOS。

从WHIS下载中心免费获取www.highintegritysystems.com。

虽然SAFERTOS以FreeRTOS的功能模型为基础，但是我们的安全专家团队对其进行了彻底的重新设计。我们的工程师采用FreeRTOS功能模型，对其进行了全面的HAZOP处理，确定了该功能模型和API中的所有薄弱环节，并提出了一系列安全要求。由此产生的功能和安全要求集经过了IEC 61508-3 SIL 3开发生命周期，达到了纯软件组件的理想水平，从而创建了SAFERTOS代码库和设计保证包。

由于FreeRTOS和SAFERTOS共享相同的功能模型，因此升级非常容易。我们的许多客户使用FreeRTOS内核制作原型，并在正式开发阶段开始时转换为SAFERTOS。

内置安全

由于启动时间不易察觉，当系统必须快速进入安全状态时，SAFERTOS是需要快速响应安全事件系统的理想选择。

SAFERTOS支持在每个任务的基础上定义和操作MPU区域。该特性提供的工具允许开发人员在任务之间添加一定程度的空间分隔，这些工具一旦加以有效使用有助于直接防止任务无意或意外访问错误的内存区域。

SAFERTOS能提供集成的中间件和安全组件、板级支持包以及完整的支持和培训。演示和数据手册可从WITTENSTEIN高完整性系统网站免费下载。

此产品由第三方提供，不属于意法半导体。

若需规范和购买部件包的完整和最新信息，请参考第三方网站www.highintegritysystems.com。

主要特性

• 固有自我验证程序
• 支持MPU
• 100% MC/DC覆盖
• 符合MISRA C要求
• 自FreeRTOS™的迁移路径；
• 完整的源代码和设计保证包
• 认证
  • IEC 61508 SIL 3工业预认证
  • ISO 26262 ASILD汽车预认证
  • FDA 510（k）/ EN 62304医疗认证
  • 支持DO178C航天标准
• 可以创建任意数量的任务 - 系统RAM约束是限制因素
• 每个任务分配一个优先级 – 可以使用任意数量的优先级
• 任意数量的任务都可以共享相同的优先级 - 实现令人满意的应用设计灵活性
• 能够执行的具有较高优先级的任务（即没有被阻塞或挂起的任务）将是调度程序选择执行的任务
• 支持对同等优先级的任务进行时间片轮循调度
• 队列可用于在任务之间发送数据，以及在任务和中断服务程序之间发送数据
• 二进制信号量和计数信号量利用队列原语 - 维持代码的合适大小
• 可以将任务阻塞固定的时间段
• 任务可以阻塞，以等待指定的时间
• 可以用指定的超时时间阻塞任务，以等待事件
• 任务通知功能
• 支持FPU
• 在每个任务的基础上定义和操作MPU/MMU区域
• 运行时间统计
• 软件定时器
• 超低功率模式选项