SAFERTOS support
Debugging of Real-Time Critical Applications in SAFERTOS®
SAFERTOS® is a preemptive, pre-certified real-time operating system from WITTENSTEIN high integrity systems that delivers unprecedented levels of determinism and robustness to embedded systems. With an imperceptible boot time, SAFERTOS® is the ideal choice for systems that need to respond quickly to safety events, when the system must be placed into a safe state in the shortest possible time. SAFERTOS® is available pre-certified to IEC 61508 SIL 3 and ISO 26262 ASILD by TÜV SÜD.
- SAFERTOS® support is provided as UDE Add-On and extends a UDE basic debugger license
- SAFERTOS Add-On consists of the SAFERTOS Support Window that provides a comprehensive and detailed view to information about SAFERTOS® resources and objects
- The shown information is directly collected from the target system
- No separate description file or similar is needed
- Available information depends on particular SAFERTOS® configuration. Configuration is determined at compile time and does not change during run-time.
Available Information for Resources and Objects of FreeRTOS in UDE Debugger
Name, address, state, stack information and utilization, priority, events, mutexes, notifications, etc.
Name, address, storage information, queued items, blocked tasks and reason for blocking, etc.
Name, address, type, semaphore count, waiting tasks, etc.
ID, name and address, timer period, call back, etc.
Current SAFERTOS® configuration, which was set for the SAFERTOS® build.
Supported Architectures with Universal Debug Engine (UDE Debugger)
- Infineon TriCore™ AURIX™ TC21, TC22, TC23, TC24, TC26, TC27, TC29, TC2x Microcontrollers
- Infineon TriCore™ AURIX™ TC32, TC33, TC35, TC36, TC37, TC38, TC39, TC3x Microcontrollers
- Infineon TriCore™ AUDO TC1767ED, TC1797ED, TC1798 Microcontrollers
- Infineon TRAVEO™ T2G Arm® Cortex® Microcontrollers
- Synopsys ARC® Processors
- NXP Power Architecture® MPC57xx Microcontrollers
- STMicroelectronics Power Architecture® SPC57x Microcontrollers
- STMicroelectronics Power Architecture® SPC58x Microcontrollers
- STMicroelectronics Power Architecture® SPC58x Microcontrollers
- STMicroelectronics Power Architecture® SPC56x Microcontrollers
- NXP Cortex-A53 S32V234 Automotive Platform
- Xilinx Cortex-A9 Zynq-7000 Microcontrollers
- Texas Instruments Cortex-R4 TMS570 Microcontrollers
- Cortex-M7 STM32 Kinetis Microcontrollers
- NXP Cortex-M7 i.MX RT Microcontrollers
- NXP Cortex-M7 S32K3 General Purpose Microcontrollers
- Cortex-M4 XMC4000 XMC4500 FM4 Kinetis LPC4000 STM32 S32K Microcontrollers
- Cortex-M3 LPC1000 STM32 TMS470 TLE9860 Microcontrollers
- Cortex-M0 XMC1000 Kinetis NUC100 STM32 S32K Microcontrollers
- Arm7™ Microcontrollers
- Arm9™ Microcontrollers
