Für ARM-Architekturen
TrueStudio – Entwicklungsumgebung mit Code-Analyse
Die Entwicklungsumgebung TrueSTUDIO 3.3 von Atollic prüft, ob der Code auf MISRA-C-konform ist und enthält einen Debugger, der die Kernel-Funktionen des Micrium-Echtzeit-Betriebssystems kennt.