WITTENSTEIN high integrity systems http://www.highintegritysystems.com

WITTENSTEIN high integrity systems(WHIS)公司隶属于WITTENSTEIN集团，总部位于英国。WHIS最初是集团的航空航天部门，专注于高完整性和安全关键嵌入式系统设计。 WHIS 在开发安全关键应用（如飞行控制系统、植入式有源医疗设备和海底油气平台）方面拥有直接经验，WHIS 工程师对安全关键开发有深刻了解，高完整性开发生命周期贯穿整个工作周期。
自 2007 年以来，WHIS主要开发和提供安全关键 RTOS 及中间件组件。WHIS 工程师采用 FreeRTOS 功能模型，基于HAZOP 分析，识别功能模型和 API 中的所有缺陷，解决所有薄弱环节，遵循 IEC 61508 SIL 3开发生命周期，创建了 SAFERTOS。SAFERTOS通过了TÜV SÜD安全认证，提供卓越的性能和安全关键可靠性，同时消耗最少的资源。（WHIS公司介绍详情可点入）

SAFERTOS 是针对嵌入式微控制器的预认证安全实时操作系统，SAFERTOS core通过TÜV SÜD的 IEC 61508 SIL3及ISO 26262 ASIL D安全预认证。 SAFERTOS针对特定处理/编译器组合，提供完整的源代码及设计保证包(DAP)，DAP包含整个系统生命周期数据，无需在目标硬件上重新测试，SAFERTOS可以轻松安装和集成到用户开发环境，降低开发成本，缩短产品上市时间。

易于认证，利用WHIS丰富的安全关键设计经验，使SAFERTOS的认证过程非常简单。DAP 包含安全手册，说明了如何将 SAFERTOS 安装和集成到用户开发环境中。遵循指南还将生成确认流程正确遵循所需的证据。这消除了在目标硬件上重新测试 SAFERTOS 的需求，并为您的开发提供了一个可靠的平台。

降低风险，在许多安全关键应用中，实时操作系统 （RTOS） 是最关键的组件。RTOS 不仅调度软件功能，还管理调度监视器和安全功能。RTOS 经常用于隔离安全关键代码，确保其在不受其他任务干扰的情况下运行。RTOS 中的故障很可能会危及整个系统的安全。 SAFERTOS 专为安全设计，基于确定性优先级调度，并尽一切努力确保维持确定性行为。SAFERTOS 已在众多平台上多次通过软件最高 SIL 级别 IEC61508 SIL3 的独立认证。

SAFERTOS特点 ：
● 任务隔离保护
● 超低功耗模式
● OSEK API 接口层
● 安全插件

Safety Plugins

除SAFERTOS外，WHIS还提供了一系列安全插件扩展SAFRTOS的功能，SAFECRC Checker通过确认程序的完整性来防止损坏和恶意攻击。SAFEXchange实现多个处理器和多核之间安全数据共享，遵循 IEC 61784-3。SAFECheckpoints 提供复杂的任务监视功能，确保任务调度按预期进行。所有插件提供完整的源代码和设计保证包，旨在满足 IEC 61508 SIL3 的要求。

嵌入式实时操作系统OPENRTOS

OPENRTOS是Amazon FreeRTOS的商业授权软件， OPENRTOS与FreeRTOS共享相同的代码库，WHIS为FreeRTOS的用户提供法律保护及专业的技术支持。

中间件

嵌入式产品互联需求不断增加，这增加了 RTOS、中间件组件和底层驱动程序之间的复杂性和集成要求。WHIS 为OPENRTOS 及 SAFERTOS 提供了优化、功能丰富的中间件解决方案，包括文件系统、TCP/IP协议栈及定制BSP服务。

将中间件组件与 SAFERTOS 集成时，可以通过 SAFERTOS 任务隔离功能将中间件与SAFERTOS 及其他安全关键代码段隔离。