It rated highly. But lack of community & ability to hire devs would be it's biggest problems. Rust isn't really mature enough in the embedded space just yet. So we'll be sticking with C/C++ for now D-:
On embedded systems with enough power budget to run statically-partitioned virtualized guest VMs, one could use different languages in different VMs, e.g. separated by maturity and talent availability for specific use cases. Or code that runs on a special-purpose processor.
> lack of community & ability to hire devs would be it's biggest problems
In some contexts, this might be a competitive advantage, e.g. Nvidia uses Ada to secure RoT firmware that protects their industry-leading margins. But they have the luxury of deep pockets and a full hiring pipeline, "Nvidia Security Team: “What if we just stopped using C?”, https://news.ycombinator.com/item?id=42998383
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity.
