[pjmlp]

So why aren't we all using JOVIAL to develop IoT systems?

Apparently it wasn't required to reinvent any other high level language for embedded systems programming, it was already solved problem in 1960.

Why reinvent the wheel for embedded systems programming?

[the_only_law]

Idk about JOVIAL, but I certain mind too see some modern Ada out there.