Perosnally i think there's a niche for higher level languages(maybe python) in the non cost-sensitive embedded genre, for systems where size, determinism, peripherals, and maybe power makes embedded micro-controllers attractive - without aiming at low-cost.
And i would guess that there are plenty of developers doing such work , either in research or small volume products(or maybe even medium volume).
Even if you decide that an extra $X dollars is fine to tack onto the price of whatever it is you're shipping, being as updates are as difficult as they are in the field for an embedded device, I still think I'd rather stick with a statically typed language with good testing and verification tools (granted you can blow your foot off with C too, but there's a lot of talent around here for building safety critical system in C--Javascript not so much). It's not just the upfront cost where something like Javascript has the potential to hurt you here.
what you say does make sense. if you care about reliability ,python isn't that good.
but what would be the ideal reliability solution ? I'm thinking rust + freescale chips and low levels libraries(high quality) + some form of community ,like the mbed for higher level code,but where contributions(in rust) are required good testing support. plus maybe some form of reuse for real-time blocks like xcore/xmos enables.what do you think about that ? what's your ideal solution for reliability?
And i would guess that there are plenty of developers doing such work , either in research or small volume products(or maybe even medium volume).