SAFERTOS Core
(https://www.highintegritysystems.com/safertos-core/)
SAFERTOS Core是面向需要考虑安全性,或者将来考虑安全的嵌入式系统设计的RTOS。适用用不需要完整的安全认证/文档的项目,或者至少在较长的安全开发生命周期开始时不需要考虑安全的项目。SAFERTOS Core提供SAFERTOS的完整功能和API。
SAFERTOS CORE是开发以下产品的理想选择:
· 需要考虑安全性,但不需要完整的认证
· 将来可能需要认证,并希望将来证明他们的设计
· 需要一个强大健壮的、高确定性的RTOS,并包含关键的安全特性
· 开始一个漫长的开发项目,但项目开始时不需要认证证据/文档
1、特性:
SAFERTOS Core使用SAFERTOS预认证版本中使用的源代码和API,移植到用户特定处理器/编译器组合。SAFERTOS Core融合了关键的安全特性,以及在嵌入式安全关键应用中经过验证的功能。
· 提供完整的SAFERTOS功能和API
· 采用SAFERTOS源代码
· 移植到特定处理器/编译器组合
· 易于从SAFERTOS Core升级到SAFERTOS
2、交付:
SAFERTOS Core以源代码方式提供,并附有全面的用户手册。
SAFERTOS Core也可以与WHIS功能丰富的中间件和安全插件完全集成,作为一个无缝构建的代码交付。
· 完整源代码
· 全面的SAFERTOS内核用户手册
· “开箱即用”演示应用程序
· 可与中间件和安全插件紧密集成
3、SAFERTOS Core 或SAFERTOS?
SAFERTOS提供完整的设计保证包DAP(工业)或设计历史文件DHF(医疗),专为需要安全认证的系统而设计。DAP/DHF包含用户特定版本SAFERTOS开发过程中创建的每个设计和验证输出,提供完全透明的整个设计生命周期,为用户实现认证铺平道路。
SAFERTOS Core提供了完整的SAFERTOS功能和API。SAFERTOS Core专为需要考虑安全性或者将来考虑安全性的嵌入式系统而设计,适用于目前不需要完整的安全认证/文件,或者在长安全系统产品生命周期开始时不需要安全认证的系统。
升级到SAFERTOS
提供有效的支持和维护,可以随时从SAFERTOS Core升级到SAFERTOS。
特征 |
SAFERTOS |
SAFERTOS Core |
SAFERTOS功能及API |
√ |
√ |
SAFERTOS内核源代码 |
√ |
√ |
标准移植层 |
- |
√ |
安全移植层 |
√ |
- |
DAP和安全手册 |
√ |
- |
预认证(IEC61508 SIL 3) |
√ |
- |
RTOS技术支持 |
√ |
√ |
RTOS安全/认证支持 |
√ |
- |
安全插件 |
√ |
√ |
中间件 |
√ |
√ |
培训 |
√ |
√ |