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)
- TriCore™ AURIX™ TC21, TC22, TC23, TC24, TC26, TC27, TC29 Microcontrollers from Infineon
- TriCore™ AURIX™ TC32, TC33, TC35, TC36, TC37, TC38, TC39 Microcontrollers from Infineon
- TriCore™ AUDO TC1767ED, TC1797ED, TC1798 Microcontrollers from Infineon
- Infineon 32-bit TRAVEO™ T2G Arm® Cortex® Microcontrollers
- Synopsys ARC® Processors
- Power Architecture® MPC57xx Microcontrollers from NXP
- Power Architecture® SPC57x Microcontrollers from STMicroelectronics
- Power Architecture® SPC58x Microcontrollers from STMicroelectronics
- Power Architecture® SPC58x Microcontrollers from STMicroelectronics
- Power Architecture® SPC56x Microcontrollers from STMicroelectronics
- Cortex-A53 S32V234 Automotive Platform from NXP
- Cortex-A9 Zynq-7000 Microcontrollers from Xilinx
- Cortex-R4 TMS570 Microcontrollers
- Cortex-M7 STM32, Kinetis Microcontrollers
- Cortex-M7 i.MX RT Microcontrollers from NXP
- Cortex-M7 S32K3 General Purpose MCUs for Automotive and Electrification ApplicationsApplications
- 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
