DaVinci™ Video Processors: TMS320DM37x SoC, TMS320DM3x Video SoC
Low-power MCUs: MSP430F1x, MSP430F2x/4X, MSP430FRxx FRAM, MSP430G2x, MSP430L09x Low Voltage, MSP430F5x/6x, MSP432P4x
Wireless MCUs: RF430, CC430
C2000 Performance MCUs: Piccolo™F2802x/3x/5x/6x/7x, Delfino™ F2833x/F2837x, F28M3x, TM4C12x, Hercules™ RM, Hercules TMS570, Hercules TMS470
SAFERTOS is a pre-emptive, pre-certified, safety critical real-time operating system that delivers unprecedented levels of determinism and robustness to embedded systems.
SAFERTOS is available pre-certified to ISO 26262 ASILD for Automotive and IEC 61508 SIL3 for Industry, and supports certification to FDA 510(k) and IEC 62304 for the Medical Sector, DO 178C for Aerospace, and EN 50128 for Railway.
It is delivered with full certification evidence in the form of a Design Assurance Pack (DAP) for industrial or Design History File (DHF) for medical. The DAP/DHF contains the Safety Manual. Following the instructions within this manual generates the evidence required by auditors – resulting in no need to re-test SAFERTOS on the target hardware.
With an imperceptible boot time, SAFERTOS is the ideal choice for systems that need to respond quickly to safety events, where the system must be placed into a safe state in the shortest possible time.
The Task Isolation and Separation feature of SAFERTOS using the processor’s MPU/MMU enables developers to co-locate safety critical code with non-safety critical code. Used effectively this can greatly reduce the amount of safety critical code required within an industrial device, resulting in lower development and maintenance costs.
SAFERTOS can be provided with integrated Middleware and Safety Components, and full support and training is available. Demos and datasheets are free to download from the WITTENSTEIN high integrity systems’ website.
FEATURES & BENEFITS
- Available pre-certified to IEC 61508 SIL3 and ISO 26262
- Supports certification in medical, industrial, automotive, aerospace and transport applications
- Ideal for multi-core/ multi processor devices
- Migration path from FreeRTOS
- Full source code and Design Assurance Pack
- Intrinsic self-verification
- MPU/MMU Support as Standard
- Any number of Tasks can be created, and any number of priorities can be used
- MISRA C Compliant
- 100% MC/DC verification coverage
Automotive, Consumer Electronics, Industrial, Medical, Security
WITTENSTEIN high integrity systemsBrown’s Court Long Ashton Business Park
Yanley Lane, Long Ashton
Bristol, BS41 9LB
tele: +44 1275 395 600
fax: +44 1275 395 600