功能安全预认证实时操作系统Flexible Safety RTOS

Embedded office http://www.embedded-office.com


Embedded office(EO)公司专注于安全系统的软件开发,总部位于德国。产品包括安全预认证RTOS,安全组件,分区系统及定制服务,应用于:汽车、农业设备、工业、航空航天、医疗。



预认证的Flexible Safety RTOS

Flexible Safety RTOS提供完整的实时内核功能,包括多任务调度、内存管理、软件定时器、信号量、互斥量、队列、邮箱、事件组服务,及基于MMU或MPU的空间隔离保护等功能,满足系统确定性及高速事件处理需求。


Flexible Safety RTOS是基于µC/OS-II与空间保护机制结合的安全预认证操作系统,通过了IEC 61508 SIL3(工业安全标准IEC 61508 - SIL3,其安全能力也涵盖许多其他标准,例如IEC 61513、ISO 13849、IEC 61511 及IEC 62061),IEC 62304 Class C,ISO 26262 ASIL D,EN 50128 SIL4的安全标准认证,提供认证证书及安全手册。认证独立于编译器,无需使用认证的编译器。Flexible Safety RTOS可以使用任何 ANSI-C 编译器执行认证。


Safety Addons
在功能安全中,除空间隔离保护外,安全应用中还需实现逻辑和程序流监控,EO提供了Program Flow Control和Time Budget Monitoring实现监控和检查每个目标(逻辑顺序和时间);还提供保证代码完整性的CRC模块,实现安全数据传输的End-To-End Protection。Safety AddOns通过了IEC 61508 SIL3,IEC 62304 Class C及ISO 26262 ASIL D的预认证。


Partitioning System
安全系统中,除了功能安全外(应用程序分离),还需保证确定性系统的时间行为,最小化空闲时间,应用程序未使用的保证时间可供下一个应用程序或核心应用程序使用,EO创建了面向微控制器的分区系统(Partitioning System)。

在航空航天领域,预先认证并不被广泛接受。因此,EO提供DO-178C(包括DAL A) 认证资料。



定制服务

EO提供系统集成、裁剪及安全顾问服务,加快安全产品实现。







联系我们:

京ICP备:京ICP备05011254号-1 版权归北京麦克泰软件技术有限公司所有
北京麦克泰软件技术有限公司