По МК спрашивайте у мну. Есть ответы.

Но вообще
KEIL (С для ARMовых МК)

Потом всякие EmBitz (Code::Blocks)

Сейчас производитель наиболее популярных в народе STM32 - STM32CubeIDE. Есть сои плюсы, но построена на Eclipse и этим все сказано.
AVR МК - CodeVisionAVR от производителя.

Богомерзкое изделие Ардуино по факту надстройка на AVR МК. Предалгается исподьзовать VSC (PlatformIO)

Ну и все это вверху пишется так то на С чистом в основном, как наиболее оптимальном языке. MISRA тут упомянули - набор правил, который на уровне компилятора статичеким анализом может быть приложен к коду с целью выявления ошибок.